CrossSubsetting

class CrossSubsetting

Implementation of CrossSubsetting defined in the KerML specification.

Specification:

CrossSubsetting is a kind of Subsetting for end Features, as identified by crossing_feature, to subset a chained Feature, identified by crossed_feature. It navigates to instances of the end Feature’s type from instances of other end Feature types on the same owning_type (at least two end Features are required for any of them to have a CrossSubsetting).

The crossed_feature of a CrossSubsetting must have a feature chain of exactly two Features. The second Feature in the chain is the cross_feature of the crossing_feature (end Feature), which has the same type as the crossing_feature. When the owning_type of the crossing_feature has exactly two end Features, the first Feature in the chain of the crossed_feature is the other end Feature. The cross_feature’s featuring_type in this case is the other end Feature. When the owning_type has more than two end Features, the first Feature in the chain is a Feature that CrossMultiplies all the other end Features, which is also the featuring_type of the cross_feature.

A cross_feature must be owned by its feature_crossing (end Feature) when the feature_crossing owning_type has more than two end Features. Otherwise, for exactly two end Features, the cross_features of each the ends can instead optionally be inherited by the other end from one of its types or a subsetted Feature.

For language description, see section 7.4.6.2 of the KerML specification. For more details on the model, see section 8.3.3.3.2 of the KerML specification.

Members defined in CrossSubsetting (5 members)

	STD	R
	crossed_feature	R SysML	Implementation of crossed_feature defined in the KerML specification.
	crossed_feature_target	R	SysIDE specific accessor for manipulating the target of crossed_feature.
	crossing_feature	R SysML	Implementation of crossing_feature defined in the KerML specification.
	crossing_feature_target	R	SysIDE specific accessor for manipulating the target of crossing_feature.

Members inherited from Subsetting (5 members)

	owning_feature	R SysML	Implementation of owning_feature defined in the KerML specification.
	subsetted_feature	R SysML	Implementation of subsetted_feature defined in the KerML specification.
	subsetted_feature_target	R	SysIDE specific accessor for manipulating the target of subsetted_feature.
	subsetting_feature	R SysML	Implementation of subsetting_feature defined in the KerML specification.
	subsetting_feature_target	R	SysIDE specific accessor for manipulating the target of subsetting_feature.

Members inherited from Specialization (6 members)

	children	R	The elements enclosed by curly brackets in textual syntax.
	general	R SysML	Implementation of general defined in the KerML specification.
	general_target	R	SysIDE specific accessor for manipulating the target of general.
	owning_type	R SysML	Implementation of owning_type defined in the KerML specification.
	specific	R SysML	Implementation of specific defined in the KerML specification.
	specific_target	R	SysIDE specific accessor for manipulating the target of specific.

Members inherited from Relationship (12 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.
	owning_related_element	R SysML	Implementation of owning_related_element defined in the KerML specification.
	related_elements	R SysML	Implementation of 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.
	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.CrossSubsetting], ...] = ()

property crossed_feature: syside.Feature | None

Implementation of crossed_feature defined in the KerML specification.

Specification:

The chained Feature that is cross subset by the crossing_feature of this CrossSubsetting.

See section 8.3.3.3.2 of the KerML specification for more details.

property crossed_feature_target: syside.ChainedFeatureReference

SysIDE specific accessor for manipulating the target of crossed_feature.

property crossing_feature: syside.Feature | None

Implementation of crossing_feature defined in the KerML specification.

Specification:

The end Feature that owns this CrossSubsetting relationship and is also its subsetting_feature.

See section 8.3.3.3.2 of the KerML specification for more details.

property crossing_feature_target: syside.ChainedFeatureReference

SysIDE specific accessor for manipulating the target of crossing_feature.

 Used in

• syside.CrossSubsetting

  • STD

• syside.Feature

  • owned_cross_subsetting