Home

Products

Documentation

Download

Support

 

Documentation

Language Specification - Identifiers (ID)


Prev

Next


name ::= [ letter ][ letter | digit | ‘-‘ ]*
letter ::= ‘a’ | ’b’ |…| ’z’ | ’A’ | ’B’ |…| ’Z’ | ’_’
digit ::= ‘0’ | ’1’ |…| ’9’
blank-character ::= ‘ ‘ | ‘\t’ | ‘\n’ | ‘\f’ | ‘\r’
number ::= [ integer | long | double ]
integer ::= { + | - } unsigned
long ::= { + | - } unsigned { l | L }
unsigned ::= [ digit ]+
double ::= [ integer.unsigned ]
truth-value ::= true | false | unknown
literal-string ::= " [ letter | digit | ‘-‘ | ‘:’ | ‘;’ | ‘.’ ] "
literal-symbol ::= name

It is possible to add comments to models. One line comments need to start with ‘//’. Multi-line comments have to start with ‘/*’ and end with ‘*/’.


Questions or problems regarding this web site should be directed to the Webmaster.
Copyright © 2001-2012 All rights reserved.
Last modified: Wednesday January 18, 2012.