RequirementVerificationMembership

class RequirementVerificationMembership

Implementation of RequirementVerificationMembership defined in the SysML specification.

Specification:

A RequirementVerificationMembership is a RequirementConstraintMembership used in the objective of a VerificationCase to identify a RequirementUsage that is verified by the VerificationCase.

For language description, see section 7.24.2 of the SysML specification. For more details on the model, see section 8.3.24.2 of the SysML specification.

Members defined in RequirementVerificationMembership (3 members)

	STD	R
	owned_requirement	R SysML	Implementation of owned_requirement defined in the SysML specification.
	verified_requirement	R SysML	Implementation of verified_requirement defined in the SysML specification.

Members inherited from RequirementConstraintMembership (4 members)

	kind	RW SysML	Implementation of kind defined in the SysML specification.
	owned_constraint	R SysML	Implementation of owned_constraint defined in the SysML specification.
	referenced_constraint	R SysML	Implementation of referenced_constraint defined in the SysML specification.
	try_set_kind

Members inherited from FeatureMembership (2 members)

	owned_member_feature	R SysML	Implementation of owned_member_feature defined in the KerML specification.
	owning_type	R SysML	Implementation of owning_type defined in the KerML specification.

Members inherited from OwningMembership (4 members)

	owned_member_element	R SysML	Implementation of owned_member_element defined in the KerML specification.
	owned_member_element_id	R SysML	Implementation of owned_member_element_id defined in the KerML specification.
	owned_member_name	R SysML	Implementation of owned_member_name defined in the KerML specification.
	owned_member_short_name	R SysML	Implementation of owned_member_short_name defined in the KerML specification.

Members inherited from Membership (10 members)

	children	R	The elements enclosed by curly brackets in textual syntax.
	is_initial_node	RW	Returns True if this Membership was parsed from InitialNode syntax rule.
	member_element	R SysML	Implementation of member_element defined in the KerML specification.
	member_element_id	R SysML	Implementation of member_element_id defined in the KerML specification.
	member_name	R SysML	Implementation of member_name defined in the KerML specification.
	member_short_name	R SysML	Implementation of member_short_name defined in the KerML specification.
	membership_owning_namespace	R SysML	Implementation of membership_owning_namespace defined in the KerML specification.
	owning_related_element	R SysML	Implementation of owning_related_element defined in the KerML specification.
	sources	R SysML	Implementation of source defined in the KerML specification.
	targets	R SysML	Implementation of target defined in the KerML specification.

Members inherited from Relationship (9 members)

	first_source	R	Convenience method for sources[0].
	first_target	R	Convenience method for targets[0].
	is_implied	RW SysML	Implementation of is_implied defined in the KerML specification.
	is_visibility_implied	R	Returns True if this Relationship is using implicit visibility.
	owned_related_elements	R SysML	Implementation of owned_related_element defined in the KerML specification.
	related_elements	R SysML	Implementation of related_element defined in the KerML specification.
	visibility	RW	The visibility level of the related elements from this Relationship relative to the owning_related_element.
	reset_visibility
	try_set_visibility

Members inherited from Element (25 members)

	alias_ids	R SysML	Implementation of alias_ids defined in the KerML specification.
	comments	R	The owned Comments related by owned_relationships.
	declared_name	RW SysML	Implementation of declared_name defined in the KerML specification.
	declared_short_name	RW SysML	Implementation of declared_short_name defined in the KerML specification.
	documentation	R SysML	Implementation of documentation defined in the KerML specification.
	element_id	RW SysML	Implementation of element_id defined in the KerML specification.
	is_implied_included	R SysML	Implementation of is_implied_included defined in the KerML specification.
	is_library_element	R SysML	Implementation of is_library_element defined in the KerML specification.
	metadata	R	The owned metadata related by owned_relationships.
	name	R SysML	Implementation of name defined in the KerML specification.
	owned_annotations	R SysML	Implementation of owned_annotation defined in the KerML specification.
	owned_elements	R SysML	Implementation of owned_element defined in the KerML specification.
	owned_relationships	R SysML	Implementation of owned_relationship defined in the KerML specification.
	owner	R SysML	Implementation of owner defined in the KerML specification.
	owning_membership	R SysML	Implementation of owning_membership defined in the KerML specification.
	owning_namespace	R SysML	Implementation of owning_namespace defined in the KerML specification.
	owning_relationship	R SysML	Implementation of owning_relationship defined in the KerML specification.
	path	R	Return a unique description of the location of this Element in the containment structure rooted in a root Namespace. In most cases the segments will be identical to QualifiedName.
	qualified_name	R SysML	Implementation of qualified_name defined in the KerML specification.
	scoped_owner	R	The owner of this Element as the parent of owning_membership or owning_relationship otherwise.
	sema_state	RW	The state of semantic resolution for this Element. Based on this, sema may skip elements to avoid duplicate work, e.g. when resolving elements in a group of related documents.
	short_name	R SysML	Implementation of short_name defined in the KerML specification.
	textual_representations	R SysML	Implementation of textual_representation defined in the KerML specification.
	__str__
	matches_qualified_name

Members inherited from AstNode (7 members)

	cst_node	R
	document	R
	parent	R
	__hash__
	cast
	isinstance
	try_cast

 Attributes

STD: tuple[type[syside.RequirementVerificationMembership], ...] = ()

property owned_requirement: syside.RequirementUsage | None

Implementation of owned_requirement defined in the SysML specification.

Specification:

The owned RequirementUsage that acts as the owned_constraint for this RequirementVerificationMembership. This will either be the verified_requirement, or it will subset the verified_requirement.

See section 8.3.24.2 of the SysML specification for more details.

property verified_requirement: syside.RequirementUsage | None

Implementation of verified_requirement defined in the SysML specification.

Specification:

The RequirementUsage that is identified as being verified. It is the referenced_constraint of the RequirementVerificationMembership considered as a RequirementConstraintMembership, which must be a RequirementUsage.

See section 8.3.24.2 of the SysML specification for more details.

 Used in

• syside.RequirementVerificationMembership

  • STD