next up previous contents
Next: Basic syntactical definitions Up: Lexical parts Previous: Keywords

Delimiters

Delimiter of identifiers (besides white space (space, newline, tab)) are:
(  )  {  }  {  }  .  ;  :  :-  <->  //   /*  */  (* *) {* *} {| |} {|| ||} 
{# #} (| |) -> ~  !~ == < > ! ? := 
<= => ==>
Line comments are started by // and end at a newline. Non-nested comments start with /* and end with */ (same as in C++). There are also nested comments available as in Modula: (* nested comment *). It is not allowed to use the string delimiter characters ' and " in comments. The keyword ENDINPUT ends the input in a specification file, i.e. all text after it is regarded to be a comment. This is nice for testing; just move text after [ END <module-name> ] ENDINPUT and will not see it.



Uwe Assmann
1998-12-22