verifGetReqs

verifGetReqs(
g_sessionId
[ ?type t_type ]
[ ?owner t_owner ]
[ ?inHier t_parentReqId ]
[ ?mappable g_mappable ]
[ ?mapped g_mapped ]
[ ?domain g_domain ]
)
=> l_reqs / nil

Description

Retrieves the list of requirements from a Verifier session that have the same type, owner, hierarchy, mappable or mapped property, and domain as specified.

Arguments

g_sessionId	Integer, string number, or window specifying the Verifier session ID. For example, 0, "0", or window(2).
?type t_type	Type of requirement.
?owner t_owner	Owner of requirement.
?inHier t_parentReqId
	ID of the parent requirement.
?mappable g_mappable
	Boolean value that specifies if the requirement must be mappable.
?mapped g_mapped	Boolean value that specifies if the requirement must be mapped to the implementation items.
?domain g_domain	String value that specifies the domain of the requirements.

Value Returned

l_reqs	A list of requirements, all or specific ones that match the specified criteria.
nil	There are no requirements in the Verifier session or no requirements match the conditions.

Examples

The following example opens a Verifier cellview and retrieves the list of the requirements from the Verifier session.

uid = verifOpenCellView("test" "results" "verifier")
=> 0

Gets all requirements.

verifGetReqs(uid)
("ID1" "ID2" "ID3" "ID3.1" "ID3.2")

Gets requirements that are of type Spec Pass.

verifGetReqs(uid ?type "Spec Pass")
=> ("ID3")

Gets the unmapped requirements.

verifGetReqs(uid ?mapped nil)
=> ("ID2" "ID3" "ID3.1")

Gets requirements that are of type Ran Ok, belong to Tom, are children of parent ID3, are mappable and mapped:

verifGetReqs(uid ?type "Ran Ok" ?owner "Tom" ?inHier "ID3" ?mappable t ?mapped t ?domain "SIMULATION")
=> ("ID3.2")

Related Topics

verifGetReferencedCellViews

verifGetReqParent

verifGetReqProp

verifGetReqProps

verifGetReqStatus

Return to top