Time

superclasses:

DateTime

attributes:

hour Integer

minute Integer

second Real

restricted:

hour : 0..24

minute : 0..59

constraints:

hour - unsigned integer.

minute - unsigned integer.

second - positive.

comments:

This corresponds exactly to the SQL type, Time.

---

Links to Section 3.3 and the complete SAIF class list