verifExportCoverageDataForImp

verifExportCoverageDataForImp(
g_sessionId
t_fileName
t_spaceName
[ ?implementation g_implementation ]
[ ?indented g_indented ]
)
=> t / nil

Exports coverage data for the specified implementation.

g_sessionId	Integer, string number, or window specifying the Verifier session ID. For example, `0`, `"0"`, or `window(2)`.
t_fileName	The name of the JSON file to which the implementation coverage data is exported.
t_spaceName	The name of verification space which is defined in the Setup Library assistant
?implementation g_implementation
	The name of an implementation which can be either a string, such as `Lib/Cell/View/History` or a list `'("Lib" "Cell" "View" "History")`. If no implementation is specified, all implementations in the session are exported.
?indented g_indented
	If enabled, exports the data to the JSON in indented format, which is printed in multiple lines. Otherwise, the data is exported to the JSON in a compact format. The default value is `nil`.

`t`	Coverage data of the specified implementations is exported to the JSON file.
`nil`	Coverage data is not exported.

The following example exports coverage data for the implementations in the specified session.

Opens an existing Verifier cellview that includes a Setup Library view.

uid = verifOpenCellView("test" "coverages" "verifier" ?openWindow nil) 
=> 0

Export all implementations in compact format

verifExportCoverageDataForImp(uid "allImps.json" "FullSpace")

=> t

Exports the specified implementations in indented format

verifExportCoverageDataForImp(uid "imp.json" "FullSpace" ?implementation "test/coverages/maestro_space/Active" ?indented t)

=> t

Exports the specified implementations in compact format

verifExportCoverageDataForImp(uid "imp.json" "FullSpace" ?implementation list("test" "coverages" "maestro_space" "Active"))

=> t