AsmetaL EBNF

<DEFAULT,GENERIC_ID,MODULE_ID> SKIP : {
" "
| "\r"
| "\t"
| "\n"
| <"//" (~["\n","\r"])* ("\n" | "\r" | "\r\n")>
| <"/*" (~["*"])* "*" ("*" | ~["*","/"] (~["*"])* "*")* "/">
}

   

<DEFAULT> TOKEN : {
<ASM: "asm"> : GENERIC_ID
| <MODULE: "module"> : GENERIC_ID
| <ASYNCR: "asyncr">
| <IMPORT: "import"> : MODULE_ID
| <EXPORT: "export">
| <SIGNATURE: "signature">
| <INIT: "init"> : GENERIC_ID
| <Default: "default">
| <AGENT: "agent">
| <INVARIANT: "invariant">
| <CTLSPEC: "CTLSPEC">
| <NAME: "NAME">
| <LTLSPEC: "LTLSPEC">
| <JUSTICE: "JUSTICE">
| <FAIRNESS: "FAIRNESS">
| <COMPASSION: "COMPASSION">
| <INVAR: "INVAR">
| <OVER: "over">
| <DEFINITIONS: "definitions">
| <FUNCTION: "function">
| <STATIC: "static">
| <DYNAMIC: "dynamic">
| <DERIVED: "derived">
| <MONITORED: "monitored">
| <CONTROLLED: "controlled">
| <SHARED: "shared">
| <OUT: "out">
| <DOMAIN: "domain">
| <ANYDOMAIN: "anydomain">
| <BASIC: "basic">
| <ABSTRACT: "abstract">
| <ENUM: "enum">
| <SUBSETOF: "subsetof">
| <PROD: "Prod">
| <SEQ: "Seq">
| <POWERSET: "Powerset">
| <BAG: "Bag">
| <MAP: "Map">
| <RULEDOM: "Rule">
| <TRUE: "true">
| <FALSE: "false">
| <UNDEF: "undef">
| <IM_PART: "i">
| <IF: "if">
| <THEN: "then">
| <ELSE: "else">
| <ENDIF: "endif">
| <SWITCH: "switch">
| <END_SWITCH: "endswitch">
| <CASE: "case">
| <OTHERWISE: "otherwise">
| <ENDCASE: "endcase">
| <LET: "let">
| <ENDLET: "endlet">
| <EXIST: "exist">
| <UNIQUE: "unique">
| <WITH: "with">
| <FORALL: "forall">
| <Skip: "skip">
| <RULE: "rule">
| <MACRO: "macro">
| <TURBO: "turbo">
| <MAIN: "main">
| <PAR: "par">
| <ENDPAR: "endpar">
| <CHOOSE: "choose">
| <DO: "do">
| <IFNONE: "ifnone">
| <EXTEND: "extend">
| <seq: "seq">
| <ENDSEQ: "endseq">
| <ITERATE: "iterate">
| <ENDITERATE: "enditerate">
| <LOCAL: "local">
| <TRY: "try">
| <CATCH: "catch">
| <WHILE: "while">
| <WHILEREC: "whilerec">
| <IN: "in">
| <EQ: "=">
| <LT: "<">
| <LE: "<=">
| <GT: ">">
| <GE: ">=">
| <NEQ: "!=">
| <PLUS: "+">
| <MINUS: "-">
| <MULT: "*">
| <DIV: "/">
| <PWR: "^">
}

   

<DEFAULT> TOKEN : {
<NUMBER: (<DIGIT>)+>
| <NATNUMBER: (<DIGIT>)+ "n">
| <REAL_NUMBER: (<DIGIT>)+ "." (<DIGIT>)+>
| <COMPLEX_NUMBER: ((["+","-"])? (<DIGIT>)+ ("." (<DIGIT>)+)?)? (["+","-"])? "i" ((<DIGIT>)+ ("." (<DIGIT>)+)?)?>
| <ID_VARIABLE: "$" <LETTER> (<LETTER> | <DIGIT>)*>
| <ID_ENUM: ["A"-"Z"] ["A"-"Z"] ("_" | ["A"-"Z"] | <DIGIT>)*>
| <ID_DOMAIN: ["A"-"Z"] ("_" | ["a"-"z"] | ["A"-"Z"] | <DIGIT>)*>
| <ID_RULE: "r_" (<LETTER> | <DIGIT>)+>
| <ID_AXIOM: "inv_" (<LETTER> | <DIGIT>)+>
| <ID_CTL: "ctlSpec_" (<LETTER> | <DIGIT>)+>
| <ID_LTL: "ltlSpec_" (<LETTER> | <DIGIT>)+>
| <ID_FUNCTION: ["a"-"z"] (<LETTER> | <DIGIT>)*>
| <#LETTER: ["_","a"-"z","A"-"Z"]>
| <#DIGIT: ["0"-"9"]>
| <CHAR_LITERAL: "\'" (~["\'","\\","\n","\r"] | "\\" (["n","t","b","r","f","\\","\'","\""] | ["0"-"7"] (["0"-"7"])? | ["0"-"3"] ["0"-"7"] ["0"-"7"]))* "\'">
| <STRING_LITERAL: "\"" (~["\"","\\","\n","\r"] | "\\" (["n","t","b","r","f","\\","\'","\""] | ["0"-"7"] (["0"-"7"])? | ["0"-"3"] ["0"-"7"] ["0"-"7"]))* "\"">
}

   

<GENERIC_ID> TOKEN : {
<ID: <LETTER> (<LETTER> | <DIGIT>)*> : DEFAULT
}

   

<MODULE_ID> TOKEN : {
<MOD_ID: (<LETTER> | "." | "/" | "\\") (<LETTER> | <DIGIT> | "." | "/" | "\\" | ":")*> : DEFAULT
}