ConstructorExpression SysML

class ConstructorExpression

Implementation of ConstructorExpression defined in the KerML specification.

Specification:

A ConstructorExpression is an InstantiationExpression whose result specializes its instantiated_type, binding some or all of the features of the instantiated_type to the results of its argument Expressions.

For language description, see section 7.4.9.4 of the KerML specification. For more details on the model, see section 8.3.4.8.3 of the KerML specification.

Members defined in ConstructorExpression (1 member)



STD

R

Members inherited from InstantiationExpression (3 members)

	arguments	R SysML	Implementation of argument defined in the KerML specification.
	instantiated_type	R SysML	Implementation of instantiated_type defined in the KerML specification.
	instantiated_type_membership	R	The Membership that relates this InstantiationExpression to the instantiated_type.

Members inherited from Expression (6 members)

	cached_result_type	R	The result type of this Expression as inferred by sema
	function	R SysML	Implementation of function defined in the KerML specification.
	is_model_level_evaluable	R SysML	Implementation of is_model_level_evaluable defined in the KerML specification.
	result	R SysML	Implementation of result defined in the KerML specification.
	result_expression	R	The result expression of this Expression owned by ResultExpressionMembership.
	result_expression_member	R	Syside specific accessor for manipulating result_expression.

Members inherited from Step (3 members)

	behaviors	R SysML	Implementation of behavior defined in the KerML specification.
	owned_parameters	R	The parameters owned by this Step.
	parameters	R SysML	Implementation of parameter defined in the KerML specification.

Members inherited from Feature (44 members)

	basic_feature	R	The last_chaining_feature if one exists, otherwise this Feature.
	chaining_features	R SysML	Implementation of chaining_feature defined in the KerML specification.
	cross_feature	R SysML	Implementation of cross_feature defined in the KerML specification.
	direction	RW SysML	Implementation of direction defined in the KerML specification.
	end_owning_type	R SysML	Implementation of end_owning_type defined in the KerML specification.
	explicit_direction	R	Returns the direction this Feature has been declared with in the textual syntax.
	feature_target	R SysML	Implementation of feature_target defined in the KerML specification.
	feature_value	R	The FeatureValue owned by this Feature if any.
	feature_value_expression	R	The feature value Expression of this Feature if any.
	feature_value_member	R	Syside specific accessor for manipulating feature_value.
	featuring_types	R SysML	Implementation of featuring_type defined in the KerML specification.
	first_chaining_feature	R	The related Feature related by the first owned_feature_chaining if any.
	is_composite	RW SysML	Implementation of is_composite defined in the KerML specification.
	is_composite_explicitly	R	Returns True if this Feature has been declared composite in the textual syntax.
	is_constant	RW SysML	Implementation of is_constant defined in the KerML specification.
	is_constant_explicitly	R	Returns True if this Feature has been declared constant in the textual syntax.
	is_derived	RW SysML	Implementation of is_derived defined in the KerML specification.
	is_end	RW SysML	Implementation of is_end defined in the KerML specification.
	is_end_explicitly	R	Returns True if this Feature has been declared end in the textual syntax.
	is_nonunique	RW
	is_ordered	RW SysML	Implementation of is_ordered defined in the KerML specification.
	is_portion	RW SysML	Implementation of is_portion defined in the KerML specification.
	is_read_only	RW	Alias for is_constant.
	is_unique	RW SysML	Implementation of is_unique defined in the KerML specification.
	is_variable	RW SysML	Implementation of is_variable defined in the KerML specification.
	is_variable_explicitly	R	Returns True if this Feature has been declared variable in the textual syntax.
	last_chaining_feature	R	The related Feature related by the last owned_feature_chaining if any.
	owned_cross_feature	R	The member Feature that is declared before any prefixes in the textual syntax.
	owned_cross_feature_member	R	Syside specific accessor for either owned crossing_feature or crossing_multiplicity. This is the member Feature that is declared before any prefixes in the textual syntax.
	owned_cross_subsetting	R SysML	Implementation of owned_cross_subsetting defined in the KerML specification.
	owned_feature_chainings	R SysML	Implementation of owned_feature_chaining defined in the KerML specification.
	owned_feature_invertings	R SysML	Implementation of owned_feature_inverting defined in the KerML specification.
	owned_redefinitions	R SysML	Implementation of owned_redefinition defined in the KerML specification.
	owned_reference_subsetting	R SysML	Implementation of owned_reference_subsetting defined in the KerML specification.
	owned_subsettings	R SysML	Implementation of owned_subsetting defined in the KerML specification.
	owned_type_featurings	R SysML	Implementation of owned_type_featuring defined in the KerML specification.
	owned_typings	R SysML	Implementation of owned_typing defined in the KerML specification.
	owning_feature_membership	R SysML	Implementation of owning_feature_membership defined in the KerML specification.
	owning_type	R SysML	Implementation of owning_type defined in the KerML specification.
	referenced_feature	R	Returns the Feature this Feature references through ReferenceSubsetting if any.
	referenced_feature_target	R	Returns the feature_target of referenced_feature, i.e. referenced_feature.feature_target.
	types	R SysML	Implementation of type defined in the KerML specification.
	find_owned_cross_feature
	try_set_is_variable

Members inherited from Type (37 members)

	declared_multiplicity	R	The owned multiplicity that is declared before the children block in the textual syntax.
	declared_multiplicity_member	R	Syside specific accessor for manipulating declared_multiplicity.
	differencing_types	R SysML	Implementation of differencing_type defined in the KerML specification.
	directed_features	R SysML	Implementation of directed_feature defined in the KerML specification.
	disjoining_types	R	The types that related to this Type through owned_disjoinings.
	end_features	R SysML	Implementation of end_feature defined in the KerML specification.
	feature_memberships	R SysML	Implementation of feature_membership defined in the KerML specification.
	features	R SysML	Implementation of feature defined in the KerML specification.
	heritage	R	The specializations and conjugations owned by this Type.
	inherited_features	R SysML	Implementation of inherited_feature defined in the KerML specification.
	inherited_memberships	R SysML	Implementation of inherited_membership defined in the KerML specification.
	inputs	R SysML	Implementation of input defined in the KerML specification.
	intersecting_types	R SysML	Implementation of intersecting_type defined in the KerML specification.
	is_abstract	RW SysML	Implementation of is_abstract defined in the KerML specification.
	is_abstract_explicitly	R	Returns True if this Type was declared as abstract in the textual syntax.
	is_conjugated	R SysML	Implementation of is_conjugated defined in the KerML specification.
	is_sufficient	RW SysML	Implementation of is_sufficient defined in the KerML specification.
	is_sufficient_explicitly	R	Returns True if this Type was declared as sufficient in the textual syntax.
	multiplicity	R SysML	Implementation of multiplicity defined in the KerML specification.
	outputs	R SysML	Implementation of output defined in the KerML specification.
	owned_conjugator	R SysML	Implementation of owned_conjugator defined in the KerML specification.
	owned_differencings	R SysML	Implementation of owned_differencing defined in the KerML specification.
	owned_directed_features	R	The directed_features that are owned by this Type.
	owned_disjoinings	R SysML	Implementation of owned_disjoining defined in the KerML specification.
	owned_end_features	R SysML	Implementation of owned_end_feature defined in the KerML specification.
	owned_feature_memberships	R SysML	Implementation of owned_feature_membership defined in the KerML specification.
	owned_features	R SysML	Implementation of owned_feature defined in the KerML specification.
	owned_inputs	R	The inputs that are owned by this Type.
	owned_intersectings	R SysML	Implementation of owned_intersecting defined in the KerML specification.
	owned_outputs	R	The outputs that are owned by this Type.
	owned_specializations	R SysML	Implementation of owned_specialization defined in the KerML specification.
	owned_unionings	R SysML	Implementation of owned_unioning defined in the KerML specification.
	type_relationships	R	The other type, feature relationships and FeatureChainings owned by this Type.
	unioning_types	R SysML	Implementation of unioning_type defined in the KerML specification.
	conforms
	direction_of
	specializes

Members inherited from Namespace (11 members)

	children	R	The elements enclosed by curly brackets in textual syntax.
	imported_memberships	R SysML	Implementation of imported_membership defined in the KerML specification.
	members	R SysML	Implementation of member defined in the KerML specification.
	memberships	R SysML	Implementation of membership defined in the KerML specification.
	owned_imports	R SysML	Implementation of owned_import defined in the KerML specification.
	owned_members	R SysML	Implementation of owned_member defined in the KerML specification.
	owned_memberships	R SysML	Implementation of owned_membership defined in the KerML specification.
	prefixes	R	Metadata prefixes, prefixed with # in textual syntax.
	__getitem__
	get_member
	get_membership

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.ConstructorExpression], ...] = ()

 Used in

• syside.ConstructorExpression

  • STD