Redefinition SysML

class Redefinition

Implementation of Redefinition defined in the KerML specification.

Specification:

Redefinition is a kind of Subsetting that requires the redefined_feature and the redefining_feature to have the same values (on each instance of the domain of the redefining_feature). This means any restrictions on the redefining_feature, such as type or multiplicity, also apply to the redefined_feature (on each instance of the domain of the redefining_feature), and vice versa. The redefined_feature might have values for instances of the domain of the redefining_feature, but only as instances of the domain of the redefined_feature that happen to also be instances of the domain of the redefining_feature. This is supported by the constraints inherited from Subsetting on the domains of the redefining_feature and redefined_feature. However, these constraints are narrowed for Redefinition to require the owning_types of the redefining_feature and redefined_feature to be different and the redefined_feature to not be inherited into the owning_namespace of the redefining_feature.This enables the redefining_feature to have the same name as the redefined_feature, if desired.

For language description, see section 7.3.4.5 of the KerML specification. For more details on the model, see section 8.3.3.3.8 of the KerML specification.

Inheritance:

• AstNode

• Element

• Relationship

• Specialization

• Subsetting

• Redefinition

Members defined in Redefinition (6 members)

	CHAINABLE	R	Whether this relationship can be used with chained features.
	STD	R	All subtypes of Redefinition according to the specification.
	redefined_feature	R SysML	Implementation of redefined_feature defined in the KerML specification.
	redefined_feature_target	R	Syside specific accessor for manipulating the target of redefined_feature.
	redefining_feature	R SysML	Implementation of redefining_feature defined in the KerML specification.
	redefining_feature_target	R	Syside specific accessor for manipulating the target of redefining_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.Redefinition], ...] = Ellipsis

All subtypes of Redefinition 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 Redefinition.Std.

When working with standard metamodel types, use:

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

For type hints, instead use Redefinition.Std:

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

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

property redefined_feature: syside.Feature | None

Implementation of redefined_feature defined in the KerML specification.

Specification:

The Feature that is redefined by the redefining_feature of this Redefinition.

See section 8.3.3.3.8 of the KerML specification for more details.

property redefined_feature_target: syside.ChainedFeatureReference

Syside specific accessor for manipulating the target of redefined_feature.

property redefining_feature: syside.Feature | None

Implementation of redefining_feature defined in the KerML specification.

Specification:

The Feature that is redefining the redefined_feature of this Redefinition.

See section 8.3.3.3.8 of the KerML specification for more details.

property redefining_feature_target: syside.ChainedFeatureReference

Syside specific accessor for manipulating the target of redefining_feature.

Used in

• syside.Feature

  • owned_redefinitions

• syside.Redefinition

  • STD