verifSetVManager

verifSetVManager(
g_sessionId
?username g_username
?password g_password
?hostname g_hostname
?port g_port
?project g_project
?timeout g_timeout
?vPlan g_vPlan
?enabled g_enabled
?action t_action
)
=> t / nil

Description

Configures or updates the vManager settings within the specified Verifier session.

Arguments

g_sessionId	Integer, string number, or window specifying the Verifier session ID. For example, 0, "0", or window(2).
g_username	Specifies the user name.
g_password	Specifies the password.
g_hostname	Specifies the host name.
g_port	Specifies the port number.
g_project	Specifies the project name.
g_timeout	Specifies the timeout duration.
g_vPlan	Specifies the vPlan file name.
g_enabled	State of 'Enabled'.
t_action	Action for downloading data from vPlan in Verifier. The possible actions are merging the requirements, mapping and implementations from vManager to those in Verifier or replacing them. Specifying 'Ask' displays a dialog to ask what to do.The default value is 'Merge'. Possible values are 'Ask', 'Merge', and 'Replace'.

Value Returned

t	Configured or modified the vManager settings successfully.
nil	Command is unsuccessful.

Examples

The following example starts a Verifier session with vManager setup and modifies the vManager settings.

uid = verifOpenCellView("amsPLL" "TOP_verification" "verification")
INFO (VERIFIER-9008): Successfully downloaded from vm-verifier-team.8080 /tmp/myPlan.vplanx.
INFO (VERIFIER-8215): Started Verifier session '0'.
=> 0
verifSetVManager(uid ?enabled nil)
=>t
verifIsVManagerEnabled(uid)
=> nil

Creates a new Verifier cellview and configures the vManager settings.

win = deNewCellView("amsPLL" "TOP_verification" "verifier" "verifier" nil)
INFO (VERIFIER-8215): Started Verifier session '2'.
window:4
uid = win->verifSession
=> 2
verifSetVManager(uid ?username "vmgr" ?password "***" ?hostname "vm-verifier-team" ?port 8080 ?vPlan "/tmp/myPlan.vplanx" ?enabled t)
INFO (VERIFIER-9008): Successfully downloaded from vm-verifier-team.8080 /tmp/myPlan.vplanx.
=> t

Updates an existing setup.

verifSetVManager(uid ?username "new-user" ?password "newPassword")
INFO (VERIFIER-9008): Successfully downloaded from vm-verifier-team.8080 /tmp/myPlan.vplanx.
=> t

Related Topics

verifGetVManager

verifIsVManagerConnected

verifIsVManagerEnabled

Verifier-vManager Functions

Return to top