%{

#include <string>

#include <fstream> using std::cin; using std::cout; using std::cerr; using std::istream; using namespace VAL; extern "C" int yywrap();

%} %option case-insensitive

char [a-zA-Z_] digit [0-9] int -?{digit}* float -?{digit}+(\.{digit}*)? string {char}+(-|{char}|{digit})* whitespace [ \t]+ nl \n comment ;.*$ at_time "at"{whitespace}{float}

%% "(" {return OPEN_BRAC;} ")" {return CLOSE_BRAC;} "[" {return OPEN_SQ;} "]" {return CLOSE_SQ;} ":requirements" {return REQS;} ":equality" {return EQUALITY;} ":strips" {return STRIPS;} ":adl" {return ADL;} ":typing" {return TYPING;} ":disjunctive-preconditions" {return DISJUNCTIVE_PRECONDS;} ":existential-preconditions" {return EXT_PRECS;} ":universal-preconditions" {return UNIV_PRECS;} ":quantified-preconditions" {return QUANT_PRECS;} ":conditional-effects" {return COND_EFFS;} ":fluents" {return FLUENTS;} ":numeric-fluents" {return NUMERICFLUENTS;} ":object-fluents" {return OBJECTFLUENTS;} ":action-costs" {return ACTIONCOSTS;} ":time" {return TIME;} ":preferences" {return PREFERENCES;} ":constraints" {return CONSTRAINTS;} ":constants" {return CONSTANTS;} ":predicates" {return PREDS;} ":functions" {return FUNCTIONS;} ":types" {return TYPES;} ":durative-actions" {return DURATIVE_ACTIONS;} ":duration-inequalities" {return DURATION_INEQUALITIES;} ":continuous-effects" {return CONTINUOUS_EFFECTS;} ":negative-preconditions" {return NEGATIVE_PRECONDITIONS;} ":derived-predicates" {return DERIVED_PREDICATES;} ":timed-initial-literals" {return TIMED_INITIAL_LITERALS;} "define" {return DEFINE;} "domain" {return PDDLDOMAIN;} ":action" {return ACTION;} ":process" {return PROCESS;} ":event" {return EVENT;} ":durative-action" {return DURATIVE_ACTION;} ":derived" {return DERIVED;} ":parameters" {return ARGS;} ":precondition" {return PRE;} ":condition" {return CONDITION;} ":start-precondition" {return START_PRE;} ":end-precondition" {return END_PRE;} "at start" {return AT_START;} "at end" {return AT_END;} "over all" {return OVER_ALL;} ":effect" {return EFFECTS;} ":initial-effect" {return INITIAL_EFFECT;} ":final-effect" {return FINAL_EFFECT;} ":invariant" {return INVARIANT;} ":duration" {return DURATION;} "and" {return AND;} "or" {return OR;} "exists" {return EXISTS;} "forall" {return FORALL;} "imply" {return IMPLY;} "not" {return NOT;} "when" {return WHEN;} "either" {return EITHER;} "problem" {return PROBLEM;} ":domain" {return FORDOMAIN;} ":objects" {return OBJECTS;} ":init" {return INITIALLY;} ":goal" {return GOALS;} "=" {return EQ;} ":length" {return LENGTH;} ":serial" {return SERIAL;} ":parallel" {return PARALLEL;} ":metric" {return METRIC;} "minimize" {return MINIMIZE;} "maximize" {return MAXIMIZE;} "is-violated" {return ISVIOLATED;} "#t" {return HASHT;} "duration" {return DURATION_VAR;} "total-time" {return TOTAL_TIME;} ^"time" {return TIME;} "number" {return NUMBER;} "increase" {return INCREASE;} "decrease" {return DECREASE;} "scale-up" {return SCALE_UP;} "scale-down" {return SCALE_DOWN;} "assign" {return ASSIGN;} "preference" {return PREFERENCE;} "always" {return ALWAYS;} "sometime" {return SOMETIME;} "within" {return WITHIN;} "at-most-once" {return ATMOSTONCE;} "sometime-after" {return SOMETIMEAFTER;} "sometime-before" {return SOMETIMEBEFORE;} "always-within" {return ALWAYSWITHIN;} "hold-during" {return HOLDDURING;} "hold-after" {return HOLDAFTER;} "+" {return PLUS;} "-" {return HYPHEN;} "*" {return MUL;} "/" {return DIV;} ">" {return GREATER;} ">=" {return GREATEQ;} "<" {return LESS;} "<=" {return LESSEQ;} "?" {return Q;} ":" {return COLON;}

{at_time} {unsigned int i; for(i = 3;i < strlen(yytext);++i) { if(yytext[i] != '\t' && yytext[i] != ' ') break; }; yylval.fval = atof(yytext+i); return (AT_TIME); }

{string} {unsigned int i; yylval.cp = new char[strlen(yytext)+1]; strcpy(yylval.cp,yytext); for(i = 0;i<strlen(yylval.cp);i++) yylval.cp[i] = tolower(yylval.cp[i]); // If symbol is registered as a function symbol, // return token FUNCTION_SYMBOL else return NAME //cout << yytext << " " << line_no << "\n"; if (current_analysis->func_tab.symbol_probe(yylval.cp) != NULL) return FUNCTION_SYMBOL; else return NAME;}

{whitespace} ; {comment} ; {nl} {line_no++;};

{int} {yylval.ival = atoi(yytext);return (INTVAL);} {float} {yylval.fval = atof(yytext);return (FLOATVAL);}

%%

extern "C++" { int yyFlexLexer::yywrap() { return 1; } }