Explaination of Notation

This is the TDX language ... So, you've probably got here by looking at a definition of a sub part of the TDX description.

in short ...

*SINGLETON <singletonName>* declares a singleton (both class and instance definition), below which are listed the attributes that the singleton are constructed from eg.

SINGLETON system
  int aSolitaryInteger := 3                         // static integer
  ubyte$ aSolitaryString := "system name"           // static string
  classUnderScrutiny{} setOfObjectsUnderScrutiny    // set/list of object instances of classUnderScrutiny

*CLASS <className>* declares a class (though not any instances), below which are listed the attributes that instances of the class are constructed from eg.

OBJECT classUnderScrutiny ( ubyte$ nameOfInstance ) // implies a single parameter constructor
  int sizeOfName = nameOfInstance->length           // two fields, one is a part of the constructor