blob: e81894976e69428e8bf797f32734849ca22a726e (
plain)
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
|
%%{
# NOTES:
# Define the following variables in scope
# int intVal, intVal2;
# std::string stringVal, stringVal2;
# int x, y, z;
# int lineNum; // initialize to 1
#
# Define the following (inline) function
# void stripTrailingWhiteSpaces(std::string& s) {
# std::string::const_reverse_iterator endCharIter = s.rbegin();
# int num_ws = 0;
# while(isspace(*endCharIter) && endCharIter != s.rend()) {
# ++num_ws;
# ++endCharIter;
# }
# s.resize((int)s.size()-num_ws);
# }
#
machine utilities;
NEWLINE = '\n' @ {++lineNum;} ;
EOF = 0xff ;
nonNEWLINE = any - ('\n' | 0xff);
SPACE_TAB = (' ' | '\t');
nonNEWLINEspace = (space - '\n');
WHITESPACE = (nonNEWLINEspace | NEWLINE);
BLANK_LINE = nonNEWLINEspace* NEWLINE;
IGNORED_LINE = nonNEWLINE* NEWLINE;
COMMENT_LINE = '#' nonNEWLINE** NEWLINE;
# Possible ways a line can end - with or without an inline comment
# - also serves to catch whole blank or comment lines
EOL = ('#' nonNEWLINE**)? NEWLINE;
whole_number = digit digit**
>to{intVal=fc-'0';}
${intVal = intVal*10 + (fc-'0');}
;
whole_number2 = digit digit**
>to{intVal2=fc-'0';}
${intVal2 = intVal2*10 + (fc-'0');}
;
integer = ('+'? whole_number ) | ('-' whole_number %{intVal=-intVal;}) ;
real_number = ([+\-]? digit digit** ( '.' digit** ([eE] [+\-]? digit digit**)? )?)
>{stringVal.clear(); /*stringVal = stringVal + fc;*/ doubleVal = HUGE_VAL;}
${stringVal = stringVal + fc;}
%{doubleVal = atof(stringVal.c_str());}
;
char_string = ('_' | alnum) (alnum | [_.\-])**
>to{/*stringVal.clear();*/ stringVal = fc; }
${stringVal = stringVal + fc; }
;
char_string2 = ('_' | alnum) (alnum | [_.\-])**
>to{/*stringVal.clear();*/ stringVal2 = fc; }
${stringVal2 = stringVal2 + fc; }
;
# Character string with spaces in between
# - must be at least 1 character long, and must end in a non-whitespace char
char_string_with_space_pattern =
('_' | alnum) >{ charStringWithSpaceStart = p; charStringWithSpaceStop = p;}
((nonNEWLINEspace | [_.\-] | alnum)** ('_' | alnum))?
@{ charStringWithSpaceStop = p; }
;
# Default assignment of identified character-string-with-spaces pattern
char_string_with_space = char_string_with_space_pattern
#>to{stringVal.clear();}
#${stringVal = stringVal + fc; }
% { int stringVal_newSize = charStringWithSpaceStop - charStringWithSpaceStart + 1;
assert(stringVal_newSize >= 0);
stringVal.resize(stringVal_newSize);
std::copy(charStringWithSpaceStart, charStringWithSpaceStop+1, stringVal.begin());
}
;
# Alternate assignment of identified character-string-with-spaces pattern
# - useful in a binary expression
char_string_with_space2 = char_string_with_space_pattern
#>to{stringVal2.clear();}
#${stringVal2 = stringVal2 + fc; }
% { int stringVal2_newSize = charStringWithSpaceStop - charStringWithSpaceStart + 1;
// cerr << "stringVal2_newSize = " << stringVal2_newSize << endl;
if(stringVal2_newSize < 0) {
cerr << "*charStringWithSpaceStart = " << *charStringWithSpaceStart
<< ", *charStringWithSpaceStop = " << *charStringWithSpaceStop << endl;
assert(0);
}
stringVal2.resize(stringVal2_newSize);
std::copy(charStringWithSpaceStart, charStringWithSpaceStop+1, stringVal2.begin());
}
;
}%%
|
