Common use of Syntax Clause in Contracts

Syntax. ‌ The grammar of the Java-like programming language is given in Table 2.1. A program consists of a list of global variables, a set of classes, and a main program (or main body). Note, that due to simplicity, our language slightly differs from Java already on the program level in two aspects: first, Java does not provide a designated construct for specifying global variables but rather requires them to be introduced by static fields. Second, in Java also the main program is not represented by a special construct on the program level but is given by a static method with a special name. However, to keep the language small and simple, we omit static fields and methods. Adding special constructs also allows for a clearer separation of concerns.

Syntax. ‌ The grammar of the Java-like programming language is given in Table 2.1. A program consists of a list of global variables, a set of classes, and a main program (or main body). Note, that due to simplicity, our language slightly differs from Java already on the program level in two aspects: first, Java does not provide a designated construct for specifying global variables but rather requires them to be introduced by static fields. Second, in Java also the main program is not represented by a special construct on the program level but is given by a static method with a special name. However, to keep the language small and simple, we omit static fields and methods. Adding special constructs also allows for a clearer separation of concerns.