Class C_MULTIPLE_ATTRIBUTE Report

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

Parent Package: constraint_model
Class C_MULTIPLE_ATTRIBUTE

C_ATTRIBUTE
|
+--C_MULTIPLE_ATTRIBUTE
Abstract model of constraint on any kind of attribute node.

Attributes from Associations
	Signature	Optionality	Multiplicity	Documentation
	cardinality : CARDINALITY	0..1	--	Cardinality of this attribute constraint, if it constrains a container attribute.

Operations
Signature	Constraints	Documentation
members() : List<C_OBJECT>		List of constraints representing members of the container value of this attribute within the data. Semantics of the uniqueness and ordering of items in the container are given by the cardinality .

Constraints
Name	Expression
members_valid	inv: members <> Void and members->for_all(co: C_OBJECT \| co.occurrences.upper <= 1)
cardinality_validity	inv: cardinality <> Void