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

---

Parent Package: primitive
Class C_TIME

C_PRIMITIVE
   |
   +--C_TIME
ISO 8601-compatible constraint on instances of Time. There is no validity flag for ‘hour’, since it must always be by definition mandatory in order to have a sensible time at all. Syntax xpressions of instances of this class include “HH:??:xx” (time with optional minutes and seconds not allowed).

Attributes
Signature	Optionality	Multiplicity	Constant	Documentation
assumed_value : Time	0..1	--		The value to assume if this item is not included in data, due to being part of an optional structure.
millisecond_validity : VALIDITY_KIND	0..1	--		Validity of millisecond in constrained time.
minute_validity : VALIDITY_KIND	0..1	--		Validity of minute in constrained time.
range : Interval<Time>	0..1	--		Interval of Times specifying constraint
second_validity : VALIDITY_KIND	0..1	--		Validity of second in constrained time.
timezone_validity : VALIDITY_KIND	0..1	--		Validity of timezone in constrained date.

Operations
Signature	Constraints	Documentation
validity_is_range() : Boolean		True if validity is in the form of a range; useful for developers to check which kind of constraint has been set.

Constraints
Name	Expression
minute_validity_optional	inv: minute_validity = VALIDITY_KIND.optional implies (second_validity = VALIDITY_KIND.optional or second_validity = VALIDITY_KIND.disallowed)
second_validity_disallowed	inv: second_validity = VALIDITY_KIND.disallowed implies millisecond_validity = VALIDITY_KIND.disallowed
second_validity_optional:	inv: second_validity = VALIDITY_KIND.optional implies (millisecond_validity = VALIDITY_KIND.optional or millisecond_validity = VALIDITY_KIND.disallowed)
minute_validity_disallowed	inv: minute_validity = VALIDITY_KIND.disallowed implies second_validity = VALIDITY_KIND.disallowed
validity_is_range	inv: validity_is_range = (range <> Void)