3 Tokens of the elvira specification format

In this section we show the tokens used by the parser of elvira files.

• Reserved works:

  <NETWORK: "network">
  <IDIAGRAM : "idiagram"> 
  <BNET: "bnet">
  <TITLE: "title">
  <COMMENT: "comment">
  <AUTHOR: "author">
  <WHOCHANGED: "whochanged">
  <WHENCHANGED: "whenchanged">
  <VERSION: "version">
  <LOCKED: "locked">
  <CONSISTENCY: "consistency-properties">
  <NODE: "node">
  <FINITE: "finite-states">
  <CONTINUOUS: "continuous"> 
  <LINK: "link">
  <RELATION: "relation">
  <NODETYPE: "type-of-variable">
  <NODEKIND: "kind-of-node">
  <POSX: "pos_x">
  <POSY: "pos_y">
  <STATES: "states">
  <VALUES: "values">
  <TABLE: "table">
  <TREE: "tree">
  <CONVEXSET: "convex-set">
  <CASE: "case">
  <DEFVALUE: "default">
  <DIRECTED: "directed">
  <EVERY: "every">
  <ACTIVE: "active">
  <FUNCTION: "function">
  <RELATIONNAME: "name-of-relation">
  <RELATIONKIND: "kind-of-relation"> 
  <MIN: "min"> 
  <MAX: "max"> 
  <CHANCE: "chance">
  <DECISION: "decision">
  <UTILITY: "utility">
  <RELEVANCE: "relevance">
  

• Boolean values:

  <BOOLEAN: <TRUE> | <FALSE>>
  <TRUE: "true">
  <FALSE: "false">
  

• Parenthesis

  <OPEN_PAREN: "(">
  <CLOSE_PAREN: ")">
  <COMMA: ",">  
  <OPEN_COR: "[">
  <CLOSE_COR: "]">
  

• Words and parameter words:

  <PARAMETER_WORD:<WORD><OPEN_COR>(<WORD>|<INTEGER>)
                  (<COMMA>(<WORD>|<INTEGER>))*<CLOSE_COR>>
  <WORD: <LETTER>(~[" ",",","{","}","\t","\n","[","]","(",")","=",";"])*>
  <#LETTER: ["a"-"z","A"-"Z","_","-"]>
  <#DIGIT: ["0"-"9"]>
  

• Numbers

  <DECIMAL_LITERAL: ((<DIGIT>)+)>
  <INTEGER: ("+"|"-")?(<DIGIT>)+>
  <FLOAT: ("+"|"-")? (((<DIGIT>)+) ((<DIGIT>)+"."(<DIGIT>)*)
          ((<DIGIT>)*"."(<DIGIT>)+))(("E"|"e")<INTEGER>)?>
  

• Strings:

  <EQUAL: "=">
  <STRINGDECIMAL: "\""<DECIMAL_LITERAL>"\"">
  <STRING: "\""(~["\""])*"\"">