ClassDefinition ::= |
class IDENTIFIER ( extends ( IDENTIFIER | OrderedMap | SortedMap ComparatorDecl | TreeNode ) )? |
Used by: |
User defined classes may have methods, or member functions, and a constructor. A class by default extends Struct , or otherwise extends OrderedMap , treeNode or other user-defined classes. Java classes can not be extended.
Data members are just regular Struct data members. To enforce the existence of
certain data members during creation, can use Struct 's assertHas()
method.