FeatureValue SysML

class FeatureValue

Implementation of FeatureValue defined in the KerML specification.

Specification:

A FeatureValue is a Membership that identifies a particular member Expression that provides the value of the Feature that owns the FeatureValue. The value is specified as either a bound value or an initial value, and as either a concrete or default value. A Feature can have at most one FeatureValue.

The result of the value Expression is bound to the feature_with_value using a BindingConnector. If is_initial = false, then the featuring_type of the BindingConnector is the same as the featuring_type of the feature_with_value. If is_initial = true, then the featuring_type of the BindingConnector is restricted to its start_shot.

If is_default = false, then the above semantics of the FeatureValue are realized for the given feature_with_value. Otherwise, the semantics are realized for any individual of the featuring_type of the feature_with_value, unless another value is explicitly given for the feature_with_value for that individual.

For language description, see section 7.4.11 of the KerML specification. For more details on the model, see section 8.3.4.10.2 of the KerML specification.

Inheritance:

• AstNode

• Element

• Relationship

• Membership

• OwningMembership

• FeatureValue

Members defined in FeatureValue (5 members)

	STD	R	All subtypes of FeatureValue according to the specification.
	feature_with_value	R SysML	Implementation of feature_with_value defined in the KerML specification.
	is_default	RW SysML	Implementation of is_default defined in the KerML specification.
	is_initial	RW SysML	Implementation of is_initial defined in the KerML specification.
	value	R SysML	Implementation of value 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		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

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

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

When working with standard metamodel types, use:

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

For type hints, instead use FeatureValue.Std:

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

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

property feature_with_value: syside.Feature | None

Implementation of feature_with_value defined in the KerML specification.

Specification:

The Feature to be provided a value.

The Feature to be provided a value.

See section 8.3.4.10.2 of the KerML specification for more details.

property is_default: bool

Implementation of is_default defined in the KerML specification.

Specification:

Whether this FeatureValue is a concrete specification of the bound or initial value of the feature_with_value, or just a default value that may be overridden.

See section 8.3.4.10.2 of the KerML specification for more details.

property is_initial: bool

Implementation of is_initial defined in the KerML specification.

Specification:

Whether this FeatureValue specifies a bound value or an initial value for the feature_with_value.

See section 8.3.4.10.2 of the KerML specification for more details.

property value: syside.Expression | None

Implementation of value defined in the KerML specification.

Specification:

The Expression that provides the value as a result.

The Expression that provides the value of the feature_with_value as its result.

See section 8.3.4.10.2 of the KerML specification for more details.

Used in

• syside.ArgumentsAccessor

  • append

• syside.Feature

  • feature_value

• syside.FeatureValue

  • STD

• syside.FeatureValueAccessor

  • set_member_element

• syside.ParameterAccessor

  • set_argument