verifDownloadFromVManager

verifDownloadFromVManager(
g_sessionId
?g_waitUntilDone waitUntilDone
?t_action action
)
=> t / nil

Description

Downloads the data from specified vPlan file through vManager server.

Arguments

g_sessionId	Integer, string number, or window specifying the Verifier session ID. For example, 0, "0", or window(2).
g_waitUntilDone	Ensures that the specified Verifier session waits for the download to complete before proceeding further. This is enabled by default.
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	The data is downloaded from the specified vPlan file through vManager server successfully.
nil	The command is not successful.

Examples

The following example starts a Verifier session with vManager setup and downloads data.

uid = verifOpenCellView("amsPLL" "TOP_verification" "verification")
INFO (VERIFIER-9008): Successfully downloaded from vm-verifier-team.8080 APB_UART_noref.vplanx.
INFO (VERIFIER-8215): Started Verifier session '0'.
=> 0

The vPlan file is modified and the data is downloaded.

verifDownloadFromVManager(uid)
INFO (VERIFIER-9008): Successfully downloaded from vm-verifier-team.8080 APB_UART_noref.vplanx.
=> t

Related Topics

verifIsVManagerConnected

verifIsVManagerEnabled

verifPostResultsToVManager

verifUploadToVManager

Verifier-vManager Functions

Return to top