Complete definition of an ADT

Object type designation

Keyword NEWTYPE

Particular values enumeration

Keyword LITERALS

Included data

Keyword STRUCT for record

Generators ARRAY, STRING, POWERSET

List of the object operations

Keyword OPERATORS

Operations semantics

Keyword AXIOMS

Keyword OPERATOR

NEWTYPE <adt_name>[LITERALS lit1, lit2, ...............;]
[STRUCT <struct-def> |
<generator-def>][OPERATORSop1 : [type arg1, ...] ->returned_type ;
…][AXIOMS <axiom-defs>]
[OPERATOR <operator-def>]
[DEFAULT <default-value>]ENDNEWTYPE [<adt_name>] ;

Previous slide

Next slide

Back to first slide

View graphic version