View:	Hide Browser | Browser on the left | Browser on the right | Dictionary
Report:	General Info | Attributes | Relations | Constraints

---

Parent Package: constraint_model
Class C_ATTRIBUTE{Abstract}

ARCHETYPE_CONSTRAINT
   |
   +--C_ATTRIBUTE

Direct Subclassifiers:
       C_MULTIPLE_ATTRIBUTE, C_SINGLE_ATTRIBUTE
Abstract model of constraint on any kind of attribute node.

Attributes
Signature	Optionality	Multiplicity	Constant	Documentation
existence : Interval<Integer>	1	--		Constraint on every attribute, regardless of whether it is singular or of a container type, which indicates whether its target object exists or not (i.e. is mandatory or not).
rm_attribute_name : String	1	--		Reference model attribute within the enclosing type represented by a C_OBJECT .

Attributes from Associations
	Signature	Optionality	Multiplicity	Documentation
	children : Set<C_OBJECT>	0..1	*	Child C_OBJECT nodes. Each such node represents a constraint on the type of this attribute in its reference model. Multiples occur both for multiple items in the case of container attributes, and alternatives in the case of singular attributes.

Constraints
Name	Expression
existence_set	inv: existence <> Void and (existence.lower >= 0 and existence.upper <= 1)
rm_attribute_name_valid	inv: rm_attribute_name <> Void and not rm_attribute_name.is_empty
children_validity	inv: any_allowed xor children <> Void