BNF for Lexer.jj

<DEFAULT> SKIP : {
" "
| "\t"
| "\n"
| "\r"
}

   

<DEFAULT> MORE : {
"//" : IN_SINGLE_LINE_COMMENT
| ";" : IN_SINGLE_LINE_COMMENT
| <"/**" ~["/"]> : IN_FORMAL_COMMENT
| "/*" : IN_MULTI_LINE_COMMENT
}

   

<IN_SINGLE_LINE_COMMENT> SPECIAL : {
<SINGLE_LINE_COMMENT: "\n" | "\r" | "\r\n"> : DEFAULT
}

   

<IN_FORMAL_COMMENT> SPECIAL : {
<FORMAL_COMMENT: "*/"> : DEFAULT
}

   

<IN_MULTI_LINE_COMMENT> SPECIAL : {
<MULTI_LINE_COMMENT: "*/"> : DEFAULT
}

   

<IN_SINGLE_LINE_COMMENT,IN_FORMAL_COMMENT,IN_MULTI_LINE_COMMENT> MORE : {
<~[]>
}

   

<DEFAULT> TOKEN : {
<LEFT_BRACKET: "(">
| <RIGHT_BRACKET: ")">
| <ALIAS: "@">
}

   

<DEFAULT> TOKEN : {
<DEFINE: "define">
| <DOMAIN: "domain">
| <REQUIREMENTS: ":requirements">
| <TYPES: ":types">
| <EITHER: "either">
| <CONSTANTS: ":constants">
| <PREDICATES: ":predicates">
| <FUNCTIONS: ":functions">
| <ACTION: ":action">
| <PARAMETERS: ":parameters">
| <PRECONDITION: ":precondition">
| <EFFECT: ":effect">
| <PREFERENCE: "preference">
| <WHEN: "when">
| <DURATIVE_ACTION: ":durative-action">
| <DURATION: ":duration">
| <CONDITION: ":condition">
| <DERIVED: ":derived">
| <PROBLEM: "problem">
| <P_DOMAIN: ":domain">
| <OBJECTS: ":objects">
| <INIT: ":init">
| <GOAL: ":goal">
| <METRIC: ":metric">
| <METHOD: ":method">
| <TASK: ":task">
| <ORDERED_SUBTASKS: ":ordered-subtasks">
| <ORDERED_TASKS: ":ordered-tasks">
| <TASKS: ":tasks">
| <SUBTASKS: ":subtasks">
| <ORDERING: ":ordering">
| <DURATIVE_METHOD: ":durative-method">
}

   

<DEFAULT> TOKEN : {
<STRIPS: ":strips">
| <TYPING: ":typing">
| <NEGATIVE_PRECONDITIONS: ":negative-preconditions">
| <DISJUNCTIVE_PRECONDITIONS: ":disjunctive-preconditions">
| <EQUALITY: ":equality">
| <EXISTENTIAL_PRECONDITIONS: ":existential-preconditions">
| <UNIVERSAL_PRECONDITIONS: ":universal-preconditions">
| <QUANTIFIED_PRECONDITIONS: ":quantified-preconditions">
| <CONDITIONAL_EFFECTS: ":conditional-effects">
| <ACTION_COSTS: ":action-costs">
| <FLUENTS: ":fluents">
| <NUMERIC_FLUENTS: ":numeric-fluents">
| <OBJECT_FLUENTS: ":object-fluents">
| <GOAL_UTILITIES: ":goal-utilities">
| <ADL: ":adl">
| <DURATIVE_ACTIONS: ":durative-actions">
| <DERIVED_PREDICATES: ":derived-predicates">
| <TIMED_INITIAL_LITERALS: ":timed-initial-literals">
| <PREFERENCES: ":preferences">
| <CONSTRAINTS: ":constraints">
| <CONTINUS_EFFECTS: ":continus-effects">
| <DURATION_INEQUALITIES: ":duration-inequalities">
| <HIERARCHY: ":hierarchy">
| <HTN: ":htn">
| <METHOD_PRECONDITIONS: ":method-preconditions">
| <METHOD_CONSTRAINTS: ":method-constraints">
}

   

<DEFAULT> TOKEN : {
<GREAT: ">">
| <LESS: "<">
| <GEQUAL: ">=">
| <LEQUAL: "<=">
| <EQUAL: "=">
}

   

<DEFAULT> TOKEN : {
<MUL: "*">
| <DIV: "/">
| <ADD: "+">
| <SUB: "-">
}

   

<DEFAULT> TOKEN : {
<ASSIGN: "assign">
| <SCALE_UP: "scale-up">
| <SCALE_DOWN: "scale-down">
| <INCREASE: "increase">
| <DECREASE: "decrease">
}

   

<DEFAULT> TOKEN : {
<OR: "or">
| <AND: "and">
| <IMPLY: "imply">
| <NOT: "not">
| <FORALL: "forall">
| <EXISTS: "exists">
}

   

<DEFAULT> TOKEN : {
<ALWAYS: "always">
| <SOMETIME: "sometime">
| <WITHIN: "within">
| <AT_MOST_ONCE: "at-most-once">
| <SOMETIME_AFTER: "sometime-after">
| <SOMETIME_BEFORE: "sometime-before">
| <ALWAYS_WITHIN: "always-within">
| <HOLD_DURING: "hold-during">
| <HOLD_AFTER: "hold-after">
| <HOLD_BEFORE: "hold-before">
| <HOLD_BETWEEN: "hold-between">
| <AT: "at">
| <START: "start">
| <END: "end">
| <OVER: "over">
| <ALL: "all">
| <TOTAL_TIME: "total-time">
| <TOTAL_COST: "total-cost">
| <MAXIMIZE: "maximize">
| <MINIMIZE: "minimize">
| <IS_VIOLATED: "is-violated">
}

   

<DEFAULT> TOKEN : {
<VAR_DURATION: "?duration">
| <CONTINUOUS_VARIABLE: "#t">
| <F_DURATION: "duration">
}

   

<DEFAULT> TOKEN : {
<NUMBER_TYPE: "number">
| <OBJECT_TYPE: "object">
}

   

<DEFAULT> TOKEN : {
<VARIABLE_SYMBOL: "?" <LETTER> (<LETTER> | <SEPARATOR> | <DIGIT>)*>
| <SYMBOL: <LETTER> (<LETTER> | "-" | <DIGIT>)*>
| <NUMBER: (<DIGIT>)+ ("." (<DIGIT>)*)?>
| <#DIGIT: ["0"-"9"]>
| <#LETTER: ["a"-"z","A"-"Z","_"]>
| <#SEPARATOR: ["_","-"]>
}