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 )
    int sizeOfName = nameOfInstance->length        // two fields, one is a part of the constructor