CrossSubsetting SysML

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.

Inheritance:

• AstNode

• Element

• Relationship

• Specialization

• Subsetting

• CrossSubsetting

Members defined in CrossSubsetting (6 members)

	CHAINABLE	R	Whether this relationship can be used with chained features.
	STD	R	All subtypes of CrossSubsetting according to the specification.
	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		Reset visibility to its implicit value.
	try_set_visibility		Non-throwing alternative to visibility setter.

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		Check if the qualified name of this Element matches the provided segments of a qualified name.

Members inherited from AstNode (7 members)

	cst_node	R	The source CST node of self if one exists.
	document	R	The document that owns this node.
	parent	R	The parent node of self.
	__hash__		Identity based hash of this node.
	cast		cast(self, *type: type[TNode]) -> TNode
	isinstance		Chainable equivalent to isintance(self, type)
	try_cast		Checked cast to type.

Attributes

CHAINABLE: bool = True

Whether this relationship can be used with chained features.

Using this in, e.g. append_chain, will not raise TypeError.

STD: tuple[type[syside.CrossSubsetting], ...] = Ellipsis

All subtypes of CrossSubsetting according to the specification.

This is needed because the implementation does not use multiple inheritance like the standard metamodel. However, all would-be inherited attributes are implemented explicitly on classes in CrossSubsetting.Std.

When working with standard metamodel types, use:

if isinstance(element, CrossSubsetting.STD):
    ...

For type hints, instead use CrossSubsetting.Std:

def function(element: Element) -> CrossSubsetting.Std:
    ...

Note that CrossSubsetting.Std is only defined during TYPE_CHECKING, depending on the Python version used either from __future__ import annotations or def function(...) -> "CrossSubsetting.Std" may be required to ensure that annotations are resolved lazily without an actual object present.

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