-
Notifications
You must be signed in to change notification settings - Fork 1
/
lex-ops_pddl.l
executable file
·123 lines (79 loc) · 2.24 KB
/
lex-ops_pddl.l
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
%{
#include "ff.h"
#include "parse.h"
/* default yywrap function - always treat EOF as an EOF */
int ops_pddlwrap() { return 1; };
%}
a [Aa]
b [Bb]
c [Cc]
d [Dd]
e [Ee]
f [Ff]
g [Gg]
h [Hh]
i [Ii]
j [Jj]
k [Kk]
l [Ll]
m [Mm]
n [Nn]
o [Oo]
p [Pp]
q [Qq]
r [Rr]
s [Ss]
t [Tt]
u [Uu]
v [Vv]
w [Ww]
x [Xx]
y [Yy]
z [Zz]
%x COMMENT OVERREAD
%%
"(" { return(OPEN_PAREN); }
")" { return(CLOSE_PAREN); }
"-" { return('-'); }
{d}{e}{f}{i}{n}{e} { return(DEFINE_TOK); }
{d}{o}{m}{a}{i}{n} { return(DOMAIN_TOK); }
":"{r}{e}{q}{u}{i}{r}{e}{m}{e}{n}{t}{s} { return(REQUIREMENTS_TOK); }
":"{t}{y}{p}{e}{s} { return(TYPES_TOK); }
":"{c}{o}{n}{s}{t}{a}{n}{t}{s} { return(CONSTANTS_TOK); }
":"{p}{r}{e}{d}{i}{c}{a}{t}{e}{s} { return(PREDICATES_TOK); }
":"{a}{c}{t}{i}{o}{n} { return(ACTION_TOK); }
":"{d}{e}{r}{i}{v}{e}{d} { return(AXIOM_TOK); }
":"{p}{a}{r}{a}{m}{e}{t}{e}{r}{s} { return(PARAMETERS_TOK); }
":"{v}{a}{r}{s} { return(VARS_TOK); }
":"{p}{r}{e}{c}{o}{n}{d}{i}{t}{i}{o}{n} { return(PRECONDITION_TOK); }
":"{e}{f}{f}{e}{c}{t} { return(EFFECT_TOK); }
":"{i}{m}{p}{l}{i}{e}{s} { return(IMPLIES_TOK); }
"=" { return(EQ_TOK); }
{a}{n}{d} { return(AND_TOK); }
{n}{o}{t} { return(NOT_TOK); }
{w}{h}{e}{n} { return(WHEN_TOK); }
{i}{m}{p}{l}{y} { return(IMPLY_TOK); }
{o}{r} { return(OR_TOK); }
{f}{o}{r}{a}{l}{l} { return(FORALL_TOK); }
{e}{x}{i}{s}{t}{s} { return(EXISTS_TOK); }
:?[a-zA-Z][a-zA-Z0-9\-_]* { strupcase(yytext); strcpy(yylval.string, yytext);
return(NAME); }
\?[a-zA-Z][a-zA-Z0-9\-_\[\]]* { strupcase(yytext); strcpy(yylval.string, yytext);
return(VARIABLE); }
"-"[ \t]*[a-zA-Z][a-zA-Z0-9\-_\[\]]* {
strupcase(yytext); strcpy(yylval.string, rmdash(yytext)); return(TYPE); }
"-"[ \t]*"("[ \t]*{e}{i}{t}{h}{e}{r} { return(EITHER_TOK); }
\;(.)*\n { lineno++; }
\;(.)* { /* this will hold only in files that end with
a comment but no linefeed */ }
<COMMENT>(.^\")*\n { lineno++; } ;
<INITIAL>\" { BEGIN COMMENT;}
<COMMENT>\" { BEGIN INITIAL;}
\n { lineno++; }
<OVERREAD>(.^\(\))*\n { lineno++; }
<OVERREAD>[^\(\)] { }
<OVERREAD>\( { BEGIN OVERREAD; gbracket_count++; }
<OVERREAD>\) { BEGIN OVERREAD; gbracket_count--;
if (!gbracket_count) BEGIN INITIAL; }
. {}
%%