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

---

Parent Package: primitive
Class C_PRIMITIVE{Abstract}

Direct Subclassifiers:
       C_STRING, C_INTEGER, C_TIME, C_REAL, C_BOOLEAN, C_DATE, C_DURATION, C_DATE_TIME

Operations
Signature	Constraints	Documentation
assumed_value() : Any		Value to be assumed if none sent in data
default_value() : Any		Generate a default value from this constraint object
has_assumed_value() : Boolean		True if there is an assumed value
valid_value(a_value : Any) : Boolean	pre: a_value <> Void	True if a_value is valid with respect to constraint expressed in concrete instance of this type.

Constraints
Name	Expression
Assumed_value_valid	inv: has_assumed_value implies valid_value(assumed_value)