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

---

Parent Package: primitive
Class C_BOOLEAN

C_PRIMITIVE
   |
   +--C_BOOLEAN
Constraint on instances of Boolean . Both attributes cannot be set to False, since this would mean that the Boolean value being constrained cannot be True or False.

Attributes
Signature	Optionality	Multiplicity	Constant	Documentation
assumed_value : Boolean	0..1	--		The value to assume if this item is not included in data, due to being part of an optional structure.
false_valid : Boolean	1	--		True if the value False is allowed
true_valid : Boolean	1	--		True if the value True is allowed

Constraints
Name	Expression
Default_value_consistency	inv: (default_value.value and true_valid) or (not default_value.value and false_valid)
binary_consistency	inv: true_valid or false_valid