]>
Commit | Line | Data |
---|---|---|
0d2711a6 LG |
1 | ## @file\r |
2 | # This file is used to parse and evaluate expression in directive or PCD value.\r | |
3 | #\r | |
4 | # Copyright (c) 2011, Intel Corporation. All rights reserved.<BR>\r | |
5 | # This program and the accompanying materials\r | |
6 | # are licensed and made available under the terms and conditions of the BSD License\r | |
7 | # which accompanies this distribution. The full text of the license may be found at\r | |
8 | # http://opensource.org/licenses/bsd-license.php\r | |
9 | #\r | |
10 | # THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,\r | |
11 | # WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.\r | |
12 | \r | |
13 | ## Import Modules\r | |
14 | #\r | |
15 | from Common.GlobalData import *\r | |
16 | from CommonDataClass.Exceptions import BadExpression\r | |
0d2711a6 LG |
17 | from CommonDataClass.Exceptions import WrnExpression\r |
18 | from Misc import GuidStringToGuidStructureString\r | |
19 | \r | |
20 | ERR_STRING_EXPR = 'This operator cannot be used in string expression: [%s].'\r | |
21 | ERR_SNYTAX = 'Syntax error, the rest of expression cannot be evaluated: [%s].'\r | |
22 | ERR_MATCH = 'No matching right parenthesis.'\r | |
23 | ERR_STRING_TOKEN = 'Bad string token: [%s].'\r | |
24 | ERR_MACRO_TOKEN = 'Bad macro token: [%s].'\r | |
25 | ERR_EMPTY_TOKEN = 'Empty token is not allowed.'\r | |
26 | ERR_PCD_RESOLVE = 'PCD token cannot be resolved: [%s].'\r | |
27 | ERR_VALID_TOKEN = 'No more valid token found from rest of string: [%s].'\r | |
28 | ERR_EXPR_TYPE = 'Different types found in expression.'\r | |
29 | ERR_OPERATOR_UNSUPPORT = 'Unsupported operator: [%s]'\r | |
30 | ERR_REL_NOT_IN = 'Expect "IN" after "not" operator.'\r | |
31 | WRN_BOOL_EXPR = 'Operand of boolean type cannot be used in arithmetic expression.'\r | |
32 | WRN_EQCMP_STR_OTHERS = '== Comparison between Operand of string type and Boolean/Number Type always return False.'\r | |
33 | WRN_NECMP_STR_OTHERS = '!= Comparison between Operand of string type and Boolean/Number Type always return True.'\r | |
34 | ERR_RELCMP_STR_OTHERS = 'Operator taking Operand of string type and Boolean/Number Type is not allowed: [%s].'\r | |
35 | ERR_STRING_CMP = 'Unicode string and general string cannot be compared: [%s %s %s]'\r | |
36 | ERR_ARRAY_TOKEN = 'Bad C array or C format GUID token: [%s].'\r | |
37 | ERR_ARRAY_ELE = 'This must be HEX value for NList or Array: [%s].'\r | |
d0acc87a | 38 | ERR_EMPTY_EXPR = 'Empty expression is not allowed.'\r |
64b2609f | 39 | ERR_IN_OPERAND = 'Macro after IN operator can only be: $(FAMILY), $(ARCH), $(TOOL_CHAIN_TAG) and $(TARGET).'\r |
0d2711a6 LG |
40 | \r |
41 | ## SplitString\r | |
42 | # Split string to list according double quote\r | |
43 | # For example: abc"de\"f"ghi"jkl"mn will be: ['abc', '"de\"f"', 'ghi', '"jkl"', 'mn']\r | |
44 | #\r | |
45 | def SplitString(String):\r | |
46 | # There might be escaped quote: "abc\"def\\\"ghi"\r | |
47 | Str = String.replace('\\\\', '//').replace('\\\"', '\\\'')\r | |
48 | RetList = []\r | |
49 | InQuote = False\r | |
50 | Item = ''\r | |
51 | for i, ch in enumerate(Str):\r | |
52 | if ch == '"':\r | |
53 | InQuote = not InQuote\r | |
54 | if not InQuote:\r | |
55 | Item += String[i]\r | |
56 | RetList.append(Item)\r | |
57 | Item = ''\r | |
58 | continue\r | |
59 | if Item:\r | |
60 | RetList.append(Item)\r | |
61 | Item = ''\r | |
62 | Item += String[i]\r | |
63 | if InQuote:\r | |
64 | raise BadExpression(ERR_STRING_TOKEN % Item)\r | |
65 | if Item:\r | |
66 | RetList.append(Item)\r | |
67 | return RetList\r | |
68 | \r | |
69 | ## ReplaceExprMacro\r | |
70 | #\r | |
71 | def ReplaceExprMacro(String, Macros, ExceptionList = None):\r | |
72 | StrList = SplitString(String)\r | |
73 | for i, String in enumerate(StrList):\r | |
74 | InQuote = False\r | |
75 | if String.startswith('"'):\r | |
76 | InQuote = True\r | |
77 | MacroStartPos = String.find('$(')\r | |
78 | if MacroStartPos < 0:\r | |
79 | continue\r | |
80 | RetStr = ''\r | |
81 | while MacroStartPos >= 0:\r | |
82 | RetStr = String[0:MacroStartPos]\r | |
83 | MacroEndPos = String.find(')', MacroStartPos)\r | |
84 | if MacroEndPos < 0:\r | |
85 | raise BadExpression(ERR_MACRO_TOKEN % String[MacroStartPos:])\r | |
86 | Macro = String[MacroStartPos+2:MacroEndPos]\r | |
87 | if Macro not in Macros:\r | |
88 | # From C reference manual:\r | |
89 | # If an undefined macro name appears in the constant-expression of\r | |
90 | # !if or !elif, it is replaced by the integer constant 0.\r | |
91 | RetStr += '0'\r | |
64b2609f LG |
92 | elif not InQuote:\r |
93 | Tklst = RetStr.split()\r | |
94 | if Tklst and Tklst[-1] in ['IN', 'in'] and ExceptionList and Macro not in ExceptionList:\r | |
95 | raise BadExpression(ERR_IN_OPERAND)\r | |
0d2711a6 LG |
96 | # Make sure the macro in exception list is encapsulated by double quote\r |
97 | # For example: DEFINE ARCH = IA32 X64\r | |
98 | # $(ARCH) is replaced with "IA32 X64"\r | |
64b2609f LG |
99 | if ExceptionList and Macro in ExceptionList:\r |
100 | RetStr += '"' + Macros[Macro] + '"'\r | |
101 | elif Macros[Macro].strip():\r | |
0d2711a6 LG |
102 | RetStr += Macros[Macro]\r |
103 | else:\r | |
104 | RetStr += '""'\r | |
64b2609f LG |
105 | else:\r |
106 | RetStr += Macros[Macro]\r | |
0d2711a6 LG |
107 | RetStr += String[MacroEndPos+1:]\r |
108 | String = RetStr\r | |
109 | MacroStartPos = String.find('$(')\r | |
110 | StrList[i] = RetStr\r | |
111 | return ''.join(StrList)\r | |
112 | \r | |
64b2609f LG |
113 | SupportedInMacroList = ['TARGET', 'TOOL_CHAIN_TAG', 'ARCH', 'FAMILY']\r |
114 | \r | |
0d2711a6 LG |
115 | class ValueExpression(object):\r |
116 | # Logical operator mapping\r | |
117 | LogicalOperators = {\r | |
118 | '&&' : 'and', '||' : 'or',\r | |
119 | '!' : 'not', 'AND': 'and',\r | |
120 | 'OR' : 'or' , 'NOT': 'not',\r | |
121 | 'XOR': '^' , 'xor': '^',\r | |
122 | 'EQ' : '==' , 'NE' : '!=',\r | |
123 | 'GT' : '>' , 'LT' : '<',\r | |
124 | 'GE' : '>=' , 'LE' : '<=',\r | |
125 | 'IN' : 'in'\r | |
126 | }\r | |
127 | \r | |
128 | NonLetterOpLst = ['+', '-', '&', '|', '^', '!', '=', '>', '<']\r | |
129 | \r | |
130 | PcdPattern = re.compile(r'[_a-zA-Z][0-9A-Za-z_]*\.[_a-zA-Z][0-9A-Za-z_]*$')\r | |
131 | HexPattern = re.compile(r'0[xX][0-9a-fA-F]+$')\r | |
132 | RegGuidPattern = re.compile(r'[0-9a-fA-F]{8}-[0-9a-fA-F]{4}-[0-9a-fA-F]{4}-[0-9a-fA-F]{4}-[0-9a-fA-F]{12}')\r | |
133 | \r | |
134 | SymbolPattern = re.compile("("\r | |
135 | "\$\([A-Z][A-Z0-9_]*\)|\$\(\w+\.\w+\)|\w+\.\w+|"\r | |
136 | "&&|\|\||!(?!=)|"\r | |
137 | "(?<=\W)AND(?=\W)|(?<=\W)OR(?=\W)|(?<=\W)NOT(?=\W)|(?<=\W)XOR(?=\W)|"\r | |
138 | "(?<=\W)EQ(?=\W)|(?<=\W)NE(?=\W)|(?<=\W)GT(?=\W)|(?<=\W)LT(?=\W)|(?<=\W)GE(?=\W)|(?<=\W)LE(?=\W)"\r | |
139 | ")")\r | |
140 | \r | |
141 | @staticmethod\r | |
142 | def Eval(Operator, Oprand1, Oprand2 = None):\r | |
143 | WrnExp = None\r | |
d0acc87a | 144 | \r |
0d2711a6 LG |
145 | if Operator not in ["==", "!=", ">=", "<=", ">", "<", "in", "not in"] and \\r |
146 | (type(Oprand1) == type('') or type(Oprand2) == type('')):\r | |
147 | raise BadExpression(ERR_STRING_EXPR % Operator)\r | |
148 | \r | |
149 | TypeDict = {\r | |
150 | type(0) : 0,\r | |
151 | type(0L) : 0,\r | |
152 | type('') : 1,\r | |
153 | type(True) : 2\r | |
154 | }\r | |
155 | \r | |
156 | EvalStr = ''\r | |
157 | if Operator in ["!", "NOT", "not"]:\r | |
158 | if type(Oprand1) == type(''):\r | |
159 | raise BadExpression(ERR_STRING_EXPR % Operator)\r | |
160 | EvalStr = 'not Oprand1'\r | |
161 | else:\r | |
162 | if Operator in ["+", "-"] and (type(True) in [type(Oprand1), type(Oprand2)]):\r | |
163 | # Boolean in '+'/'-' will be evaluated but raise warning\r | |
164 | WrnExp = WrnExpression(WRN_BOOL_EXPR)\r | |
165 | elif type('') in [type(Oprand1), type(Oprand2)] and type(Oprand1)!= type(Oprand2):\r | |
166 | # == between string and number/boolean will always return False, != return True\r | |
167 | if Operator == "==":\r | |
168 | WrnExp = WrnExpression(WRN_EQCMP_STR_OTHERS)\r | |
169 | WrnExp.result = False\r | |
170 | raise WrnExp\r | |
171 | elif Operator == "!=":\r | |
172 | WrnExp = WrnExpression(WRN_NECMP_STR_OTHERS)\r | |
173 | WrnExp.result = True\r | |
174 | raise WrnExp\r | |
175 | else:\r | |
176 | raise BadExpression(ERR_RELCMP_STR_OTHERS % Operator)\r | |
d0acc87a | 177 | elif TypeDict[type(Oprand1)] != TypeDict[type(Oprand2)]:\r |
0d2711a6 LG |
178 | if Operator in ["==", "!=", ">=", "<=", ">", "<"] and set((TypeDict[type(Oprand1)], TypeDict[type(Oprand2)])) == set((TypeDict[type(True)], TypeDict[type(0)])):\r |
179 | # comparison between number and boolean is allowed\r | |
180 | pass\r | |
d0acc87a | 181 | elif Operator in ['&', '|', '^', "and", "or"] and set((TypeDict[type(Oprand1)], TypeDict[type(Oprand2)])) == set((TypeDict[type(True)], TypeDict[type(0)])):\r |
0d2711a6 | 182 | # bitwise and logical operation between number and boolean is allowed\r |
d0acc87a | 183 | pass\r |
0d2711a6 LG |
184 | else:\r |
185 | raise BadExpression(ERR_EXPR_TYPE)\r | |
186 | if type(Oprand1) == type('') and type(Oprand2) == type(''):\r | |
187 | if (Oprand1.startswith('L"') and not Oprand2.startswith('L"')) or \\r | |
188 | (not Oprand1.startswith('L"') and Oprand2.startswith('L"')):\r | |
189 | raise BadExpression(ERR_STRING_CMP % (Oprand1, Operator, Oprand2))\r | |
190 | if 'in' in Operator and type(Oprand2) == type(''):\r | |
191 | Oprand2 = Oprand2.split()\r | |
192 | EvalStr = 'Oprand1 ' + Operator + ' Oprand2'\r | |
193 | \r | |
194 | # Local symbols used by built in eval function\r | |
195 | Dict = {\r | |
196 | 'Oprand1' : Oprand1,\r | |
197 | 'Oprand2' : Oprand2\r | |
198 | }\r | |
199 | try:\r | |
200 | Val = eval(EvalStr, {}, Dict)\r | |
201 | except Exception, Excpt:\r | |
202 | raise BadExpression(str(Excpt))\r | |
203 | \r | |
204 | if Operator in ['and', 'or']:\r | |
205 | if Val:\r | |
206 | Val = True\r | |
207 | else:\r | |
208 | Val = False\r | |
d0acc87a | 209 | \r |
0d2711a6 LG |
210 | if WrnExp:\r |
211 | WrnExp.result = Val\r | |
212 | raise WrnExp\r | |
213 | return Val\r | |
214 | \r | |
215 | def __init__(self, Expression, SymbolTable={}):\r | |
216 | self._NoProcess = False\r | |
217 | if type(Expression) != type(''):\r | |
218 | self._Expr = Expression\r | |
219 | self._NoProcess = True\r | |
220 | return\r | |
221 | \r | |
222 | self._Expr = ReplaceExprMacro(Expression.strip(),\r | |
223 | SymbolTable,\r | |
64b2609f | 224 | SupportedInMacroList)\r |
0d2711a6 LG |
225 | \r |
226 | if not self._Expr.strip():\r | |
d0acc87a | 227 | raise BadExpression(ERR_EMPTY_EXPR)\r |
0d2711a6 LG |
228 | \r |
229 | #\r | |
230 | # The symbol table including PCD and macro mapping\r | |
231 | #\r | |
232 | self._Symb = SymbolTable\r | |
233 | self._Symb.update(self.LogicalOperators)\r | |
234 | self._Idx = 0\r | |
235 | self._Len = len(self._Expr)\r | |
236 | self._Token = ''\r | |
d0acc87a | 237 | self._WarnExcept = None\r |
0d2711a6 LG |
238 | \r |
239 | # Literal token without any conversion\r | |
240 | self._LiteralToken = ''\r | |
241 | \r | |
242 | # Public entry for this class\r | |
d0acc87a LG |
243 | # @param RealValue: False: only evaluate if the expression is true or false, used for conditional expression\r |
244 | # True : return the evaluated str(value), used for PCD value\r | |
245 | #\r | |
246 | # @return: True or False if RealValue is False\r | |
247 | # Evaluated value of string format if RealValue is True\r | |
248 | #\r | |
4afd3d04 | 249 | def __call__(self, RealValue=False, Depth=0):\r |
0d2711a6 LG |
250 | if self._NoProcess:\r |
251 | return self._Expr\r | |
252 | \r | |
4afd3d04 LG |
253 | self._Depth = Depth\r |
254 | \r | |
d0acc87a | 255 | self._Expr = self._Expr.strip()\r |
4afd3d04 | 256 | if RealValue and Depth == 0:\r |
d0acc87a LG |
257 | self._Token = self._Expr\r |
258 | if self.__IsNumberToken():\r | |
259 | return self._Expr\r | |
260 | \r | |
25918452 LG |
261 | try:\r |
262 | Token = self._GetToken()\r | |
263 | if type(Token) == type('') and Token.startswith('{') and Token.endswith('}') and self._Idx >= self._Len:\r | |
264 | return self._Expr\r | |
265 | except BadExpression:\r | |
266 | pass\r | |
d0acc87a LG |
267 | \r |
268 | self._Idx = 0\r | |
269 | self._Token = ''\r | |
270 | \r | |
0d2711a6 | 271 | Val = self._OrExpr()\r |
d0acc87a LG |
272 | RealVal = Val\r |
273 | if type(Val) == type(''):\r | |
274 | if Val == 'L""':\r | |
275 | Val = False\r | |
276 | elif not Val:\r | |
277 | Val = False\r | |
278 | RealVal = '""'\r | |
279 | elif not Val.startswith('L"') and not Val.startswith('{'):\r | |
280 | Val = True\r | |
281 | RealVal = '"' + RealVal + '"'\r | |
0d2711a6 LG |
282 | \r |
283 | # The expression has been parsed, but the end of expression is not reached\r | |
284 | # It means the rest does not comply EBNF of <Expression>\r | |
285 | if self._Idx != self._Len:\r | |
286 | raise BadExpression(ERR_SNYTAX % self._Expr[self._Idx:])\r | |
287 | \r | |
d0acc87a LG |
288 | if RealValue:\r |
289 | RetVal = str(RealVal)\r | |
290 | elif Val:\r | |
291 | RetVal = True\r | |
292 | else:\r | |
293 | RetVal = False\r | |
294 | \r | |
295 | if self._WarnExcept:\r | |
296 | self._WarnExcept.result = RetVal\r | |
297 | raise self._WarnExcept\r | |
298 | else:\r | |
299 | return RetVal\r | |
0d2711a6 LG |
300 | \r |
301 | # Template function to parse binary operators which have same precedence\r | |
302 | # Expr [Operator Expr]*\r | |
303 | def _ExprFuncTemplate(self, EvalFunc, OpLst):\r | |
304 | Val = EvalFunc()\r | |
305 | while self._IsOperator(OpLst):\r | |
306 | Op = self._Token\r | |
d0acc87a LG |
307 | try:\r |
308 | Val = self.Eval(Op, Val, EvalFunc())\r | |
309 | except WrnExpression, Warn:\r | |
310 | self._WarnExcept = Warn\r | |
311 | Val = Warn.result\r | |
0d2711a6 LG |
312 | return Val\r |
313 | \r | |
314 | # A [|| B]*\r | |
315 | def _OrExpr(self):\r | |
316 | return self._ExprFuncTemplate(self._AndExpr, ["OR", "or", "||"])\r | |
317 | \r | |
318 | # A [&& B]*\r | |
319 | def _AndExpr(self):\r | |
320 | return self._ExprFuncTemplate(self._BitOr, ["AND", "and", "&&"])\r | |
321 | \r | |
322 | # A [ | B]*\r | |
323 | def _BitOr(self):\r | |
324 | return self._ExprFuncTemplate(self._BitXor, ["|"])\r | |
325 | \r | |
326 | # A [ ^ B]*\r | |
327 | def _BitXor(self):\r | |
328 | return self._ExprFuncTemplate(self._BitAnd, ["XOR", "xor", "^"])\r | |
329 | \r | |
330 | # A [ & B]*\r | |
331 | def _BitAnd(self):\r | |
332 | return self._ExprFuncTemplate(self._EqExpr, ["&"])\r | |
333 | \r | |
334 | # A [ == B]*\r | |
335 | def _EqExpr(self):\r | |
336 | Val = self._RelExpr()\r | |
337 | while self._IsOperator(["==", "!=", "EQ", "NE", "IN", "in", "!", "NOT", "not"]):\r | |
338 | Op = self._Token\r | |
339 | if Op in ["!", "NOT", "not"]:\r | |
340 | if not self._IsOperator(["IN", "in"]):\r | |
341 | raise BadExpression(ERR_REL_NOT_IN)\r | |
342 | Op += ' ' + self._Token\r | |
d0acc87a LG |
343 | try:\r |
344 | Val = self.Eval(Op, Val, self._RelExpr())\r | |
345 | except WrnExpression, Warn:\r | |
346 | self._WarnExcept = Warn\r | |
347 | Val = Warn.result\r | |
0d2711a6 LG |
348 | return Val\r |
349 | \r | |
350 | # A [ > B]*\r | |
351 | def _RelExpr(self):\r | |
352 | return self._ExprFuncTemplate(self._AddExpr, ["<=", ">=", "<", ">", "LE", "GE", "LT", "GT"])\r | |
353 | \r | |
354 | # A [ + B]*\r | |
355 | def _AddExpr(self):\r | |
356 | return self._ExprFuncTemplate(self._UnaryExpr, ["+", "-"])\r | |
357 | \r | |
358 | # [!]*A\r | |
359 | def _UnaryExpr(self):\r | |
360 | if self._IsOperator(["!", "NOT", "not"]):\r | |
361 | Val = self._UnaryExpr()\r | |
d0acc87a LG |
362 | try:\r |
363 | return self.Eval('not', Val)\r | |
364 | except WrnExpression, Warn:\r | |
365 | self._WarnExcept = Warn\r | |
366 | return Warn.result\r | |
0d2711a6 LG |
367 | return self._IdenExpr()\r |
368 | \r | |
369 | # Parse identifier or encapsulated expression\r | |
370 | def _IdenExpr(self):\r | |
371 | Tk = self._GetToken()\r | |
372 | if Tk == '(':\r | |
373 | Val = self._OrExpr()\r | |
374 | try:\r | |
375 | # _GetToken may also raise BadExpression\r | |
376 | if self._GetToken() != ')':\r | |
377 | raise BadExpression(ERR_MATCH)\r | |
378 | except BadExpression:\r | |
379 | raise BadExpression(ERR_MATCH)\r | |
380 | return Val\r | |
381 | return Tk\r | |
382 | \r | |
383 | # Skip whitespace or tab\r | |
384 | def __SkipWS(self):\r | |
385 | for Char in self._Expr[self._Idx:]:\r | |
386 | if Char not in ' \t':\r | |
387 | break\r | |
388 | self._Idx += 1\r | |
389 | \r | |
390 | # Try to convert string to number\r | |
391 | def __IsNumberToken(self):\r | |
392 | Radix = 10\r | |
393 | if self._Token.lower()[0:2] == '0x' and len(self._Token) > 2:\r | |
394 | Radix = 16\r | |
395 | try:\r | |
396 | self._Token = int(self._Token, Radix)\r | |
397 | return True\r | |
398 | except ValueError:\r | |
399 | return False\r | |
400 | except TypeError:\r | |
401 | return False\r | |
402 | \r | |
403 | # Parse array: {...}\r | |
404 | def __GetArray(self):\r | |
405 | Token = '{'\r | |
406 | self._Idx += 1\r | |
407 | self.__GetNList(True)\r | |
408 | Token += self._LiteralToken\r | |
409 | if self._Idx >= self._Len or self._Expr[self._Idx] != '}':\r | |
410 | raise BadExpression(ERR_ARRAY_TOKEN % Token)\r | |
411 | Token += '}'\r | |
412 | \r | |
413 | # All whitespace and tabs in array are already stripped.\r | |
414 | IsArray = IsGuid = False\r | |
415 | if len(Token.split(',')) == 11 and len(Token.split(',{')) == 2 \\r | |
416 | and len(Token.split('},')) == 1:\r | |
417 | HexLen = [11,6,6,5,4,4,4,4,4,4,6]\r | |
418 | HexList= Token.split(',')\r | |
419 | if HexList[3].startswith('{') and \\r | |
420 | not [Index for Index, Hex in enumerate(HexList) if len(Hex) > HexLen[Index]]:\r | |
421 | IsGuid = True\r | |
422 | if Token.lstrip('{').rstrip('}').find('{') == -1:\r | |
423 | if not [Hex for Hex in Token.lstrip('{').rstrip('}').split(',') if len(Hex) > 4]:\r | |
424 | IsArray = True\r | |
425 | if not IsArray and not IsGuid:\r | |
426 | raise BadExpression(ERR_ARRAY_TOKEN % Token)\r | |
427 | self._Idx += 1\r | |
428 | self._Token = self._LiteralToken = Token\r | |
429 | return self._Token\r | |
430 | \r | |
431 | # Parse string, the format must be: "..."\r | |
432 | def __GetString(self):\r | |
433 | Idx = self._Idx\r | |
434 | \r | |
435 | # Skip left quote\r | |
436 | self._Idx += 1\r | |
437 | \r | |
438 | # Replace escape \\\", \"\r | |
439 | Expr = self._Expr[self._Idx:].replace('\\\\', '//').replace('\\\"', '\\\'')\r | |
440 | for Ch in Expr:\r | |
441 | self._Idx += 1\r | |
442 | if Ch == '"':\r | |
443 | break\r | |
444 | self._Token = self._LiteralToken = self._Expr[Idx:self._Idx]\r | |
445 | if not self._Token.endswith('"'):\r | |
446 | raise BadExpression(ERR_STRING_TOKEN % self._Token)\r | |
447 | self._Token = self._Token[1:-1]\r | |
448 | return self._Token\r | |
449 | \r | |
450 | # Get token that is comprised by alphanumeric, underscore or dot(used by PCD)\r | |
451 | # @param IsAlphaOp: Indicate if parsing general token or script operator(EQ, NE...)\r | |
452 | def __GetIdToken(self, IsAlphaOp = False):\r | |
453 | IdToken = ''\r | |
454 | for Ch in self._Expr[self._Idx:]:\r | |
455 | if not self.__IsIdChar(Ch):\r | |
456 | break\r | |
457 | self._Idx += 1\r | |
458 | IdToken += Ch\r | |
459 | \r | |
460 | self._Token = self._LiteralToken = IdToken\r | |
461 | if not IsAlphaOp:\r | |
462 | self.__ResolveToken()\r | |
463 | return self._Token\r | |
464 | \r | |
465 | # Try to resolve token\r | |
466 | def __ResolveToken(self):\r | |
467 | if not self._Token:\r | |
468 | raise BadExpression(ERR_EMPTY_TOKEN)\r | |
469 | \r | |
470 | # PCD token\r | |
471 | if self.PcdPattern.match(self._Token):\r | |
472 | if self._Token not in self._Symb:\r | |
64b2609f LG |
473 | Ex = BadExpression(ERR_PCD_RESOLVE % self._Token)\r |
474 | Ex.Pcd = self._Token\r | |
475 | raise Ex\r | |
4afd3d04 | 476 | self._Token = ValueExpression(self._Symb[self._Token], self._Symb)(True, self._Depth+1)\r |
0d2711a6 LG |
477 | if type(self._Token) != type(''):\r |
478 | self._LiteralToken = hex(self._Token)\r | |
479 | return\r | |
480 | \r | |
481 | if self._Token.startswith('"'):\r | |
482 | self._Token = self._Token[1:-1]\r | |
483 | elif self._Token in ["FALSE", "false", "False"]:\r | |
484 | self._Token = False\r | |
485 | elif self._Token in ["TRUE", "true", "True"]:\r | |
486 | self._Token = True\r | |
487 | else:\r | |
488 | self.__IsNumberToken()\r | |
489 | \r | |
490 | def __GetNList(self, InArray=False):\r | |
491 | self._GetSingleToken()\r | |
492 | if not self.__IsHexLiteral():\r | |
493 | if InArray:\r | |
494 | raise BadExpression(ERR_ARRAY_ELE % self._Token)\r | |
495 | return self._Token\r | |
496 | \r | |
497 | self.__SkipWS()\r | |
498 | Expr = self._Expr[self._Idx:]\r | |
499 | if not Expr.startswith(','):\r | |
500 | return self._Token\r | |
501 | \r | |
502 | NList = self._LiteralToken\r | |
503 | while Expr.startswith(','):\r | |
504 | NList += ','\r | |
505 | self._Idx += 1\r | |
506 | self.__SkipWS()\r | |
507 | self._GetSingleToken()\r | |
508 | if not self.__IsHexLiteral():\r | |
509 | raise BadExpression(ERR_ARRAY_ELE % self._Token)\r | |
510 | NList += self._LiteralToken\r | |
511 | self.__SkipWS()\r | |
512 | Expr = self._Expr[self._Idx:]\r | |
513 | self._Token = self._LiteralToken = NList\r | |
514 | return self._Token\r | |
515 | \r | |
516 | def __IsHexLiteral(self):\r | |
517 | if self._LiteralToken.startswith('{') and \\r | |
518 | self._LiteralToken.endswith('}'):\r | |
519 | return True\r | |
520 | \r | |
521 | if self.HexPattern.match(self._LiteralToken):\r | |
522 | Token = self._LiteralToken[2:]\r | |
523 | Token = Token.lstrip('0')\r | |
524 | if not Token:\r | |
525 | self._LiteralToken = '0x0'\r | |
526 | else:\r | |
d0acc87a | 527 | self._LiteralToken = '0x' + Token.lower()\r |
0d2711a6 LG |
528 | return True\r |
529 | return False\r | |
530 | \r | |
531 | def _GetToken(self):\r | |
532 | return self.__GetNList()\r | |
533 | \r | |
534 | @staticmethod\r | |
535 | def __IsIdChar(Ch):\r | |
536 | return Ch in '._/:' or Ch.isalnum()\r | |
537 | \r | |
538 | # Parse operand\r | |
539 | def _GetSingleToken(self):\r | |
540 | self.__SkipWS()\r | |
541 | Expr = self._Expr[self._Idx:]\r | |
542 | if Expr.startswith('L"'):\r | |
543 | # Skip L\r | |
544 | self._Idx += 1\r | |
545 | UStr = self.__GetString()\r | |
546 | self._Token = 'L"' + UStr + '"'\r | |
547 | return self._Token\r | |
548 | \r | |
549 | self._Token = ''\r | |
550 | if Expr:\r | |
551 | Ch = Expr[0]\r | |
552 | Match = self.RegGuidPattern.match(Expr)\r | |
553 | if Match and not Expr[Match.end():Match.end()+1].isalnum() \\r | |
554 | and Expr[Match.end():Match.end()+1] != '_':\r | |
555 | self._Idx += Match.end()\r | |
4afd3d04 | 556 | self._Token = ValueExpression(GuidStringToGuidStructureString(Expr[0:Match.end()]))(True, self._Depth+1)\r |
0d2711a6 LG |
557 | return self._Token\r |
558 | elif self.__IsIdChar(Ch):\r | |
559 | return self.__GetIdToken()\r | |
560 | elif Ch == '"':\r | |
561 | return self.__GetString()\r | |
562 | elif Ch == '{':\r | |
563 | return self.__GetArray()\r | |
564 | elif Ch == '(' or Ch == ')':\r | |
565 | self._Idx += 1\r | |
566 | self._Token = Ch\r | |
567 | return self._Token\r | |
568 | \r | |
569 | raise BadExpression(ERR_VALID_TOKEN % Expr)\r | |
570 | \r | |
571 | # Parse operator\r | |
572 | def _GetOperator(self):\r | |
573 | self.__SkipWS()\r | |
574 | LegalOpLst = ['&&', '||', '!=', '==', '>=', '<='] + self.NonLetterOpLst\r | |
575 | \r | |
576 | self._Token = ''\r | |
577 | Expr = self._Expr[self._Idx:]\r | |
578 | \r | |
579 | # Reach end of expression\r | |
580 | if not Expr:\r | |
581 | return ''\r | |
582 | \r | |
583 | # Script operator: LT, GT, LE, GE, EQ, NE, and, or, xor, not\r | |
584 | if Expr[0].isalpha():\r | |
585 | return self.__GetIdToken(True)\r | |
586 | \r | |
587 | # Start to get regular operator: +, -, <, > ...\r | |
588 | if Expr[0] not in self.NonLetterOpLst:\r | |
589 | return ''\r | |
590 | \r | |
591 | OpToken = ''\r | |
592 | for Ch in Expr:\r | |
593 | if Ch in self.NonLetterOpLst:\r | |
d0acc87a | 594 | if '!' == Ch and OpToken:\r |
0d2711a6 LG |
595 | break\r |
596 | self._Idx += 1\r | |
597 | OpToken += Ch\r | |
598 | else:\r | |
599 | break\r | |
600 | \r | |
601 | if OpToken not in LegalOpLst:\r | |
602 | raise BadExpression(ERR_OPERATOR_UNSUPPORT % OpToken)\r | |
603 | self._Token = OpToken\r | |
604 | return OpToken\r | |
605 | \r | |
606 | # Check if current token matches the operators given from OpList\r | |
607 | def _IsOperator(self, OpList):\r | |
608 | Idx = self._Idx\r | |
609 | self._GetOperator()\r | |
610 | if self._Token in OpList:\r | |
611 | if self._Token in self.LogicalOperators:\r | |
612 | self._Token = self.LogicalOperators[self._Token]\r | |
613 | return True\r | |
614 | self._Idx = Idx\r | |
615 | return False\r | |
616 | \r | |
617 | if __name__ == '__main__':\r | |
618 | pass\r | |
d0acc87a LG |
619 | while True:\r |
620 | input = raw_input('Input expr: ')\r | |
621 | if input in 'qQ':\r | |
622 | break\r | |
623 | try:\r | |
624 | print ValueExpression(input)(True)\r | |
625 | print ValueExpression(input)(False)\r | |
626 | except WrnExpression, Ex:\r | |
627 | print Ex.result\r | |
628 | print str(Ex)\r | |
629 | except Exception, Ex:\r | |
630 | print str(Ex)\r |