Site Menu Project Specification Implementation Recommendations Reference Needs Updating Work in Progress Wastebasket Wiki Manual |
Date TypeSpec.DateType HistoryHide minor edits - Show changes to output 2010-05-24 12:55
by -
Added lines 1-30:
[@BINDINGS FOR DateType; (* Semantic Properties for Date-Time Types *) (* ADTs must be transparent records, structured literals will be used by default *) TYPE = RECORD; (* Bindings permitted for DateType ADTs *) CONST [TMIN]; (* allow binding to TMIN function *) CONST [TMAX]; (* allow binding to TMAX function *) PROCEDURE [::]; (* allow binding to conversion operator *) PROCEDURE [+]; (* allow binding to plus operator *) PROCEDURE [-]; (* allow binding to minus operator *) PROCEDURE [=]; (* allow binding to equal operator *) PROCEDURE [<]; (* allow binding to less operator *) PROCEDURE [>]; (* allow binding to greater operator *) END DateType.@] |