Disjoining SysML

class Disjoining

Implementation of Disjoining defined in the KerML specification.

Specification:

A Disjoining is a Relationship between Types asserted to have interpretations that are not shared (disjoint) between them, identified as type_disjoined and disjoining_type. For example, a Classifier for mammals is disjoint from a Classifier for minerals, and a Feature for people’s parents is disjoint from a Feature for their children.

For language description, see section 7.3.2.5 of the KerML specification. For more details on the model, see section 8.3.3.1.4 of the KerML specification.

Members defined in Disjoining (7 members)

	STD	R
	children	R	The elements enclosed by curly brackets in textual syntax.
	disjoining_type	R SysML	Implementation of disjoining_type defined in the KerML specification.
	disjoining_type_target	R	Syside specific accessor for manipulating the target of disjoining_type.
	owning_type	R SysML	Implementation of owning_type defined in the KerML specification.
	type_disjoined	R SysML	Implementation of type_disjoined defined in the KerML specification.
	type_disjoined_target	R	Syside specific accessor for manipulating the target of type_disjoined.

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
	document	R
	parent	R
	__hash__
	cast
	isinstance
	try_cast

 Attributes

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

property children: syside.RelationshipBody

The elements enclosed by curly brackets in textual syntax.

property disjoining_type: syside.Type | None

Implementation of disjoining_type defined in the KerML specification.

Specification:

Type asserted to be disjoint with the type_disjoined.

See section 8.3.3.1.4 of the KerML specification for more details.

property disjoining_type_target: syside.ChainedTypeReference

Syside specific accessor for manipulating the target of disjoining_type.

property owning_type: syside.Type | None

Implementation of owning_type defined in the KerML specification.

Specification:

A type_disjoined that is also an owning_related_element.

See section 8.3.3.1.4 of the KerML specification for more details.

property type_disjoined: syside.Type | None

Implementation of type_disjoined defined in the KerML specification.

Specification:

Type asserted to be disjoint with the disjoining_type.

See section 8.3.3.1.4 of the KerML specification for more details.

property type_disjoined_target: syside.ChainedTypeReference

Syside specific accessor for manipulating the target of type_disjoined.

 Used in

• syside.Disjoining

  • STD

• syside.Type

  • owned_disjoinings