Grammar for results (May 1998)

Start-symbol: START

START ::= EAPNN_FILE
          RESULT

EAPNN_FILE ::= \eapnn{FILENAME}

RESULT ::= empty
  | \begin{result}
    \name{ NAME }
    \doctype{ D-TYPE }[{FILENAME}]
    CORRESPOND
    RES-COUNT
    \end{result}
    RESULT

NAME     ::= STRING
FILENAME ::= (LETTER | "/" | "\\") 
             (LETTER | DIGIT | "-" | ":" | "\\" | "/" | ".")+
LETTER ::= ["_","a"-"z","A"-"Z"]
DIGIT ::= ["0"-"9"]

TEXT ::= { LINE }
LINE ::= (CHAR)+
CHAR ::= ~["}"]

CORRESPOND ::= empty | \correspond{ID}

RES-COUNT ::= empty | RESULT-LISTING

D-TYPE ::= latex | postscript | result-listing

RESULT-LISTING ::= \type{ R-TYPE }
    \resultnumber{ INTEGER-VALUE }
    COMMENT
    \begin{resultlist}
      RESULT-LIST
    \end{resultlist}

R-TYPE ::= mean | variance | distribution
    | s-invariant | t-invariant | deadlock
    | place-set | transition-set | marking-set
    | firing-sequence

COMMENT ::= empty | \comment{ TEXT }

RESULT-LIST ::= RESULT-ELEM RESULT-LIST
    | TRACE
    | INVARIANT
    | VECTOR
    | ATTRIBUTE
    | ANIMATION
    | empty

TRACE ::= \\inputtrace{FILENAME}

RESULT-ELEM ::= REAL-VALUE END-MARK
    | REAL-VALUE & REAL-VALUE END-MARK

END-MARK ::= \\ | empty

VECTOR ::= OPEN-BRACE VECTOR-ITEMS

VECTOR-ITEMS ::= empty CLOSE-BRACE
    | REAL-VALUE CLOSE-BRACE
    | REAL-VALUE , VECTOR-ITEMS

ANIMATION ::= \inputtrace{ STRING }


ID ::= STRING

OPEN-BRACE  ::= (

CLOSE-BRACE ::= )

ATTRIBUTE ::= empty
    | TEXT ATTRIBUTE
    | SET ATTRIBUTE

SET ::= empty
    | { STRING SET }