41 |
|
|
42 |
|
#ifndef SELECTION_SELECTIONCOMPILER_HPP |
43 |
|
#define SELECTION_SELECTIONCOMPILER_HPP |
44 |
< |
|
44 |
> |
#include <iostream> |
45 |
> |
#include <string> |
46 |
|
#include <vector> |
47 |
+ |
|
48 |
+ |
#include "selection/SelectionToken.hpp" |
49 |
+ |
#include "selection/TokenMap.hpp" |
50 |
+ |
#include "brains/SimInfo.hpp" |
51 |
+ |
|
52 |
|
namespace oopse { |
53 |
|
|
54 |
|
|
55 |
< |
/** |
56 |
< |
* @class SelectionCompiler SelectionCompiler.hpp "selection/SelectionCompiler.hpp" |
57 |
< |
* @brief compile a selection script to tokens |
58 |
< |
* <pre> |
55 |
> |
/** |
56 |
> |
* @class SelectionCompiler SelectionCompiler.hpp "selection/SelectionCompiler.hpp" |
57 |
> |
* @brief compile a selection script to tokens |
58 |
> |
* @todo document |
59 |
> |
* <pre> |
60 |
|
|
61 |
< |
expression :: = clauseOr |
61 |
> |
expression :: = clauseOr |
62 |
|
|
63 |
< |
clauseOr ::= clauseAnd {OR clauseAnd}* |
63 |
> |
clauseOr ::= clauseAnd {OR clauseAnd}* |
64 |
|
|
65 |
< |
clauseAnd ::= clauseNot {AND clauseNot}* |
65 |
> |
clauseAnd ::= clauseNot {AND clauseNot}* |
66 |
|
|
67 |
< |
clauseNot ::= NOT clauseNot | clausePrimitive |
67 |
> |
clauseNot ::= NOT clauseNot | clausePrimitive |
68 |
|
|
69 |
< |
clausePrimitive ::= clauseComparator | |
70 |
< |
clauseWithin | |
71 |
< |
clauseResidueSpec | |
72 |
< |
none | all | |
73 |
< |
( clauseOr ) |
69 |
> |
clausePrimitive ::= clauseComparator | |
70 |
> |
clauseWithin | |
71 |
> |
clauseName | |
72 |
> |
none | all | |
73 |
> |
( clauseOr ) |
74 |
|
|
75 |
< |
clauseComparator ::= atomproperty comparatorop integer |
75 |
> |
clauseComparator ::= atomproperty comparatorop integer |
76 |
|
|
77 |
< |
clauseWithin ::= WITHIN ( clauseDistance , expression ) |
77 |
> |
clauseWithin ::= WITHIN ( clauseDistance , expression ) |
78 |
|
|
79 |
< |
clauseDistance ::= integer | decimal |
79 |
> |
clauseDistance ::= integer | decimal |
80 |
> |
|
81 |
> |
clauseName::= *|string{.string{.string}} |
82 |
|
|
74 |
– |
|
83 |
|
|
84 |
+ |
* </pre> |
85 |
+ |
*/ |
86 |
+ |
class SelectionCompiler{ |
87 |
+ |
public: |
88 |
+ |
bool compile(const std::string& filename, const std::string& script ); |
89 |
+ |
|
90 |
|
|
91 |
< |
clauseResidueSpec::= { clauseResNameSpec } |
92 |
< |
{ clauseResNumSpec } |
93 |
< |
{ chainSpec } |
80 |
< |
{ clauseAtomSpec } |
81 |
< |
{ modelSpec } |
91 |
> |
std::vector<int> getLineNumbers() { |
92 |
> |
return lineNumbers; |
93 |
> |
} |
94 |
|
|
95 |
< |
clauseResNameSpec::= * | [ resNamePattern ] | resNamePattern |
95 |
> |
std::vector<int> getLineIndices() { |
96 |
> |
return lineIndices; |
97 |
> |
} |
98 |
|
|
99 |
< |
// question marks are part of identifiers |
100 |
< |
// they get split up and dealt with as wildcards at runtime |
101 |
< |
// and the integers which are residue number chains get bundled |
88 |
< |
// in with the identifier and also split out at runtime |
89 |
< |
// iff a variable of that name does not exist |
99 |
> |
std::vector<std::vector<Token> > getAatokenCompiled() { |
100 |
> |
return aatokenCompiled; |
101 |
> |
} |
102 |
|
|
103 |
< |
resNamePattern ::= up to 3 alphanumeric chars with * and ? |
103 |
> |
std::string getErrorMessage() { |
104 |
> |
std::string strError = errorMessage; |
105 |
> |
strError += " : " + errorLine + "\n"; |
106 |
|
|
107 |
< |
clauseResNumSpec ::= * | clauseSequenceRange |
107 |
> |
if (!filename.empty()) { |
108 |
> |
strError += filename; |
109 |
> |
} |
110 |
|
|
111 |
< |
clauseSequenceRange ::= clauseSequenceCode { - clauseSequenceCode } |
111 |
> |
return strError; |
112 |
> |
} |
113 |
|
|
114 |
< |
clauseSequenceCode ::= seqcode | {-} integer |
114 |
> |
|
115 |
> |
private: |
116 |
|
|
117 |
< |
clauseChainSpec ::= {:} * | identifier | integer |
117 |
> |
bool internalCompile(); |
118 |
|
|
101 |
– |
clauseAtomSpec ::= . * | . identifier {*} // note that this * is *not* a wildcard |
119 |
|
|
120 |
< |
clauseModelSpec ::= {:|/} * | integer |
121 |
< |
|
122 |
< |
* </pre> |
123 |
< |
*/ |
124 |
< |
class SelectionCompiler{ |
125 |
< |
public: |
126 |
< |
bool compile(); |
120 |
> |
bool lookingAtLeadingWhitespace(); |
121 |
> |
//bool lookingAtComment(); |
122 |
> |
bool lookingAtEndOfLine(); |
123 |
> |
bool lookingAtEndOfStatement(); |
124 |
> |
bool lookingAtString(); |
125 |
> |
bool lookingAtDecimal(bool allowNegative); |
126 |
> |
bool lookingAtInteger(bool allowNegative); |
127 |
> |
bool lookingAtLookupToken(); |
128 |
> |
bool lookingAtSpecialString(); |
129 |
|
|
130 |
< |
std::vector<Token> getCompiledTokens(); |
131 |
< |
private: |
130 |
> |
std::string getUnescapedStringLiteral(); |
131 |
> |
int getHexitValue(char ch); |
132 |
|
|
133 |
< |
bool clauseOr(); |
134 |
< |
bool clauseAnd(); |
135 |
< |
bool clauseNot(); |
117 |
< |
bool clausePrimitive(); |
118 |
< |
bool clauseWithin(); |
119 |
< |
bool clauseComparator(); |
133 |
> |
bool compileCommand(const std::vector<Token>& ltoken); |
134 |
> |
bool compileExpression(); |
135 |
> |
bool compileExpression(int itoken); |
136 |
|
|
137 |
< |
internalCompile(); |
137 |
> |
bool clauseOr(); |
138 |
> |
bool clauseAnd(); |
139 |
> |
bool clauseNot(); |
140 |
> |
bool clausePrimitive(); |
141 |
> |
bool clauseWithin(); |
142 |
> |
bool clauseComparator(); |
143 |
> |
bool clauseChemObjName(); |
144 |
> |
bool clauseIndex(); |
145 |
> |
Token tokenNext(); |
146 |
> |
boost::any valuePeek(); |
147 |
> |
int tokPeek(); |
148 |
|
|
149 |
< |
std::vector<Token> compiledTokens_; |
150 |
< |
}; |
149 |
> |
bool addTokenToPostfix(const Token& token); |
150 |
> |
bool isNameValid(const std::string& name); |
151 |
|
|
152 |
+ |
bool compileError(const std::string& errorMsg) { |
153 |
+ |
|
154 |
+ |
sprintf( painCave.errMsg, |
155 |
+ |
"SelectionCompiler Error: %s\n", errorMsg.c_str()); |
156 |
+ |
painCave.severity = OOPSE_ERROR; |
157 |
+ |
painCave.isFatal = 1; |
158 |
+ |
simError(); |
159 |
+ |
|
160 |
+ |
error = true; |
161 |
+ |
this->errorMessage = errorMsg; |
162 |
+ |
return false; |
163 |
+ |
} |
164 |
+ |
|
165 |
+ |
bool commandExpected() { |
166 |
+ |
return compileError("command expected"); |
167 |
+ |
} |
168 |
+ |
|
169 |
+ |
bool invalidExpressionToken(const std::string& ident) { |
170 |
+ |
return compileError("invalid expression token:" + ident); |
171 |
+ |
} |
172 |
+ |
|
173 |
+ |
bool unrecognizedToken() { |
174 |
+ |
return compileError("unrecognized token"); |
175 |
+ |
} |
176 |
+ |
|
177 |
+ |
bool badArgumentCount() { |
178 |
+ |
return compileError("bad argument count"); |
179 |
+ |
} |
180 |
+ |
|
181 |
+ |
bool endOfExpressionExpected() { |
182 |
+ |
return compileError("end of expression expected"); |
183 |
+ |
} |
184 |
+ |
|
185 |
+ |
bool leftParenthesisExpected() { |
186 |
+ |
return compileError("left parenthesis expected"); |
187 |
+ |
} |
188 |
+ |
|
189 |
+ |
bool rightParenthesisExpected() { |
190 |
+ |
return compileError("right parenthesis expected"); |
191 |
+ |
} |
192 |
+ |
|
193 |
+ |
bool commaExpected() { |
194 |
+ |
return compileError("comma expected"); |
195 |
+ |
} |
196 |
+ |
|
197 |
+ |
bool unrecognizedExpressionToken() { |
198 |
+ |
boost::any tmp = valuePeek(); |
199 |
+ |
std::string tokenStr; |
200 |
+ |
|
201 |
+ |
try { |
202 |
+ |
tokenStr = boost::any_cast<std::string>(tmp); |
203 |
+ |
} catch(const boost::bad_any_cast &) { |
204 |
+ |
return compileError("any_cast error"); |
205 |
+ |
} |
206 |
+ |
|
207 |
+ |
return compileError("unrecognized expression token:" + tokenStr); |
208 |
+ |
} |
209 |
+ |
|
210 |
+ |
bool comparisonOperatorExpected() { |
211 |
+ |
return compileError("comparison operator expected"); |
212 |
+ |
} |
213 |
+ |
|
214 |
+ |
bool numberExpected() { |
215 |
+ |
return compileError("number expected"); |
216 |
+ |
} |
217 |
+ |
|
218 |
+ |
bool numberOrKeywordExpected() { |
219 |
+ |
return compileError("number or keyword expected"); |
220 |
+ |
} |
221 |
+ |
|
222 |
+ |
std::string filename; |
223 |
+ |
std::string script; |
224 |
+ |
|
225 |
+ |
std::vector<int> lineNumbers; |
226 |
+ |
std::vector<int> lineIndices; |
227 |
+ |
std::vector<std::vector<Token> >aatokenCompiled; |
228 |
+ |
|
229 |
+ |
bool error; |
230 |
+ |
std::string errorMessage; |
231 |
+ |
std::string errorLine; |
232 |
+ |
|
233 |
+ |
int cchScript; |
234 |
+ |
short lineCurrent; |
235 |
+ |
|
236 |
+ |
int ichToken; |
237 |
+ |
int cchToken; |
238 |
+ |
std::vector<Token> atokenCommand; |
239 |
+ |
|
240 |
+ |
int ichCurrentCommand; |
241 |
+ |
|
242 |
+ |
std::vector<Token> ltokenPostfix; |
243 |
+ |
std::vector<Token> atokenInfix; |
244 |
+ |
int itokenInfix; |
245 |
+ |
|
246 |
+ |
//std::vector<Token> compiledTokens_; |
247 |
+ |
}; |
248 |
+ |
|
249 |
|
} |
250 |
|
#endif |
251 |
+ |
|