Abstract supertype of all constrained primitive types.
Declaration :
Directly inherited by : C_BOOLEAN C_DATE C_DATE_TIME C_DURATION C_INTEGER C_REAL C_STRING C_TIME
Artifact : C_PRIMITIVE
Operation default_value |
Generate a default value from this constraint object.
Declaration :
Operation assumed_value |
Value to be assumed if none sent in data.
Declaration :
Operation has_assumed_value |
True if there is an assumed value.
Declaration :
Operation valid_value |
True if a_value is valid with respect to constraint expressed in concrete
instance of this type.
Declaration :
All public operations : assumed_value , default_value , has_assumed_value , valid_value