]> git.proxmox.com Git - mirror_edk2.git/blob - BaseTools/Source/Python/Workspace/MetaFileParser.py
BaseTools: enhance error handling for DSC file
[mirror_edk2.git] / BaseTools / Source / Python / Workspace / MetaFileParser.py
1 ## @file
2 # This file is used to parse meta files
3 #
4 # Copyright (c) 2008 - 2016, Intel Corporation. All rights reserved.<BR>
5 # Copyright (c) 2015, Hewlett Packard Enterprise Development, L.P.<BR>
6 # This program and the accompanying materials
7 # are licensed and made available under the terms and conditions of the BSD License
8 # which accompanies this distribution. The full text of the license may be found at
9 # http://opensource.org/licenses/bsd-license.php
10 #
11 # THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
12 # WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
13 #
14
15 ##
16 # Import Modules
17 #
18 import Common.LongFilePathOs as os
19 import re
20 import time
21 import copy
22
23 import Common.EdkLogger as EdkLogger
24 import Common.GlobalData as GlobalData
25
26 from CommonDataClass.DataClass import *
27 from Common.DataType import *
28 from Common.String import *
29 from Common.Misc import GuidStructureStringToGuidString, CheckPcdDatum, PathClass, AnalyzePcdData, AnalyzeDscPcd
30 from Common.Expression import *
31 from CommonDataClass.Exceptions import *
32 from Common.LongFilePathSupport import OpenLongFilePath as open
33
34 from MetaFileTable import MetaFileStorage
35 from MetaFileCommentParser import CheckInfComment
36
37 ## A decorator used to parse macro definition
38 def ParseMacro(Parser):
39 def MacroParser(self):
40 Match = gMacroDefPattern.match(self._CurrentLine)
41 if not Match:
42 # Not 'DEFINE/EDK_GLOBAL' statement, call decorated method
43 Parser(self)
44 return
45
46 TokenList = GetSplitValueList(self._CurrentLine[Match.end(1):], TAB_EQUAL_SPLIT, 1)
47 # Syntax check
48 if not TokenList[0]:
49 EdkLogger.error('Parser', FORMAT_INVALID, "No macro name given",
50 ExtraData=self._CurrentLine, File=self.MetaFile, Line=self._LineIndex + 1)
51 if len(TokenList) < 2:
52 TokenList.append('')
53
54 Type = Match.group(1)
55 Name, Value = TokenList
56 # Global macros can be only defined via environment variable
57 if Name in GlobalData.gGlobalDefines:
58 EdkLogger.error('Parser', FORMAT_INVALID, "%s can only be defined via environment variable" % Name,
59 ExtraData=self._CurrentLine, File=self.MetaFile, Line=self._LineIndex + 1)
60 # Only upper case letters, digit and '_' are allowed
61 if not gMacroNamePattern.match(Name):
62 EdkLogger.error('Parser', FORMAT_INVALID, "The macro name must be in the pattern [A-Z][A-Z0-9_]*",
63 ExtraData=self._CurrentLine, File=self.MetaFile, Line=self._LineIndex + 1)
64
65 Value = ReplaceMacro(Value, self._Macros)
66 if Type in self.DataType:
67 self._ItemType = self.DataType[Type]
68 else:
69 self._ItemType = MODEL_META_DATA_DEFINE
70 # DEFINE defined macros
71 if Type == TAB_DSC_DEFINES_DEFINE:
72 #
73 # First judge whether this DEFINE is in conditional directive statements or not.
74 #
75 if type(self) == DscParser and self._InDirective > -1:
76 pass
77 else:
78 if type(self) == DecParser:
79 if MODEL_META_DATA_HEADER in self._SectionType:
80 self._FileLocalMacros[Name] = Value
81 else:
82 self._ConstructSectionMacroDict(Name, Value)
83 elif self._SectionType == MODEL_META_DATA_HEADER:
84 self._FileLocalMacros[Name] = Value
85 else:
86 self._ConstructSectionMacroDict(Name, Value)
87
88 # EDK_GLOBAL defined macros
89 elif type(self) != DscParser:
90 EdkLogger.error('Parser', FORMAT_INVALID, "EDK_GLOBAL can only be used in .dsc file",
91 ExtraData=self._CurrentLine, File=self.MetaFile, Line=self._LineIndex + 1)
92 elif self._SectionType != MODEL_META_DATA_HEADER:
93 EdkLogger.error('Parser', FORMAT_INVALID, "EDK_GLOBAL can only be used under [Defines] section",
94 ExtraData=self._CurrentLine, File=self.MetaFile, Line=self._LineIndex + 1)
95 elif (Name in self._FileLocalMacros) and (self._FileLocalMacros[Name] != Value):
96 EdkLogger.error('Parser', FORMAT_INVALID, "EDK_GLOBAL defined a macro with the same name and different value as one defined by 'DEFINE'",
97 ExtraData=self._CurrentLine, File=self.MetaFile, Line=self._LineIndex + 1)
98
99 self._ValueList = [Type, Name, Value]
100
101 return MacroParser
102
103 ## Base class of parser
104 #
105 # This class is used for derivation purpose. The specific parser for one kind
106 # type file must derive this class and implement some public interfaces.
107 #
108 # @param FilePath The path of platform description file
109 # @param FileType The raw data of DSC file
110 # @param Table Database used to retrieve module/package information
111 # @param Macros Macros used for replacement in file
112 # @param Owner Owner ID (for sub-section parsing)
113 # @param From ID from which the data comes (for !INCLUDE directive)
114 #
115 class MetaFileParser(object):
116 # data type (file content) for specific file type
117 DataType = {}
118
119 # Parser objects used to implement singleton
120 MetaFiles = {}
121
122 ## Factory method
123 #
124 # One file, one parser object. This factory method makes sure that there's
125 # only one object constructed for one meta file.
126 #
127 # @param Class class object of real AutoGen class
128 # (InfParser, DecParser or DscParser)
129 # @param FilePath The path of meta file
130 # @param *args The specific class related parameters
131 # @param **kwargs The specific class related dict parameters
132 #
133 def __new__(Class, FilePath, *args, **kwargs):
134 if FilePath in Class.MetaFiles:
135 return Class.MetaFiles[FilePath]
136 else:
137 ParserObject = super(MetaFileParser, Class).__new__(Class)
138 Class.MetaFiles[FilePath] = ParserObject
139 return ParserObject
140
141 ## Constructor of MetaFileParser
142 #
143 # Initialize object of MetaFileParser
144 #
145 # @param FilePath The path of platform description file
146 # @param FileType The raw data of DSC file
147 # @param Table Database used to retrieve module/package information
148 # @param Macros Macros used for replacement in file
149 # @param Owner Owner ID (for sub-section parsing)
150 # @param From ID from which the data comes (for !INCLUDE directive)
151 #
152 def __init__(self, FilePath, FileType, Table, Owner= -1, From= -1):
153 self._Table = Table
154 self._RawTable = Table
155 self._FileType = FileType
156 self.MetaFile = FilePath
157 self._FileDir = self.MetaFile.Dir
158 self._Defines = {}
159 self._FileLocalMacros = {}
160 self._SectionsMacroDict = {}
161
162 # for recursive parsing
163 self._Owner = [Owner]
164 self._From = From
165
166 # parsr status for parsing
167 self._ValueList = ['', '', '', '', '']
168 self._Scope = []
169 self._LineIndex = 0
170 self._CurrentLine = ''
171 self._SectionType = MODEL_UNKNOWN
172 self._SectionName = ''
173 self._InSubsection = False
174 self._SubsectionType = MODEL_UNKNOWN
175 self._SubsectionName = ''
176 self._ItemType = MODEL_UNKNOWN
177 self._LastItem = -1
178 self._Enabled = 0
179 self._Finished = False
180 self._PostProcessed = False
181 # Different version of meta-file has different way to parse.
182 self._Version = 0
183
184 ## Store the parsed data in table
185 def _Store(self, *Args):
186 return self._Table.Insert(*Args)
187
188 ## Virtual method for starting parse
189 def Start(self):
190 raise NotImplementedError
191
192 ## Notify a post-process is needed
193 def DoPostProcess(self):
194 self._PostProcessed = False
195
196 ## Set parsing complete flag in both class and table
197 def _Done(self):
198 self._Finished = True
199 ## Do not set end flag when processing included files
200 if self._From == -1:
201 self._Table.SetEndFlag()
202
203 def _PostProcess(self):
204 self._PostProcessed = True
205
206 ## Get the parse complete flag
207 def _GetFinished(self):
208 return self._Finished
209
210 ## Set the complete flag
211 def _SetFinished(self, Value):
212 self._Finished = Value
213
214 ## Use [] style to query data in table, just for readability
215 #
216 # DataInfo = [data_type, scope1(arch), scope2(platform/moduletype)]
217 #
218 def __getitem__(self, DataInfo):
219 if type(DataInfo) != type(()):
220 DataInfo = (DataInfo,)
221
222 # Parse the file first, if necessary
223 if not self._Finished:
224 if self._RawTable.IsIntegrity():
225 self._Finished = True
226 else:
227 self._Table = self._RawTable
228 self._PostProcessed = False
229 self.Start()
230
231 # No specific ARCH or Platform given, use raw data
232 if self._RawTable and (len(DataInfo) == 1 or DataInfo[1] == None):
233 return self._RawTable.Query(*DataInfo)
234
235 # Do post-process if necessary
236 if not self._PostProcessed:
237 self._PostProcess()
238
239 return self._Table.Query(*DataInfo)
240
241 ## Data parser for the common format in different type of file
242 #
243 # The common format in the meatfile is like
244 #
245 # xxx1 | xxx2 | xxx3
246 #
247 @ParseMacro
248 def _CommonParser(self):
249 TokenList = GetSplitValueList(self._CurrentLine, TAB_VALUE_SPLIT)
250 self._ValueList[0:len(TokenList)] = TokenList
251
252 ## Data parser for the format in which there's path
253 #
254 # Only path can have macro used. So we need to replace them before use.
255 #
256 @ParseMacro
257 def _PathParser(self):
258 TokenList = GetSplitValueList(self._CurrentLine, TAB_VALUE_SPLIT)
259 self._ValueList[0:len(TokenList)] = TokenList
260 # Don't do macro replacement for dsc file at this point
261 if type(self) != DscParser:
262 Macros = self._Macros
263 self._ValueList = [ReplaceMacro(Value, Macros) for Value in self._ValueList]
264
265 ## Skip unsupported data
266 def _Skip(self):
267 EdkLogger.warn("Parser", "Unrecognized content", File=self.MetaFile,
268 Line=self._LineIndex + 1, ExtraData=self._CurrentLine);
269 self._ValueList[0:1] = [self._CurrentLine]
270
271 ## Skip unsupported data for UserExtension Section
272 def _SkipUserExtension(self):
273 self._ValueList[0:1] = [self._CurrentLine]
274
275 ## Section header parser
276 #
277 # The section header is always in following format:
278 #
279 # [section_name.arch<.platform|module_type>]
280 #
281 def _SectionHeaderParser(self):
282 self._Scope = []
283 self._SectionName = ''
284 ArchList = set()
285 for Item in GetSplitValueList(self._CurrentLine[1:-1], TAB_COMMA_SPLIT):
286 if Item == '':
287 continue
288 ItemList = GetSplitValueList(Item, TAB_SPLIT,2)
289 # different section should not mix in one section
290 if self._SectionName != '' and self._SectionName != ItemList[0].upper():
291 EdkLogger.error('Parser', FORMAT_INVALID, "Different section names in the same section",
292 File=self.MetaFile, Line=self._LineIndex + 1, ExtraData=self._CurrentLine)
293 self._SectionName = ItemList[0].upper()
294 if self._SectionName in self.DataType:
295 self._SectionType = self.DataType[self._SectionName]
296 # Check if the section name is valid
297 if self._SectionName not in SECTIONS_HAVE_ITEM_AFTER_ARCH and len(ItemList) > 3:
298 EdkLogger.error("Parser", FORMAT_UNKNOWN_ERROR, "%s is not a valid section name" % Item,
299 self.MetaFile, self._LineIndex + 1, self._CurrentLine)
300 elif self._Version >= 0x00010005:
301 EdkLogger.error("Parser", FORMAT_UNKNOWN_ERROR, "%s is not a valid section name" % Item,
302 self.MetaFile, self._LineIndex + 1, self._CurrentLine)
303 else:
304 self._SectionType = MODEL_UNKNOWN
305
306 # S1 is always Arch
307 if len(ItemList) > 1:
308 S1 = ItemList[1].upper()
309 else:
310 S1 = 'COMMON'
311 ArchList.add(S1)
312
313 # S2 may be Platform or ModuleType
314 if len(ItemList) > 2:
315 if self._SectionName.upper() in SECTIONS_HAVE_ITEM_PCD:
316 S2 = ItemList[2]
317 else:
318 S2 = ItemList[2].upper()
319 else:
320 S2 = 'COMMON'
321 self._Scope.append([S1, S2])
322
323 # 'COMMON' must not be used with specific ARCHs at the same section
324 if 'COMMON' in ArchList and len(ArchList) > 1:
325 EdkLogger.error('Parser', FORMAT_INVALID, "'common' ARCH must not be used with specific ARCHs",
326 File=self.MetaFile, Line=self._LineIndex + 1, ExtraData=self._CurrentLine)
327 # If the section information is needed later, it should be stored in database
328 self._ValueList[0] = self._SectionName
329
330 ## [defines] section parser
331 @ParseMacro
332 def _DefineParser(self):
333 TokenList = GetSplitValueList(self._CurrentLine, TAB_EQUAL_SPLIT, 1)
334 self._ValueList[1:len(TokenList)] = TokenList
335 if not self._ValueList[1]:
336 EdkLogger.error('Parser', FORMAT_INVALID, "No name specified",
337 ExtraData=self._CurrentLine, File=self.MetaFile, Line=self._LineIndex + 1)
338 if not self._ValueList[2]:
339 EdkLogger.error('Parser', FORMAT_INVALID, "No value specified",
340 ExtraData=self._CurrentLine, File=self.MetaFile, Line=self._LineIndex + 1)
341
342 self._ValueList = [ReplaceMacro(Value, self._Macros) for Value in self._ValueList]
343 Name, Value = self._ValueList[1], self._ValueList[2]
344 # Sometimes, we need to make differences between EDK and EDK2 modules
345 if Name == 'INF_VERSION':
346 if re.match(r'0[xX][\da-f-A-F]{5,8}', Value):
347 self._Version = int(Value, 0)
348 elif re.match(r'\d+\.\d+', Value):
349 ValueList = Value.split('.')
350 Major = '%04o' % int(ValueList[0], 0)
351 Minor = '%04o' % int(ValueList[1], 0)
352 self._Version = int('0x' + Major + Minor, 0)
353 else:
354 EdkLogger.error('Parser', FORMAT_INVALID, "Invalid version number",
355 ExtraData=self._CurrentLine, File=self.MetaFile, Line=self._LineIndex + 1)
356
357 if type(self) == InfParser and self._Version < 0x00010005:
358 # EDK module allows using defines as macros
359 self._FileLocalMacros[Name] = Value
360 self._Defines[Name] = Value
361
362 ## [BuildOptions] section parser
363 @ParseMacro
364 def _BuildOptionParser(self):
365 self._CurrentLine = CleanString(self._CurrentLine, BuildOption=True)
366 TokenList = GetSplitValueList(self._CurrentLine, TAB_EQUAL_SPLIT, 1)
367 TokenList2 = GetSplitValueList(TokenList[0], ':', 1)
368 if len(TokenList2) == 2:
369 self._ValueList[0] = TokenList2[0] # toolchain family
370 self._ValueList[1] = TokenList2[1] # keys
371 else:
372 self._ValueList[1] = TokenList[0]
373 if len(TokenList) == 2 and type(self) != DscParser: # value
374 self._ValueList[2] = ReplaceMacro(TokenList[1], self._Macros)
375
376 if self._ValueList[1].count('_') != 4:
377 EdkLogger.error(
378 'Parser',
379 FORMAT_INVALID,
380 "'%s' must be in format of <TARGET>_<TOOLCHAIN>_<ARCH>_<TOOL>_FLAGS" % self._ValueList[1],
381 ExtraData=self._CurrentLine,
382 File=self.MetaFile,
383 Line=self._LineIndex + 1
384 )
385 def GetValidExpression(self, TokenSpaceGuid, PcdCName):
386 return self._Table.GetValidExpression(TokenSpaceGuid, PcdCName)
387 def _GetMacros(self):
388 Macros = {}
389 Macros.update(self._FileLocalMacros)
390 Macros.update(self._GetApplicableSectionMacro())
391 return Macros
392
393 ## Construct section Macro dict
394 def _ConstructSectionMacroDict(self, Name, Value):
395 ScopeKey = [(Scope[0], Scope[1]) for Scope in self._Scope]
396 ScopeKey = tuple(ScopeKey)
397 SectionDictKey = self._SectionType, ScopeKey
398 #
399 # DecParser SectionType is a list, will contain more than one item only in Pcd Section
400 # As Pcd section macro usage is not alllowed, so here it is safe
401 #
402 if type(self) == DecParser:
403 SectionDictKey = self._SectionType[0], ScopeKey
404 if SectionDictKey not in self._SectionsMacroDict:
405 self._SectionsMacroDict[SectionDictKey] = {}
406 SectionLocalMacros = self._SectionsMacroDict[SectionDictKey]
407 SectionLocalMacros[Name] = Value
408
409 ## Get section Macros that are applicable to current line, which may come from other sections
410 ## that share the same name while scope is wider
411 def _GetApplicableSectionMacro(self):
412 Macros = {}
413
414 ComComMacroDict = {}
415 ComSpeMacroDict = {}
416 SpeSpeMacroDict = {}
417
418 ActiveSectionType = self._SectionType
419 if type(self) == DecParser:
420 ActiveSectionType = self._SectionType[0]
421
422 for (SectionType, Scope) in self._SectionsMacroDict:
423 if SectionType != ActiveSectionType:
424 continue
425
426 for ActiveScope in self._Scope:
427 Scope0, Scope1 = ActiveScope[0], ActiveScope[1]
428 if(Scope0, Scope1) not in Scope:
429 break
430 else:
431 SpeSpeMacroDict.update(self._SectionsMacroDict[(SectionType, Scope)])
432
433 for ActiveScope in self._Scope:
434 Scope0, Scope1 = ActiveScope[0], ActiveScope[1]
435 if(Scope0, Scope1) not in Scope and (Scope0, "COMMON") not in Scope and ("COMMON", Scope1) not in Scope:
436 break
437 else:
438 ComSpeMacroDict.update(self._SectionsMacroDict[(SectionType, Scope)])
439
440 if ("COMMON", "COMMON") in Scope:
441 ComComMacroDict.update(self._SectionsMacroDict[(SectionType, Scope)])
442
443 Macros.update(ComComMacroDict)
444 Macros.update(ComSpeMacroDict)
445 Macros.update(SpeSpeMacroDict)
446
447 return Macros
448
449 _SectionParser = {}
450 Finished = property(_GetFinished, _SetFinished)
451 _Macros = property(_GetMacros)
452
453
454 ## INF file parser class
455 #
456 # @param FilePath The path of platform description file
457 # @param FileType The raw data of DSC file
458 # @param Table Database used to retrieve module/package information
459 # @param Macros Macros used for replacement in file
460 #
461 class InfParser(MetaFileParser):
462 # INF file supported data types (one type per section)
463 DataType = {
464 TAB_UNKNOWN.upper() : MODEL_UNKNOWN,
465 TAB_INF_DEFINES.upper() : MODEL_META_DATA_HEADER,
466 TAB_DSC_DEFINES_DEFINE : MODEL_META_DATA_DEFINE,
467 TAB_BUILD_OPTIONS.upper() : MODEL_META_DATA_BUILD_OPTION,
468 TAB_INCLUDES.upper() : MODEL_EFI_INCLUDE,
469 TAB_LIBRARIES.upper() : MODEL_EFI_LIBRARY_INSTANCE,
470 TAB_LIBRARY_CLASSES.upper() : MODEL_EFI_LIBRARY_CLASS,
471 TAB_PACKAGES.upper() : MODEL_META_DATA_PACKAGE,
472 TAB_NMAKE.upper() : MODEL_META_DATA_NMAKE,
473 TAB_INF_FIXED_PCD.upper() : MODEL_PCD_FIXED_AT_BUILD,
474 TAB_INF_PATCH_PCD.upper() : MODEL_PCD_PATCHABLE_IN_MODULE,
475 TAB_INF_FEATURE_PCD.upper() : MODEL_PCD_FEATURE_FLAG,
476 TAB_INF_PCD_EX.upper() : MODEL_PCD_DYNAMIC_EX,
477 TAB_INF_PCD.upper() : MODEL_PCD_DYNAMIC,
478 TAB_SOURCES.upper() : MODEL_EFI_SOURCE_FILE,
479 TAB_GUIDS.upper() : MODEL_EFI_GUID,
480 TAB_PROTOCOLS.upper() : MODEL_EFI_PROTOCOL,
481 TAB_PPIS.upper() : MODEL_EFI_PPI,
482 TAB_DEPEX.upper() : MODEL_EFI_DEPEX,
483 TAB_BINARIES.upper() : MODEL_EFI_BINARY_FILE,
484 TAB_USER_EXTENSIONS.upper() : MODEL_META_DATA_USER_EXTENSION
485 }
486
487 ## Constructor of InfParser
488 #
489 # Initialize object of InfParser
490 #
491 # @param FilePath The path of module description file
492 # @param FileType The raw data of DSC file
493 # @param Table Database used to retrieve module/package information
494 # @param Macros Macros used for replacement in file
495 #
496 def __init__(self, FilePath, FileType, Table):
497 # prevent re-initialization
498 if hasattr(self, "_Table"):
499 return
500 MetaFileParser.__init__(self, FilePath, FileType, Table)
501 self.PcdsDict = {}
502
503 ## Parser starter
504 def Start(self):
505 NmakeLine = ''
506 Content = ''
507 try:
508 Content = open(str(self.MetaFile), 'r').readlines()
509 except:
510 EdkLogger.error("Parser", FILE_READ_FAILURE, ExtraData=self.MetaFile)
511
512 # parse the file line by line
513 IsFindBlockComment = False
514 GetHeaderComment = False
515 TailComments = []
516 SectionComments = []
517 Comments = []
518
519 for Index in range(0, len(Content)):
520 # skip empty, commented, block commented lines
521 Line, Comment = CleanString2(Content[Index], AllowCppStyleComment=True)
522 NextLine = ''
523 if Index + 1 < len(Content):
524 NextLine, NextComment = CleanString2(Content[Index + 1])
525 if Line == '':
526 if Comment:
527 Comments.append((Comment, Index + 1))
528 elif GetHeaderComment:
529 SectionComments.extend(Comments)
530 Comments = []
531 continue
532 if Line.find(DataType.TAB_COMMENT_EDK_START) > -1:
533 IsFindBlockComment = True
534 continue
535 if Line.find(DataType.TAB_COMMENT_EDK_END) > -1:
536 IsFindBlockComment = False
537 continue
538 if IsFindBlockComment:
539 continue
540
541 self._LineIndex = Index
542 self._CurrentLine = Line
543
544 # section header
545 if Line[0] == TAB_SECTION_START and Line[-1] == TAB_SECTION_END:
546 if not GetHeaderComment:
547 for Cmt, LNo in Comments:
548 self._Store(MODEL_META_DATA_HEADER_COMMENT, Cmt, '', '', 'COMMON',
549 'COMMON', self._Owner[-1], LNo, -1, LNo, -1, 0)
550 GetHeaderComment = True
551 else:
552 TailComments.extend(SectionComments + Comments)
553 Comments = []
554 self._SectionHeaderParser()
555 # Check invalid sections
556 if self._Version < 0x00010005:
557 if self._SectionType in [MODEL_META_DATA_BUILD_OPTION,
558 MODEL_EFI_LIBRARY_CLASS,
559 MODEL_META_DATA_PACKAGE,
560 MODEL_PCD_FIXED_AT_BUILD,
561 MODEL_PCD_PATCHABLE_IN_MODULE,
562 MODEL_PCD_FEATURE_FLAG,
563 MODEL_PCD_DYNAMIC_EX,
564 MODEL_PCD_DYNAMIC,
565 MODEL_EFI_GUID,
566 MODEL_EFI_PROTOCOL,
567 MODEL_EFI_PPI,
568 MODEL_META_DATA_USER_EXTENSION]:
569 EdkLogger.error('Parser', FORMAT_INVALID,
570 "Section [%s] is not allowed in inf file without version" % (self._SectionName),
571 ExtraData=self._CurrentLine, File=self.MetaFile, Line=self._LineIndex + 1)
572 elif self._SectionType in [MODEL_EFI_INCLUDE,
573 MODEL_EFI_LIBRARY_INSTANCE,
574 MODEL_META_DATA_NMAKE]:
575 EdkLogger.error('Parser', FORMAT_INVALID,
576 "Section [%s] is not allowed in inf file with version 0x%08x" % (self._SectionName, self._Version),
577 ExtraData=self._CurrentLine, File=self.MetaFile, Line=self._LineIndex + 1)
578 continue
579 # merge two lines specified by '\' in section NMAKE
580 elif self._SectionType == MODEL_META_DATA_NMAKE:
581 if Line[-1] == '\\':
582 if NextLine == '':
583 self._CurrentLine = NmakeLine + Line[0:-1]
584 NmakeLine = ''
585 else:
586 if NextLine[0] == TAB_SECTION_START and NextLine[-1] == TAB_SECTION_END:
587 self._CurrentLine = NmakeLine + Line[0:-1]
588 NmakeLine = ''
589 else:
590 NmakeLine = NmakeLine + ' ' + Line[0:-1]
591 continue
592 else:
593 self._CurrentLine = NmakeLine + Line
594 NmakeLine = ''
595
596 # section content
597 self._ValueList = ['', '', '']
598 # parse current line, result will be put in self._ValueList
599 self._SectionParser[self._SectionType](self)
600 if self._ValueList == None or self._ItemType == MODEL_META_DATA_DEFINE:
601 self._ItemType = -1
602 Comments = []
603 continue
604 if Comment:
605 Comments.append((Comment, Index + 1))
606 if GlobalData.gOptions and GlobalData.gOptions.CheckUsage:
607 CheckInfComment(self._SectionType, Comments, str(self.MetaFile), Index + 1, self._ValueList)
608 #
609 # Model, Value1, Value2, Value3, Arch, Platform, BelongsToItem=-1,
610 # LineBegin=-1, ColumnBegin=-1, LineEnd=-1, ColumnEnd=-1, Enabled=-1
611 #
612 for Arch, Platform in self._Scope:
613 LastItem = self._Store(self._SectionType,
614 self._ValueList[0],
615 self._ValueList[1],
616 self._ValueList[2],
617 Arch,
618 Platform,
619 self._Owner[-1],
620 self._LineIndex + 1,
621 - 1,
622 self._LineIndex + 1,
623 - 1,
624 0
625 )
626 for Comment, LineNo in Comments:
627 self._Store(MODEL_META_DATA_COMMENT, Comment, '', '', Arch, Platform,
628 LastItem, LineNo, -1, LineNo, -1, 0)
629 Comments = []
630 SectionComments = []
631 TailComments.extend(SectionComments + Comments)
632 if IsFindBlockComment:
633 EdkLogger.error("Parser", FORMAT_INVALID, "Open block comments (starting with /*) are expected to end with */",
634 File=self.MetaFile)
635
636 # If there are tail comments in INF file, save to database whatever the comments are
637 for Comment in TailComments:
638 self._Store(MODEL_META_DATA_TAIL_COMMENT, Comment[0], '', '', 'COMMON',
639 'COMMON', self._Owner[-1], -1, -1, -1, -1, 0)
640 self._Done()
641
642 ## Data parser for the format in which there's path
643 #
644 # Only path can have macro used. So we need to replace them before use.
645 #
646 def _IncludeParser(self):
647 TokenList = GetSplitValueList(self._CurrentLine, TAB_VALUE_SPLIT)
648 self._ValueList[0:len(TokenList)] = TokenList
649 Macros = self._Macros
650 if Macros:
651 for Index in range(0, len(self._ValueList)):
652 Value = self._ValueList[Index]
653 if not Value:
654 continue
655
656 if Value.upper().find('$(EFI_SOURCE)\Edk'.upper()) > -1 or Value.upper().find('$(EFI_SOURCE)/Edk'.upper()) > -1:
657 Value = '$(EDK_SOURCE)' + Value[17:]
658 if Value.find('$(EFI_SOURCE)') > -1 or Value.find('$(EDK_SOURCE)') > -1:
659 pass
660 elif Value.startswith('.'):
661 pass
662 elif Value.startswith('$('):
663 pass
664 else:
665 Value = '$(EFI_SOURCE)/' + Value
666
667 self._ValueList[Index] = ReplaceMacro(Value, Macros)
668
669 ## Parse [Sources] section
670 #
671 # Only path can have macro used. So we need to replace them before use.
672 #
673 @ParseMacro
674 def _SourceFileParser(self):
675 TokenList = GetSplitValueList(self._CurrentLine, TAB_VALUE_SPLIT)
676 self._ValueList[0:len(TokenList)] = TokenList
677 Macros = self._Macros
678 # For Acpi tables, remove macro like ' TABLE_NAME=Sata1'
679 if 'COMPONENT_TYPE' in Macros:
680 if self._Defines['COMPONENT_TYPE'].upper() == 'ACPITABLE':
681 self._ValueList[0] = GetSplitValueList(self._ValueList[0], ' ', 1)[0]
682 if self._Defines['BASE_NAME'] == 'Microcode':
683 pass
684 self._ValueList = [ReplaceMacro(Value, Macros) for Value in self._ValueList]
685
686 ## Parse [Binaries] section
687 #
688 # Only path can have macro used. So we need to replace them before use.
689 #
690 @ParseMacro
691 def _BinaryFileParser(self):
692 TokenList = GetSplitValueList(self._CurrentLine, TAB_VALUE_SPLIT, 2)
693 if len(TokenList) < 2:
694 EdkLogger.error('Parser', FORMAT_INVALID, "No file type or path specified",
695 ExtraData=self._CurrentLine + " (<FileType> | <FilePath> [| <Target>])",
696 File=self.MetaFile, Line=self._LineIndex + 1)
697 if not TokenList[0]:
698 EdkLogger.error('Parser', FORMAT_INVALID, "No file type specified",
699 ExtraData=self._CurrentLine + " (<FileType> | <FilePath> [| <Target>])",
700 File=self.MetaFile, Line=self._LineIndex + 1)
701 if not TokenList[1]:
702 EdkLogger.error('Parser', FORMAT_INVALID, "No file path specified",
703 ExtraData=self._CurrentLine + " (<FileType> | <FilePath> [| <Target>])",
704 File=self.MetaFile, Line=self._LineIndex + 1)
705 self._ValueList[0:len(TokenList)] = TokenList
706 self._ValueList[1] = ReplaceMacro(self._ValueList[1], self._Macros)
707
708 ## [nmake] section parser (Edk.x style only)
709 def _NmakeParser(self):
710 TokenList = GetSplitValueList(self._CurrentLine, TAB_EQUAL_SPLIT, 1)
711 self._ValueList[0:len(TokenList)] = TokenList
712 # remove macros
713 self._ValueList[1] = ReplaceMacro(self._ValueList[1], self._Macros)
714 # remove self-reference in macro setting
715 #self._ValueList[1] = ReplaceMacro(self._ValueList[1], {self._ValueList[0]:''})
716
717 ## [FixedPcd], [FeaturePcd], [PatchPcd], [Pcd] and [PcdEx] sections parser
718 @ParseMacro
719 def _PcdParser(self):
720 TokenList = GetSplitValueList(self._CurrentLine, TAB_VALUE_SPLIT, 1)
721 ValueList = GetSplitValueList(TokenList[0], TAB_SPLIT)
722 if len(ValueList) != 2:
723 EdkLogger.error('Parser', FORMAT_INVALID, "Illegal token space GUID and PCD name format",
724 ExtraData=self._CurrentLine + " (<TokenSpaceGuidCName>.<PcdCName>)",
725 File=self.MetaFile, Line=self._LineIndex + 1)
726 self._ValueList[0:1] = ValueList
727 if len(TokenList) > 1:
728 self._ValueList[2] = TokenList[1]
729 if self._ValueList[0] == '' or self._ValueList[1] == '':
730 EdkLogger.error('Parser', FORMAT_INVALID, "No token space GUID or PCD name specified",
731 ExtraData=self._CurrentLine + " (<TokenSpaceGuidCName>.<PcdCName>)",
732 File=self.MetaFile, Line=self._LineIndex + 1)
733
734 # if value are 'True', 'true', 'TRUE' or 'False', 'false', 'FALSE', replace with integer 1 or 0.
735 if self._ValueList[2] != '':
736 InfPcdValueList = GetSplitValueList(TokenList[1], TAB_VALUE_SPLIT, 1)
737 if InfPcdValueList[0] in ['True', 'true', 'TRUE']:
738 self._ValueList[2] = TokenList[1].replace(InfPcdValueList[0], '1', 1);
739 elif InfPcdValueList[0] in ['False', 'false', 'FALSE']:
740 self._ValueList[2] = TokenList[1].replace(InfPcdValueList[0], '0', 1);
741 if (self._ValueList[0], self._ValueList[1]) not in self.PcdsDict:
742 self.PcdsDict[self._ValueList[0], self._ValueList[1]] = self._SectionType
743 elif self.PcdsDict[self._ValueList[0], self._ValueList[1]] != self._SectionType:
744 EdkLogger.error('Parser', FORMAT_INVALID, "It is not permissible to list a specified PCD in different PCD type sections.",
745 ExtraData=self._CurrentLine + " (<TokenSpaceGuidCName>.<PcdCName>)",
746 File=self.MetaFile, Line=self._LineIndex + 1)
747
748 ## [depex] section parser
749 @ParseMacro
750 def _DepexParser(self):
751 self._ValueList[0:1] = [self._CurrentLine]
752
753 _SectionParser = {
754 MODEL_UNKNOWN : MetaFileParser._Skip,
755 MODEL_META_DATA_HEADER : MetaFileParser._DefineParser,
756 MODEL_META_DATA_BUILD_OPTION : MetaFileParser._BuildOptionParser,
757 MODEL_EFI_INCLUDE : _IncludeParser, # for Edk.x modules
758 MODEL_EFI_LIBRARY_INSTANCE : MetaFileParser._CommonParser, # for Edk.x modules
759 MODEL_EFI_LIBRARY_CLASS : MetaFileParser._PathParser,
760 MODEL_META_DATA_PACKAGE : MetaFileParser._PathParser,
761 MODEL_META_DATA_NMAKE : _NmakeParser, # for Edk.x modules
762 MODEL_PCD_FIXED_AT_BUILD : _PcdParser,
763 MODEL_PCD_PATCHABLE_IN_MODULE : _PcdParser,
764 MODEL_PCD_FEATURE_FLAG : _PcdParser,
765 MODEL_PCD_DYNAMIC_EX : _PcdParser,
766 MODEL_PCD_DYNAMIC : _PcdParser,
767 MODEL_EFI_SOURCE_FILE : _SourceFileParser,
768 MODEL_EFI_GUID : MetaFileParser._CommonParser,
769 MODEL_EFI_PROTOCOL : MetaFileParser._CommonParser,
770 MODEL_EFI_PPI : MetaFileParser._CommonParser,
771 MODEL_EFI_DEPEX : _DepexParser,
772 MODEL_EFI_BINARY_FILE : _BinaryFileParser,
773 MODEL_META_DATA_USER_EXTENSION : MetaFileParser._SkipUserExtension,
774 }
775
776 ## DSC file parser class
777 #
778 # @param FilePath The path of platform description file
779 # @param FileType The raw data of DSC file
780 # @param Table Database used to retrieve module/package information
781 # @param Macros Macros used for replacement in file
782 # @param Owner Owner ID (for sub-section parsing)
783 # @param From ID from which the data comes (for !INCLUDE directive)
784 #
785 class DscParser(MetaFileParser):
786 # DSC file supported data types (one type per section)
787 DataType = {
788 TAB_SKUIDS.upper() : MODEL_EFI_SKU_ID,
789 TAB_LIBRARIES.upper() : MODEL_EFI_LIBRARY_INSTANCE,
790 TAB_LIBRARY_CLASSES.upper() : MODEL_EFI_LIBRARY_CLASS,
791 TAB_BUILD_OPTIONS.upper() : MODEL_META_DATA_BUILD_OPTION,
792 TAB_PCDS_FIXED_AT_BUILD_NULL.upper() : MODEL_PCD_FIXED_AT_BUILD,
793 TAB_PCDS_PATCHABLE_IN_MODULE_NULL.upper() : MODEL_PCD_PATCHABLE_IN_MODULE,
794 TAB_PCDS_FEATURE_FLAG_NULL.upper() : MODEL_PCD_FEATURE_FLAG,
795 TAB_PCDS_DYNAMIC_DEFAULT_NULL.upper() : MODEL_PCD_DYNAMIC_DEFAULT,
796 TAB_PCDS_DYNAMIC_HII_NULL.upper() : MODEL_PCD_DYNAMIC_HII,
797 TAB_PCDS_DYNAMIC_VPD_NULL.upper() : MODEL_PCD_DYNAMIC_VPD,
798 TAB_PCDS_DYNAMIC_EX_DEFAULT_NULL.upper() : MODEL_PCD_DYNAMIC_EX_DEFAULT,
799 TAB_PCDS_DYNAMIC_EX_HII_NULL.upper() : MODEL_PCD_DYNAMIC_EX_HII,
800 TAB_PCDS_DYNAMIC_EX_VPD_NULL.upper() : MODEL_PCD_DYNAMIC_EX_VPD,
801 TAB_COMPONENTS.upper() : MODEL_META_DATA_COMPONENT,
802 TAB_COMPONENTS_SOURCE_OVERRIDE_PATH.upper() : MODEL_META_DATA_COMPONENT_SOURCE_OVERRIDE_PATH,
803 TAB_DSC_DEFINES.upper() : MODEL_META_DATA_HEADER,
804 TAB_DSC_DEFINES_DEFINE : MODEL_META_DATA_DEFINE,
805 TAB_DSC_DEFINES_EDKGLOBAL : MODEL_META_DATA_GLOBAL_DEFINE,
806 TAB_INCLUDE.upper() : MODEL_META_DATA_INCLUDE,
807 TAB_IF.upper() : MODEL_META_DATA_CONDITIONAL_STATEMENT_IF,
808 TAB_IF_DEF.upper() : MODEL_META_DATA_CONDITIONAL_STATEMENT_IFDEF,
809 TAB_IF_N_DEF.upper() : MODEL_META_DATA_CONDITIONAL_STATEMENT_IFNDEF,
810 TAB_ELSE_IF.upper() : MODEL_META_DATA_CONDITIONAL_STATEMENT_ELSEIF,
811 TAB_ELSE.upper() : MODEL_META_DATA_CONDITIONAL_STATEMENT_ELSE,
812 TAB_END_IF.upper() : MODEL_META_DATA_CONDITIONAL_STATEMENT_ENDIF,
813 TAB_USER_EXTENSIONS.upper() : MODEL_META_DATA_USER_EXTENSION,
814 }
815
816 # Valid names in define section
817 DefineKeywords = [
818 "DSC_SPECIFICATION",
819 "PLATFORM_NAME",
820 "PLATFORM_GUID",
821 "PLATFORM_VERSION",
822 "SKUID_IDENTIFIER",
823 "PCD_INFO_GENERATION",
824 "PCD_VAR_CHECK_GENERATION",
825 "SUPPORTED_ARCHITECTURES",
826 "BUILD_TARGETS",
827 "OUTPUT_DIRECTORY",
828 "FLASH_DEFINITION",
829 "BUILD_NUMBER",
830 "RFC_LANGUAGES",
831 "ISO_LANGUAGES",
832 "TIME_STAMP_FILE",
833 "VPD_TOOL_GUID",
834 "FIX_LOAD_TOP_MEMORY_ADDRESS",
835 "PREBUILD",
836 "POSTBUILD"
837 ]
838
839 SubSectionDefineKeywords = [
840 "FILE_GUID"
841 ]
842
843 SymbolPattern = ValueExpression.SymbolPattern
844
845 ## Constructor of DscParser
846 #
847 # Initialize object of DscParser
848 #
849 # @param FilePath The path of platform description file
850 # @param FileType The raw data of DSC file
851 # @param Table Database used to retrieve module/package information
852 # @param Macros Macros used for replacement in file
853 # @param Owner Owner ID (for sub-section parsing)
854 # @param From ID from which the data comes (for !INCLUDE directive)
855 #
856 def __init__(self, FilePath, FileType, Table, Owner= -1, From= -1):
857 # prevent re-initialization
858 if hasattr(self, "_Table"):
859 return
860 MetaFileParser.__init__(self, FilePath, FileType, Table, Owner, From)
861 self._Version = 0x00010005 # Only EDK2 dsc file is supported
862 # to store conditional directive evaluation result
863 self._DirectiveStack = []
864 self._DirectiveEvalStack = []
865 self._Enabled = 1
866
867 #
868 # Specify whether current line is in uncertain condition
869 #
870 self._InDirective = -1
871
872 # Final valid replacable symbols
873 self._Symbols = {}
874 #
875 # Map the ID between the original table and new table to track
876 # the owner item
877 #
878 self._IdMapping = {-1:-1}
879
880 ## Parser starter
881 def Start(self):
882 Content = ''
883 try:
884 Content = open(str(self.MetaFile), 'r').readlines()
885 except:
886 EdkLogger.error("Parser", FILE_READ_FAILURE, ExtraData=self.MetaFile)
887
888 OwnerId = {}
889 for Index in range(0, len(Content)):
890 Line = CleanString(Content[Index])
891 # skip empty line
892 if Line == '':
893 continue
894
895 self._CurrentLine = Line
896 self._LineIndex = Index
897 if self._InSubsection and self._Owner[-1] == -1:
898 self._Owner.append(self._LastItem)
899
900 # section header
901 if Line[0] == TAB_SECTION_START and Line[-1] == TAB_SECTION_END:
902 self._SectionType = MODEL_META_DATA_SECTION_HEADER
903 # subsection ending
904 elif Line[0] == '}' and self._InSubsection:
905 self._InSubsection = False
906 self._SubsectionType = MODEL_UNKNOWN
907 self._SubsectionName = ''
908 self._Owner[-1] = -1
909 OwnerId = {}
910 continue
911 # subsection header
912 elif Line[0] == TAB_OPTION_START and Line[-1] == TAB_OPTION_END:
913 self._SubsectionType = MODEL_META_DATA_SUBSECTION_HEADER
914 # directive line
915 elif Line[0] == '!':
916 self._DirectiveParser()
917 continue
918 if Line[0] == TAB_OPTION_START and not self._InSubsection:
919 EdkLogger.error("Parser", FILE_READ_FAILURE, "Missing the '{' before %s in Line %s" % (Line, Index+1),ExtraData=self.MetaFile)
920
921 if self._InSubsection:
922 SectionType = self._SubsectionType
923 else:
924 SectionType = self._SectionType
925 self._ItemType = SectionType
926
927 self._ValueList = ['', '', '']
928 self._SectionParser[SectionType](self)
929 if self._ValueList == None:
930 continue
931 #
932 # Model, Value1, Value2, Value3, Arch, ModuleType, BelongsToItem=-1, BelongsToFile=-1,
933 # LineBegin=-1, ColumnBegin=-1, LineEnd=-1, ColumnEnd=-1, Enabled=-1
934 #
935 for Arch, ModuleType in self._Scope:
936 Owner = self._Owner[-1]
937 if self._SubsectionType != MODEL_UNKNOWN:
938 Owner = OwnerId[Arch]
939 self._LastItem = self._Store(
940 self._ItemType,
941 self._ValueList[0],
942 self._ValueList[1],
943 self._ValueList[2],
944 Arch,
945 ModuleType,
946 Owner,
947 self._From,
948 self._LineIndex + 1,
949 - 1,
950 self._LineIndex + 1,
951 - 1,
952 self._Enabled
953 )
954 if self._SubsectionType == MODEL_UNKNOWN and self._InSubsection:
955 OwnerId[Arch] = self._LastItem
956
957 if self._DirectiveStack:
958 Type, Line, Text = self._DirectiveStack[-1]
959 EdkLogger.error('Parser', FORMAT_INVALID, "No matching '!endif' found",
960 ExtraData=Text, File=self.MetaFile, Line=Line)
961 self._Done()
962
963 ## <subsection_header> parser
964 def _SubsectionHeaderParser(self):
965 self._SubsectionName = self._CurrentLine[1:-1].upper()
966 if self._SubsectionName in self.DataType:
967 self._SubsectionType = self.DataType[self._SubsectionName]
968 else:
969 self._SubsectionType = MODEL_UNKNOWN
970 EdkLogger.warn("Parser", "Unrecognized sub-section", File=self.MetaFile,
971 Line=self._LineIndex + 1, ExtraData=self._CurrentLine)
972 self._ValueList[0] = self._SubsectionName
973
974 ## Directive statement parser
975 def _DirectiveParser(self):
976 self._ValueList = ['', '', '']
977 TokenList = GetSplitValueList(self._CurrentLine, ' ', 1)
978 self._ValueList[0:len(TokenList)] = TokenList
979
980 # Syntax check
981 DirectiveName = self._ValueList[0].upper()
982 if DirectiveName not in self.DataType:
983 EdkLogger.error("Parser", FORMAT_INVALID, "Unknown directive [%s]" % DirectiveName,
984 File=self.MetaFile, Line=self._LineIndex + 1)
985
986 if DirectiveName in ['!IF', '!IFDEF', '!IFNDEF']:
987 self._InDirective += 1
988
989 if DirectiveName in ['!ENDIF']:
990 self._InDirective -= 1
991
992 if DirectiveName in ['!IF', '!IFDEF', '!INCLUDE', '!IFNDEF', '!ELSEIF'] and self._ValueList[1] == '':
993 EdkLogger.error("Parser", FORMAT_INVALID, "Missing expression",
994 File=self.MetaFile, Line=self._LineIndex + 1,
995 ExtraData=self._CurrentLine)
996
997 ItemType = self.DataType[DirectiveName]
998 Scope = [['COMMON', 'COMMON']]
999 if ItemType == MODEL_META_DATA_INCLUDE:
1000 Scope = self._Scope
1001 if ItemType == MODEL_META_DATA_CONDITIONAL_STATEMENT_ENDIF:
1002 # Remove all directives between !if and !endif, including themselves
1003 while self._DirectiveStack:
1004 # Remove any !else or !elseif
1005 DirectiveInfo = self._DirectiveStack.pop()
1006 if DirectiveInfo[0] in [MODEL_META_DATA_CONDITIONAL_STATEMENT_IF,
1007 MODEL_META_DATA_CONDITIONAL_STATEMENT_IFDEF,
1008 MODEL_META_DATA_CONDITIONAL_STATEMENT_IFNDEF]:
1009 break
1010 else:
1011 EdkLogger.error("Parser", FORMAT_INVALID, "Redundant '!endif'",
1012 File=self.MetaFile, Line=self._LineIndex + 1,
1013 ExtraData=self._CurrentLine)
1014 elif ItemType != MODEL_META_DATA_INCLUDE:
1015 # Break if there's a !else is followed by a !elseif
1016 if ItemType == MODEL_META_DATA_CONDITIONAL_STATEMENT_ELSEIF and \
1017 self._DirectiveStack and \
1018 self._DirectiveStack[-1][0] == MODEL_META_DATA_CONDITIONAL_STATEMENT_ELSE:
1019 EdkLogger.error("Parser", FORMAT_INVALID, "'!elseif' after '!else'",
1020 File=self.MetaFile, Line=self._LineIndex + 1,
1021 ExtraData=self._CurrentLine)
1022 self._DirectiveStack.append((ItemType, self._LineIndex + 1, self._CurrentLine))
1023
1024 #
1025 # Model, Value1, Value2, Value3, Arch, ModuleType, BelongsToItem=-1, BelongsToFile=-1,
1026 # LineBegin=-1, ColumnBegin=-1, LineEnd=-1, ColumnEnd=-1, Enabled=-1
1027 #
1028 for Arch, ModuleType in Scope:
1029 self._LastItem = self._Store(
1030 ItemType,
1031 self._ValueList[0],
1032 self._ValueList[1],
1033 self._ValueList[2],
1034 Arch,
1035 ModuleType,
1036 self._Owner[-1],
1037 self._From,
1038 self._LineIndex + 1,
1039 - 1,
1040 self._LineIndex + 1,
1041 - 1,
1042 0
1043 )
1044
1045 ## [defines] section parser
1046 @ParseMacro
1047 def _DefineParser(self):
1048 TokenList = GetSplitValueList(self._CurrentLine, TAB_EQUAL_SPLIT, 1)
1049 self._ValueList[1:len(TokenList)] = TokenList
1050
1051 # Syntax check
1052 if not self._ValueList[1]:
1053 EdkLogger.error('Parser', FORMAT_INVALID, "No name specified",
1054 ExtraData=self._CurrentLine, File=self.MetaFile, Line=self._LineIndex + 1)
1055 if not self._ValueList[2]:
1056 EdkLogger.error('Parser', FORMAT_INVALID, "No value specified",
1057 ExtraData=self._CurrentLine, File=self.MetaFile, Line=self._LineIndex + 1)
1058 if (not self._ValueList[1] in self.DefineKeywords and
1059 (self._InSubsection and self._ValueList[1] not in self.SubSectionDefineKeywords)):
1060 EdkLogger.error('Parser', FORMAT_INVALID,
1061 "Unknown keyword found: %s. "
1062 "If this is a macro you must "
1063 "add it as a DEFINE in the DSC" % self._ValueList[1],
1064 ExtraData=self._CurrentLine, File=self.MetaFile, Line=self._LineIndex + 1)
1065 if not self._InSubsection:
1066 self._Defines[self._ValueList[1]] = self._ValueList[2]
1067 self._ItemType = self.DataType[TAB_DSC_DEFINES.upper()]
1068
1069 @ParseMacro
1070 def _SkuIdParser(self):
1071 TokenList = GetSplitValueList(self._CurrentLine, TAB_VALUE_SPLIT)
1072 if len(TokenList) != 2:
1073 EdkLogger.error('Parser', FORMAT_INVALID, "Correct format is '<Integer>|<UiName>'",
1074 ExtraData=self._CurrentLine, File=self.MetaFile, Line=self._LineIndex + 1)
1075 self._ValueList[0:len(TokenList)] = TokenList
1076
1077 ## Parse Edk style of library modules
1078 @ParseMacro
1079 def _LibraryInstanceParser(self):
1080 self._ValueList[0] = self._CurrentLine
1081
1082 ## PCD sections parser
1083 #
1084 # [PcdsFixedAtBuild]
1085 # [PcdsPatchableInModule]
1086 # [PcdsFeatureFlag]
1087 # [PcdsDynamicEx
1088 # [PcdsDynamicExDefault]
1089 # [PcdsDynamicExVpd]
1090 # [PcdsDynamicExHii]
1091 # [PcdsDynamic]
1092 # [PcdsDynamicDefault]
1093 # [PcdsDynamicVpd]
1094 # [PcdsDynamicHii]
1095 #
1096 @ParseMacro
1097 def _PcdParser(self):
1098 TokenList = GetSplitValueList(self._CurrentLine, TAB_VALUE_SPLIT, 1)
1099 self._ValueList[0:1] = GetSplitValueList(TokenList[0], TAB_SPLIT)
1100 if len(TokenList) == 2:
1101 self._ValueList[2] = TokenList[1]
1102 if self._ValueList[0] == '' or self._ValueList[1] == '':
1103 EdkLogger.error('Parser', FORMAT_INVALID, "No token space GUID or PCD name specified",
1104 ExtraData=self._CurrentLine + " (<TokenSpaceGuidCName>.<TokenCName>|<PcdValue>)",
1105 File=self.MetaFile, Line=self._LineIndex + 1)
1106 if self._ValueList[2] == '':
1107 #
1108 # The PCD values are optional for FIXEDATBUILD and PATCHABLEINMODULE
1109 #
1110 if self._SectionType in (MODEL_PCD_FIXED_AT_BUILD, MODEL_PCD_PATCHABLE_IN_MODULE):
1111 return
1112 EdkLogger.error('Parser', FORMAT_INVALID, "No PCD value given",
1113 ExtraData=self._CurrentLine + " (<TokenSpaceGuidCName>.<TokenCName>|<PcdValue>)",
1114 File=self.MetaFile, Line=self._LineIndex + 1)
1115
1116 # Validate the datum type of Dynamic Defaul PCD and DynamicEx Default PCD
1117 ValueList = GetSplitValueList(self._ValueList[2])
1118 if len(ValueList) > 1 and ValueList[1] != TAB_VOID \
1119 and self._ItemType in [MODEL_PCD_DYNAMIC_DEFAULT, MODEL_PCD_DYNAMIC_EX_DEFAULT]:
1120 EdkLogger.error('Parser', FORMAT_INVALID, "The datum type '%s' of PCD is wrong" % ValueList[1],
1121 ExtraData=self._CurrentLine, File=self.MetaFile, Line=self._LineIndex + 1)
1122
1123 # if value are 'True', 'true', 'TRUE' or 'False', 'false', 'FALSE', replace with integer 1 or 0.
1124 DscPcdValueList = GetSplitValueList(TokenList[1], TAB_VALUE_SPLIT, 1)
1125 if DscPcdValueList[0] in ['True', 'true', 'TRUE']:
1126 self._ValueList[2] = TokenList[1].replace(DscPcdValueList[0], '1', 1);
1127 elif DscPcdValueList[0] in ['False', 'false', 'FALSE']:
1128 self._ValueList[2] = TokenList[1].replace(DscPcdValueList[0], '0', 1);
1129
1130
1131 ## [components] section parser
1132 @ParseMacro
1133 def _ComponentParser(self):
1134 if self._CurrentLine[-1] == '{':
1135 self._ValueList[0] = self._CurrentLine[0:-1].strip()
1136 self._InSubsection = True
1137 else:
1138 self._ValueList[0] = self._CurrentLine
1139
1140 ## [LibraryClasses] section
1141 @ParseMacro
1142 def _LibraryClassParser(self):
1143 TokenList = GetSplitValueList(self._CurrentLine, TAB_VALUE_SPLIT)
1144 if len(TokenList) < 2:
1145 EdkLogger.error('Parser', FORMAT_INVALID, "No library class or instance specified",
1146 ExtraData=self._CurrentLine + " (<LibraryClassName>|<LibraryInstancePath>)",
1147 File=self.MetaFile, Line=self._LineIndex + 1)
1148 if TokenList[0] == '':
1149 EdkLogger.error('Parser', FORMAT_INVALID, "No library class specified",
1150 ExtraData=self._CurrentLine + " (<LibraryClassName>|<LibraryInstancePath>)",
1151 File=self.MetaFile, Line=self._LineIndex + 1)
1152 if TokenList[1] == '':
1153 EdkLogger.error('Parser', FORMAT_INVALID, "No library instance specified",
1154 ExtraData=self._CurrentLine + " (<LibraryClassName>|<LibraryInstancePath>)",
1155 File=self.MetaFile, Line=self._LineIndex + 1)
1156
1157 self._ValueList[0:len(TokenList)] = TokenList
1158
1159 def _CompponentSourceOverridePathParser(self):
1160 self._ValueList[0] = self._CurrentLine
1161
1162 ## [BuildOptions] section parser
1163 @ParseMacro
1164 def _BuildOptionParser(self):
1165 self._CurrentLine = CleanString(self._CurrentLine, BuildOption=True)
1166 TokenList = GetSplitValueList(self._CurrentLine, TAB_EQUAL_SPLIT, 1)
1167 TokenList2 = GetSplitValueList(TokenList[0], ':', 1)
1168 if len(TokenList2) == 2:
1169 self._ValueList[0] = TokenList2[0] # toolchain family
1170 self._ValueList[1] = TokenList2[1] # keys
1171 else:
1172 self._ValueList[1] = TokenList[0]
1173 if len(TokenList) == 2: # value
1174 self._ValueList[2] = TokenList[1]
1175
1176 if self._ValueList[1].count('_') != 4:
1177 EdkLogger.error(
1178 'Parser',
1179 FORMAT_INVALID,
1180 "'%s' must be in format of <TARGET>_<TOOLCHAIN>_<ARCH>_<TOOL>_FLAGS" % self._ValueList[1],
1181 ExtraData=self._CurrentLine,
1182 File=self.MetaFile,
1183 Line=self._LineIndex + 1
1184 )
1185
1186 ## Override parent's method since we'll do all macro replacements in parser
1187 def _GetMacros(self):
1188 Macros = {}
1189 Macros.update(self._FileLocalMacros)
1190 Macros.update(self._GetApplicableSectionMacro())
1191 Macros.update(GlobalData.gEdkGlobal)
1192 Macros.update(GlobalData.gPlatformDefines)
1193 Macros.update(GlobalData.gCommandLineDefines)
1194 # PCD cannot be referenced in macro definition
1195 if self._ItemType not in [MODEL_META_DATA_DEFINE, MODEL_META_DATA_GLOBAL_DEFINE]:
1196 Macros.update(self._Symbols)
1197 return Macros
1198
1199 def _PostProcess(self):
1200 Processer = {
1201 MODEL_META_DATA_SECTION_HEADER : self.__ProcessSectionHeader,
1202 MODEL_META_DATA_SUBSECTION_HEADER : self.__ProcessSubsectionHeader,
1203 MODEL_META_DATA_HEADER : self.__ProcessDefine,
1204 MODEL_META_DATA_DEFINE : self.__ProcessDefine,
1205 MODEL_META_DATA_GLOBAL_DEFINE : self.__ProcessDefine,
1206 MODEL_META_DATA_INCLUDE : self.__ProcessDirective,
1207 MODEL_META_DATA_CONDITIONAL_STATEMENT_IF : self.__ProcessDirective,
1208 MODEL_META_DATA_CONDITIONAL_STATEMENT_ELSE : self.__ProcessDirective,
1209 MODEL_META_DATA_CONDITIONAL_STATEMENT_IFDEF : self.__ProcessDirective,
1210 MODEL_META_DATA_CONDITIONAL_STATEMENT_IFNDEF : self.__ProcessDirective,
1211 MODEL_META_DATA_CONDITIONAL_STATEMENT_ENDIF : self.__ProcessDirective,
1212 MODEL_META_DATA_CONDITIONAL_STATEMENT_ELSEIF : self.__ProcessDirective,
1213 MODEL_EFI_SKU_ID : self.__ProcessSkuId,
1214 MODEL_EFI_LIBRARY_INSTANCE : self.__ProcessLibraryInstance,
1215 MODEL_EFI_LIBRARY_CLASS : self.__ProcessLibraryClass,
1216 MODEL_PCD_FIXED_AT_BUILD : self.__ProcessPcd,
1217 MODEL_PCD_PATCHABLE_IN_MODULE : self.__ProcessPcd,
1218 MODEL_PCD_FEATURE_FLAG : self.__ProcessPcd,
1219 MODEL_PCD_DYNAMIC_DEFAULT : self.__ProcessPcd,
1220 MODEL_PCD_DYNAMIC_HII : self.__ProcessPcd,
1221 MODEL_PCD_DYNAMIC_VPD : self.__ProcessPcd,
1222 MODEL_PCD_DYNAMIC_EX_DEFAULT : self.__ProcessPcd,
1223 MODEL_PCD_DYNAMIC_EX_HII : self.__ProcessPcd,
1224 MODEL_PCD_DYNAMIC_EX_VPD : self.__ProcessPcd,
1225 MODEL_META_DATA_COMPONENT : self.__ProcessComponent,
1226 MODEL_META_DATA_COMPONENT_SOURCE_OVERRIDE_PATH : self.__ProcessSourceOverridePath,
1227 MODEL_META_DATA_BUILD_OPTION : self.__ProcessBuildOption,
1228 MODEL_UNKNOWN : self._Skip,
1229 MODEL_META_DATA_USER_EXTENSION : self._SkipUserExtension,
1230 }
1231
1232 self._Table = MetaFileStorage(self._RawTable.Cur, self.MetaFile, MODEL_FILE_DSC, True)
1233 self._Table.Create()
1234 self._DirectiveStack = []
1235 self._DirectiveEvalStack = []
1236 self._FileWithError = self.MetaFile
1237 self._FileLocalMacros = {}
1238 self._SectionsMacroDict = {}
1239 GlobalData.gPlatformDefines = {}
1240
1241 # Get all macro and PCD which has straitforward value
1242 self.__RetrievePcdValue()
1243 self._Content = self._RawTable.GetAll()
1244 self._ContentIndex = 0
1245 self._InSubsection = False
1246 while self._ContentIndex < len(self._Content) :
1247 Id, self._ItemType, V1, V2, V3, S1, S2, Owner, self._From, \
1248 LineStart, ColStart, LineEnd, ColEnd, Enabled = self._Content[self._ContentIndex]
1249
1250 if self._From < 0:
1251 self._FileWithError = self.MetaFile
1252
1253 self._ContentIndex += 1
1254
1255 self._Scope = [[S1, S2]]
1256 #
1257 # For !include directive, handle it specially,
1258 # merge arch and module type in case of duplicate items
1259 #
1260 while self._ItemType == MODEL_META_DATA_INCLUDE:
1261 if self._ContentIndex >= len(self._Content):
1262 break
1263 Record = self._Content[self._ContentIndex]
1264 if LineStart == Record[9] and LineEnd == Record[11]:
1265 if [Record[5], Record[6]] not in self._Scope:
1266 self._Scope.append([Record[5], Record[6]])
1267 self._ContentIndex += 1
1268 else:
1269 break
1270
1271 self._LineIndex = LineStart - 1
1272 self._ValueList = [V1, V2, V3]
1273
1274 if Owner > 0 and Owner in self._IdMapping:
1275 self._InSubsection = True
1276 else:
1277 self._InSubsection = False
1278 try:
1279 Processer[self._ItemType]()
1280 except EvaluationException, Excpt:
1281 #
1282 # Only catch expression evaluation error here. We need to report
1283 # the precise number of line on which the error occurred
1284 #
1285 if hasattr(Excpt, 'Pcd'):
1286 if Excpt.Pcd in GlobalData.gPlatformOtherPcds:
1287 Info = GlobalData.gPlatformOtherPcds[Excpt.Pcd]
1288 EdkLogger.error('Parser', FORMAT_INVALID, "Cannot use this PCD (%s) in an expression as"
1289 " it must be defined in a [PcdsFixedAtBuild] or [PcdsFeatureFlag] section"
1290 " of the DSC file, and it is currently defined in this section:"
1291 " %s, line #: %d." % (Excpt.Pcd, Info[0], Info[1]),
1292 File=self._FileWithError, ExtraData=' '.join(self._ValueList),
1293 Line=self._LineIndex + 1)
1294 else:
1295 EdkLogger.error('Parser', FORMAT_INVALID, "PCD (%s) is not defined in DSC file" % Excpt.Pcd,
1296 File=self._FileWithError, ExtraData=' '.join(self._ValueList),
1297 Line=self._LineIndex + 1)
1298 else:
1299 EdkLogger.error('Parser', FORMAT_INVALID, "Invalid expression: %s" % str(Excpt),
1300 File=self._FileWithError, ExtraData=' '.join(self._ValueList),
1301 Line=self._LineIndex + 1)
1302 except MacroException, Excpt:
1303 EdkLogger.error('Parser', FORMAT_INVALID, str(Excpt),
1304 File=self._FileWithError, ExtraData=' '.join(self._ValueList),
1305 Line=self._LineIndex + 1)
1306
1307 if self._ValueList == None:
1308 continue
1309
1310 NewOwner = self._IdMapping.get(Owner, -1)
1311 self._Enabled = int((not self._DirectiveEvalStack) or (False not in self._DirectiveEvalStack))
1312 self._LastItem = self._Store(
1313 self._ItemType,
1314 self._ValueList[0],
1315 self._ValueList[1],
1316 self._ValueList[2],
1317 S1,
1318 S2,
1319 NewOwner,
1320 self._From,
1321 self._LineIndex + 1,
1322 - 1,
1323 self._LineIndex + 1,
1324 - 1,
1325 self._Enabled
1326 )
1327 self._IdMapping[Id] = self._LastItem
1328
1329 GlobalData.gPlatformDefines.update(self._FileLocalMacros)
1330 self._PostProcessed = True
1331 self._Content = None
1332
1333 def __ProcessSectionHeader(self):
1334 self._SectionName = self._ValueList[0]
1335 if self._SectionName in self.DataType:
1336 self._SectionType = self.DataType[self._SectionName]
1337 else:
1338 self._SectionType = MODEL_UNKNOWN
1339
1340 def __ProcessSubsectionHeader(self):
1341 self._SubsectionName = self._ValueList[0]
1342 if self._SubsectionName in self.DataType:
1343 self._SubsectionType = self.DataType[self._SubsectionName]
1344 else:
1345 self._SubsectionType = MODEL_UNKNOWN
1346
1347 def __RetrievePcdValue(self):
1348 Content = open(str(self.MetaFile), 'r').readlines()
1349 GlobalData.gPlatformOtherPcds['DSCFILE'] = str(self.MetaFile)
1350 for PcdType in (MODEL_PCD_PATCHABLE_IN_MODULE, MODEL_PCD_DYNAMIC_DEFAULT, MODEL_PCD_DYNAMIC_HII,
1351 MODEL_PCD_DYNAMIC_VPD, MODEL_PCD_DYNAMIC_EX_DEFAULT, MODEL_PCD_DYNAMIC_EX_HII,
1352 MODEL_PCD_DYNAMIC_EX_VPD):
1353 Records = self._RawTable.Query(PcdType, BelongsToItem= -1.0)
1354 for TokenSpaceGuid, PcdName, Value, Dummy2, Dummy3, ID, Line in Records:
1355 Name = TokenSpaceGuid + '.' + PcdName
1356 if Name not in GlobalData.gPlatformOtherPcds:
1357 PcdLine = Line
1358 while not Content[Line - 1].lstrip().startswith(TAB_SECTION_START):
1359 Line -= 1
1360 GlobalData.gPlatformOtherPcds[Name] = (CleanString(Content[Line - 1]), PcdLine, PcdType)
1361
1362 def __ProcessDefine(self):
1363 if not self._Enabled:
1364 return
1365
1366 Type, Name, Value = self._ValueList
1367 Value = ReplaceMacro(Value, self._Macros, False)
1368 #
1369 # If it is <Defines>, return
1370 #
1371 if self._InSubsection:
1372 self._ValueList = [Type, Name, Value]
1373 return
1374
1375 if self._ItemType == MODEL_META_DATA_DEFINE:
1376 if self._SectionType == MODEL_META_DATA_HEADER:
1377 self._FileLocalMacros[Name] = Value
1378 else:
1379 self._ConstructSectionMacroDict(Name, Value)
1380 elif self._ItemType == MODEL_META_DATA_GLOBAL_DEFINE:
1381 GlobalData.gEdkGlobal[Name] = Value
1382
1383 #
1384 # Keyword in [Defines] section can be used as Macros
1385 #
1386 if (self._ItemType == MODEL_META_DATA_HEADER) and (self._SectionType == MODEL_META_DATA_HEADER):
1387 self._FileLocalMacros[Name] = Value
1388
1389 self._ValueList = [Type, Name, Value]
1390
1391 def __ProcessDirective(self):
1392 Result = None
1393 if self._ItemType in [MODEL_META_DATA_CONDITIONAL_STATEMENT_IF,
1394 MODEL_META_DATA_CONDITIONAL_STATEMENT_ELSEIF]:
1395 Macros = self._Macros
1396 Macros.update(GlobalData.gGlobalDefines)
1397 try:
1398 Result = ValueExpression(self._ValueList[1], Macros)()
1399 except SymbolNotFound, Exc:
1400 EdkLogger.debug(EdkLogger.DEBUG_5, str(Exc), self._ValueList[1])
1401 Result = False
1402 except WrnExpression, Excpt:
1403 #
1404 # Catch expression evaluation warning here. We need to report
1405 # the precise number of line and return the evaluation result
1406 #
1407 EdkLogger.warn('Parser', "Suspicious expression: %s" % str(Excpt),
1408 File=self._FileWithError, ExtraData=' '.join(self._ValueList),
1409 Line=self._LineIndex + 1)
1410 Result = Excpt.result
1411
1412 if self._ItemType in [MODEL_META_DATA_CONDITIONAL_STATEMENT_IF,
1413 MODEL_META_DATA_CONDITIONAL_STATEMENT_IFDEF,
1414 MODEL_META_DATA_CONDITIONAL_STATEMENT_IFNDEF]:
1415 self._DirectiveStack.append(self._ItemType)
1416 if self._ItemType == MODEL_META_DATA_CONDITIONAL_STATEMENT_IF:
1417 Result = bool(Result)
1418 else:
1419 Macro = self._ValueList[1]
1420 Macro = Macro[2:-1] if (Macro.startswith("$(") and Macro.endswith(")")) else Macro
1421 Result = Macro in self._Macros
1422 if self._ItemType == MODEL_META_DATA_CONDITIONAL_STATEMENT_IFNDEF:
1423 Result = not Result
1424 self._DirectiveEvalStack.append(Result)
1425 elif self._ItemType == MODEL_META_DATA_CONDITIONAL_STATEMENT_ELSEIF:
1426 self._DirectiveStack.append(self._ItemType)
1427 self._DirectiveEvalStack[-1] = not self._DirectiveEvalStack[-1]
1428 self._DirectiveEvalStack.append(bool(Result))
1429 elif self._ItemType == MODEL_META_DATA_CONDITIONAL_STATEMENT_ELSE:
1430 self._DirectiveStack.append(self._ItemType)
1431 self._DirectiveEvalStack[-1] = not self._DirectiveEvalStack[-1]
1432 self._DirectiveEvalStack.append(True)
1433 elif self._ItemType == MODEL_META_DATA_CONDITIONAL_STATEMENT_ENDIF:
1434 # Back to the nearest !if/!ifdef/!ifndef
1435 while self._DirectiveStack:
1436 self._DirectiveEvalStack.pop()
1437 Directive = self._DirectiveStack.pop()
1438 if Directive in [MODEL_META_DATA_CONDITIONAL_STATEMENT_IF,
1439 MODEL_META_DATA_CONDITIONAL_STATEMENT_IFDEF,
1440 MODEL_META_DATA_CONDITIONAL_STATEMENT_IFNDEF]:
1441 break
1442 elif self._ItemType == MODEL_META_DATA_INCLUDE:
1443 # The included file must be relative to workspace or same directory as DSC file
1444 __IncludeMacros = {}
1445 #
1446 # Allow using system environment variables in path after !include
1447 #
1448 __IncludeMacros['WORKSPACE'] = GlobalData.gGlobalDefines['WORKSPACE']
1449 if "ECP_SOURCE" in GlobalData.gGlobalDefines.keys():
1450 __IncludeMacros['ECP_SOURCE'] = GlobalData.gGlobalDefines['ECP_SOURCE']
1451 #
1452 # During GenFds phase call DSC parser, will go into this branch.
1453 #
1454 elif "ECP_SOURCE" in GlobalData.gCommandLineDefines.keys():
1455 __IncludeMacros['ECP_SOURCE'] = GlobalData.gCommandLineDefines['ECP_SOURCE']
1456
1457 __IncludeMacros['EFI_SOURCE'] = GlobalData.gGlobalDefines['EFI_SOURCE']
1458 __IncludeMacros['EDK_SOURCE'] = GlobalData.gGlobalDefines['EDK_SOURCE']
1459 #
1460 # Allow using MACROs comes from [Defines] section to keep compatible.
1461 #
1462 __IncludeMacros.update(self._Macros)
1463
1464 IncludedFile = NormPath(ReplaceMacro(self._ValueList[1], __IncludeMacros, RaiseError=True))
1465 #
1466 # First search the include file under the same directory as DSC file
1467 #
1468 IncludedFile1 = PathClass(IncludedFile, self.MetaFile.Dir)
1469 ErrorCode, ErrorInfo1 = IncludedFile1.Validate()
1470 if ErrorCode != 0:
1471 #
1472 # Also search file under the WORKSPACE directory
1473 #
1474 IncludedFile1 = PathClass(IncludedFile, GlobalData.gWorkspace)
1475 ErrorCode, ErrorInfo2 = IncludedFile1.Validate()
1476 if ErrorCode != 0:
1477 EdkLogger.error('parser', ErrorCode, File=self._FileWithError,
1478 Line=self._LineIndex + 1, ExtraData=ErrorInfo1 + "\n" + ErrorInfo2)
1479
1480 self._FileWithError = IncludedFile1
1481
1482 IncludedFileTable = MetaFileStorage(self._Table.Cur, IncludedFile1, MODEL_FILE_DSC, False)
1483 Owner = self._Content[self._ContentIndex - 1][0]
1484 Parser = DscParser(IncludedFile1, self._FileType, IncludedFileTable,
1485 Owner=Owner, From=Owner)
1486
1487 # Does not allow lower level included file to include upper level included file
1488 if Parser._From != Owner and int(Owner) > int (Parser._From):
1489 EdkLogger.error('parser', FILE_ALREADY_EXIST, File=self._FileWithError,
1490 Line=self._LineIndex + 1, ExtraData="{0} is already included at a higher level.".format(IncludedFile1))
1491
1492
1493 # set the parser status with current status
1494 Parser._SectionName = self._SectionName
1495 Parser._SectionType = self._SectionType
1496 Parser._Scope = self._Scope
1497 Parser._Enabled = self._Enabled
1498 # Parse the included file
1499 Parser.Start()
1500
1501 # update current status with sub-parser's status
1502 self._SectionName = Parser._SectionName
1503 self._SectionType = Parser._SectionType
1504 self._Scope = Parser._Scope
1505 self._Enabled = Parser._Enabled
1506
1507 # Insert all records in the table for the included file into dsc file table
1508 Records = IncludedFileTable.GetAll()
1509 if Records:
1510 self._Content[self._ContentIndex:self._ContentIndex] = Records
1511 self._Content.pop(self._ContentIndex - 1)
1512 self._ValueList = None
1513 self._ContentIndex -= 1
1514
1515 def __ProcessSkuId(self):
1516 self._ValueList = [ReplaceMacro(Value, self._Macros, RaiseError=True)
1517 for Value in self._ValueList]
1518
1519 def __ProcessLibraryInstance(self):
1520 self._ValueList = [ReplaceMacro(Value, self._Macros) for Value in self._ValueList]
1521
1522 def __ProcessLibraryClass(self):
1523 self._ValueList[1] = ReplaceMacro(self._ValueList[1], self._Macros, RaiseError=True)
1524
1525 def __ProcessPcd(self):
1526 if self._ItemType not in [MODEL_PCD_FEATURE_FLAG, MODEL_PCD_FIXED_AT_BUILD]:
1527 self._ValueList[2] = ReplaceMacro(self._ValueList[2], self._Macros, RaiseError=True)
1528 return
1529
1530 ValList, Valid, Index = AnalyzeDscPcd(self._ValueList[2], self._ItemType)
1531 if not Valid:
1532 EdkLogger.error('build', FORMAT_INVALID, "Pcd format incorrect.", File=self._FileWithError, Line=self._LineIndex + 1,
1533 ExtraData="%s.%s|%s" % (self._ValueList[0], self._ValueList[1], self._ValueList[2]))
1534 PcdValue = ValList[Index]
1535 if PcdValue:
1536 try:
1537 ValList[Index] = ValueExpression(PcdValue, self._Macros)(True)
1538 except WrnExpression, Value:
1539 ValList[Index] = Value.result
1540
1541 if ValList[Index] == 'True':
1542 ValList[Index] = '1'
1543 if ValList[Index] == 'False':
1544 ValList[Index] = '0'
1545
1546 if (not self._DirectiveEvalStack) or (False not in self._DirectiveEvalStack):
1547 GlobalData.gPlatformPcds[TAB_SPLIT.join(self._ValueList[0:2])] = PcdValue
1548 self._Symbols[TAB_SPLIT.join(self._ValueList[0:2])] = PcdValue
1549 self._ValueList[2] = '|'.join(ValList)
1550
1551 def __ProcessComponent(self):
1552 self._ValueList[0] = ReplaceMacro(self._ValueList[0], self._Macros)
1553
1554 def __ProcessSourceOverridePath(self):
1555 self._ValueList[0] = ReplaceMacro(self._ValueList[0], self._Macros)
1556
1557 def __ProcessBuildOption(self):
1558 self._ValueList = [ReplaceMacro(Value, self._Macros, RaiseError=False)
1559 for Value in self._ValueList]
1560
1561 _SectionParser = {
1562 MODEL_META_DATA_HEADER : _DefineParser,
1563 MODEL_EFI_SKU_ID : _SkuIdParser,
1564 MODEL_EFI_LIBRARY_INSTANCE : _LibraryInstanceParser,
1565 MODEL_EFI_LIBRARY_CLASS : _LibraryClassParser,
1566 MODEL_PCD_FIXED_AT_BUILD : _PcdParser,
1567 MODEL_PCD_PATCHABLE_IN_MODULE : _PcdParser,
1568 MODEL_PCD_FEATURE_FLAG : _PcdParser,
1569 MODEL_PCD_DYNAMIC_DEFAULT : _PcdParser,
1570 MODEL_PCD_DYNAMIC_HII : _PcdParser,
1571 MODEL_PCD_DYNAMIC_VPD : _PcdParser,
1572 MODEL_PCD_DYNAMIC_EX_DEFAULT : _PcdParser,
1573 MODEL_PCD_DYNAMIC_EX_HII : _PcdParser,
1574 MODEL_PCD_DYNAMIC_EX_VPD : _PcdParser,
1575 MODEL_META_DATA_COMPONENT : _ComponentParser,
1576 MODEL_META_DATA_COMPONENT_SOURCE_OVERRIDE_PATH : _CompponentSourceOverridePathParser,
1577 MODEL_META_DATA_BUILD_OPTION : _BuildOptionParser,
1578 MODEL_UNKNOWN : MetaFileParser._Skip,
1579 MODEL_META_DATA_USER_EXTENSION : MetaFileParser._SkipUserExtension,
1580 MODEL_META_DATA_SECTION_HEADER : MetaFileParser._SectionHeaderParser,
1581 MODEL_META_DATA_SUBSECTION_HEADER : _SubsectionHeaderParser,
1582 }
1583
1584 _Macros = property(_GetMacros)
1585
1586 ## DEC file parser class
1587 #
1588 # @param FilePath The path of platform description file
1589 # @param FileType The raw data of DSC file
1590 # @param Table Database used to retrieve module/package information
1591 # @param Macros Macros used for replacement in file
1592 #
1593 class DecParser(MetaFileParser):
1594 # DEC file supported data types (one type per section)
1595 DataType = {
1596 TAB_DEC_DEFINES.upper() : MODEL_META_DATA_HEADER,
1597 TAB_DSC_DEFINES_DEFINE : MODEL_META_DATA_DEFINE,
1598 TAB_INCLUDES.upper() : MODEL_EFI_INCLUDE,
1599 TAB_LIBRARY_CLASSES.upper() : MODEL_EFI_LIBRARY_CLASS,
1600 TAB_GUIDS.upper() : MODEL_EFI_GUID,
1601 TAB_PPIS.upper() : MODEL_EFI_PPI,
1602 TAB_PROTOCOLS.upper() : MODEL_EFI_PROTOCOL,
1603 TAB_PCDS_FIXED_AT_BUILD_NULL.upper() : MODEL_PCD_FIXED_AT_BUILD,
1604 TAB_PCDS_PATCHABLE_IN_MODULE_NULL.upper() : MODEL_PCD_PATCHABLE_IN_MODULE,
1605 TAB_PCDS_FEATURE_FLAG_NULL.upper() : MODEL_PCD_FEATURE_FLAG,
1606 TAB_PCDS_DYNAMIC_NULL.upper() : MODEL_PCD_DYNAMIC,
1607 TAB_PCDS_DYNAMIC_EX_NULL.upper() : MODEL_PCD_DYNAMIC_EX,
1608 TAB_USER_EXTENSIONS.upper() : MODEL_META_DATA_USER_EXTENSION,
1609 }
1610
1611 ## Constructor of DecParser
1612 #
1613 # Initialize object of DecParser
1614 #
1615 # @param FilePath The path of platform description file
1616 # @param FileType The raw data of DSC file
1617 # @param Table Database used to retrieve module/package information
1618 # @param Macros Macros used for replacement in file
1619 #
1620 def __init__(self, FilePath, FileType, Table):
1621 # prevent re-initialization
1622 if hasattr(self, "_Table"):
1623 return
1624 MetaFileParser.__init__(self, FilePath, FileType, Table, -1)
1625 self._Comments = []
1626 self._Version = 0x00010005 # Only EDK2 dec file is supported
1627 self._AllPCDs = [] # Only for check duplicate PCD
1628
1629 ## Parser starter
1630 def Start(self):
1631 Content = ''
1632 try:
1633 Content = open(str(self.MetaFile), 'r').readlines()
1634 except:
1635 EdkLogger.error("Parser", FILE_READ_FAILURE, ExtraData=self.MetaFile)
1636
1637 for Index in range(0, len(Content)):
1638 Line, Comment = CleanString2(Content[Index])
1639 self._CurrentLine = Line
1640 self._LineIndex = Index
1641
1642 # save comment for later use
1643 if Comment:
1644 self._Comments.append((Comment, self._LineIndex + 1))
1645 # skip empty line
1646 if Line == '':
1647 continue
1648
1649 # section header
1650 if Line[0] == TAB_SECTION_START and Line[-1] == TAB_SECTION_END:
1651 self._SectionHeaderParser()
1652 self._Comments = []
1653 continue
1654 elif len(self._SectionType) == 0:
1655 self._Comments = []
1656 continue
1657
1658 # section content
1659 self._ValueList = ['', '', '']
1660 self._SectionParser[self._SectionType[0]](self)
1661 if self._ValueList == None or self._ItemType == MODEL_META_DATA_DEFINE:
1662 self._ItemType = -1
1663 self._Comments = []
1664 continue
1665
1666 #
1667 # Model, Value1, Value2, Value3, Arch, BelongsToItem=-1, LineBegin=-1,
1668 # ColumnBegin=-1, LineEnd=-1, ColumnEnd=-1, FeatureFlag='', Enabled=-1
1669 #
1670 for Arch, ModuleType, Type in self._Scope:
1671 self._LastItem = self._Store(
1672 Type,
1673 self._ValueList[0],
1674 self._ValueList[1],
1675 self._ValueList[2],
1676 Arch,
1677 ModuleType,
1678 self._Owner[-1],
1679 self._LineIndex + 1,
1680 - 1,
1681 self._LineIndex + 1,
1682 - 1,
1683 0
1684 )
1685 for Comment, LineNo in self._Comments:
1686 self._Store(
1687 MODEL_META_DATA_COMMENT,
1688 Comment,
1689 self._ValueList[0],
1690 self._ValueList[1],
1691 Arch,
1692 ModuleType,
1693 self._LastItem,
1694 LineNo,
1695 - 1,
1696 LineNo,
1697 - 1,
1698 0
1699 )
1700 self._Comments = []
1701 self._Done()
1702
1703
1704 ## Section header parser
1705 #
1706 # The section header is always in following format:
1707 #
1708 # [section_name.arch<.platform|module_type>]
1709 #
1710 def _SectionHeaderParser(self):
1711 self._Scope = []
1712 self._SectionName = ''
1713 self._SectionType = []
1714 ArchList = set()
1715 Line = self._CurrentLine.replace("%s%s" % (TAB_COMMA_SPLIT, TAB_SPACE_SPLIT), TAB_COMMA_SPLIT)
1716 for Item in Line[1:-1].split(TAB_COMMA_SPLIT):
1717 if Item == '':
1718 EdkLogger.error("Parser", FORMAT_UNKNOWN_ERROR,
1719 "section name can NOT be empty or incorrectly use separator comma",
1720 self.MetaFile, self._LineIndex + 1, self._CurrentLine)
1721 ItemList = Item.split(TAB_SPLIT)
1722
1723 # different types of PCD are permissible in one section
1724 self._SectionName = ItemList[0].upper()
1725 if self._SectionName in self.DataType:
1726 if self.DataType[self._SectionName] not in self._SectionType:
1727 self._SectionType.append(self.DataType[self._SectionName])
1728 else:
1729 EdkLogger.error("Parser", FORMAT_UNKNOWN_ERROR, "%s is not a valid section name" % Item,
1730 self.MetaFile, self._LineIndex + 1, self._CurrentLine)
1731
1732 if MODEL_PCD_FEATURE_FLAG in self._SectionType and len(self._SectionType) > 1:
1733 EdkLogger.error(
1734 'Parser',
1735 FORMAT_INVALID,
1736 "%s must not be in the same section of other types of PCD" % TAB_PCDS_FEATURE_FLAG_NULL,
1737 File=self.MetaFile,
1738 Line=self._LineIndex + 1,
1739 ExtraData=self._CurrentLine
1740 )
1741 # S1 is always Arch
1742 if len(ItemList) > 1:
1743 S1 = ItemList[1].upper()
1744 else:
1745 S1 = 'COMMON'
1746 ArchList.add(S1)
1747 # S2 may be Platform or ModuleType
1748 if len(ItemList) > 2:
1749 S2 = ItemList[2].upper()
1750 else:
1751 S2 = 'COMMON'
1752 if [S1, S2, self.DataType[self._SectionName]] not in self._Scope:
1753 self._Scope.append([S1, S2, self.DataType[self._SectionName]])
1754
1755 # 'COMMON' must not be used with specific ARCHs at the same section
1756 if 'COMMON' in ArchList and len(ArchList) > 1:
1757 EdkLogger.error('Parser', FORMAT_INVALID, "'common' ARCH must not be used with specific ARCHs",
1758 File=self.MetaFile, Line=self._LineIndex + 1, ExtraData=self._CurrentLine)
1759
1760 ## [guids], [ppis] and [protocols] section parser
1761 @ParseMacro
1762 def _GuidParser(self):
1763 TokenList = GetSplitValueList(self._CurrentLine, TAB_EQUAL_SPLIT, 1)
1764 if len(TokenList) < 2:
1765 EdkLogger.error('Parser', FORMAT_INVALID, "No GUID name or value specified",
1766 ExtraData=self._CurrentLine + " (<CName> = <GuidValueInCFormat>)",
1767 File=self.MetaFile, Line=self._LineIndex + 1)
1768 if TokenList[0] == '':
1769 EdkLogger.error('Parser', FORMAT_INVALID, "No GUID name specified",
1770 ExtraData=self._CurrentLine + " (<CName> = <GuidValueInCFormat>)",
1771 File=self.MetaFile, Line=self._LineIndex + 1)
1772 if TokenList[1] == '':
1773 EdkLogger.error('Parser', FORMAT_INVALID, "No GUID value specified",
1774 ExtraData=self._CurrentLine + " (<CName> = <GuidValueInCFormat>)",
1775 File=self.MetaFile, Line=self._LineIndex + 1)
1776 if TokenList[1][0] != '{' or TokenList[1][-1] != '}' or GuidStructureStringToGuidString(TokenList[1]) == '':
1777 EdkLogger.error('Parser', FORMAT_INVALID, "Invalid GUID value format",
1778 ExtraData=self._CurrentLine + \
1779 " (<CName> = <GuidValueInCFormat:{8,4,4,{2,2,2,2,2,2,2,2}}>)",
1780 File=self.MetaFile, Line=self._LineIndex + 1)
1781 self._ValueList[0] = TokenList[0]
1782 self._ValueList[1] = TokenList[1]
1783
1784 ## PCD sections parser
1785 #
1786 # [PcdsFixedAtBuild]
1787 # [PcdsPatchableInModule]
1788 # [PcdsFeatureFlag]
1789 # [PcdsDynamicEx
1790 # [PcdsDynamic]
1791 #
1792 @ParseMacro
1793 def _PcdParser(self):
1794 TokenList = GetSplitValueList(self._CurrentLine, TAB_VALUE_SPLIT, 1)
1795 self._ValueList[0:1] = GetSplitValueList(TokenList[0], TAB_SPLIT)
1796 ValueRe = re.compile(r'^[a-zA-Z_][a-zA-Z0-9_]*')
1797 # check PCD information
1798 if self._ValueList[0] == '' or self._ValueList[1] == '':
1799 EdkLogger.error('Parser', FORMAT_INVALID, "No token space GUID or PCD name specified",
1800 ExtraData=self._CurrentLine + \
1801 " (<TokenSpaceGuidCName>.<PcdCName>|<DefaultValue>|<DatumType>|<Token>)",
1802 File=self.MetaFile, Line=self._LineIndex + 1)
1803 # check format of token space GUID CName
1804 if not ValueRe.match(self._ValueList[0]):
1805 EdkLogger.error('Parser', FORMAT_INVALID, "The format of the token space GUID CName is invalid. The correct format is '(a-zA-Z_)[a-zA-Z0-9_]*'",
1806 ExtraData=self._CurrentLine + \
1807 " (<TokenSpaceGuidCName>.<PcdCName>|<DefaultValue>|<DatumType>|<Token>)",
1808 File=self.MetaFile, Line=self._LineIndex + 1)
1809 # check format of PCD CName
1810 if not ValueRe.match(self._ValueList[1]):
1811 EdkLogger.error('Parser', FORMAT_INVALID, "The format of the PCD CName is invalid. The correct format is '(a-zA-Z_)[a-zA-Z0-9_]*'",
1812 ExtraData=self._CurrentLine + \
1813 " (<TokenSpaceGuidCName>.<PcdCName>|<DefaultValue>|<DatumType>|<Token>)",
1814 File=self.MetaFile, Line=self._LineIndex + 1)
1815 # check PCD datum information
1816 if len(TokenList) < 2 or TokenList[1] == '':
1817 EdkLogger.error('Parser', FORMAT_INVALID, "No PCD Datum information given",
1818 ExtraData=self._CurrentLine + \
1819 " (<TokenSpaceGuidCName>.<PcdCName>|<DefaultValue>|<DatumType>|<Token>)",
1820 File=self.MetaFile, Line=self._LineIndex + 1)
1821
1822
1823 ValueRe = re.compile(r'^\s*L?\".*\|.*\"')
1824 PtrValue = ValueRe.findall(TokenList[1])
1825
1826 # Has VOID* type string, may contain "|" character in the string.
1827 if len(PtrValue) != 0:
1828 ptrValueList = re.sub(ValueRe, '', TokenList[1])
1829 ValueList = GetSplitValueList(ptrValueList)
1830 ValueList[0] = PtrValue[0]
1831 else:
1832 ValueList = GetSplitValueList(TokenList[1])
1833
1834
1835 # check if there's enough datum information given
1836 if len(ValueList) != 3:
1837 EdkLogger.error('Parser', FORMAT_INVALID, "Invalid PCD Datum information given",
1838 ExtraData=self._CurrentLine + \
1839 " (<TokenSpaceGuidCName>.<PcdCName>|<DefaultValue>|<DatumType>|<Token>)",
1840 File=self.MetaFile, Line=self._LineIndex + 1)
1841 # check default value
1842 if ValueList[0] == '':
1843 EdkLogger.error('Parser', FORMAT_INVALID, "Missing DefaultValue in PCD Datum information",
1844 ExtraData=self._CurrentLine + \
1845 " (<TokenSpaceGuidCName>.<PcdCName>|<DefaultValue>|<DatumType>|<Token>)",
1846 File=self.MetaFile, Line=self._LineIndex + 1)
1847 # check datum type
1848 if ValueList[1] == '':
1849 EdkLogger.error('Parser', FORMAT_INVALID, "Missing DatumType in PCD Datum information",
1850 ExtraData=self._CurrentLine + \
1851 " (<TokenSpaceGuidCName>.<PcdCName>|<DefaultValue>|<DatumType>|<Token>)",
1852 File=self.MetaFile, Line=self._LineIndex + 1)
1853 # check token of the PCD
1854 if ValueList[2] == '':
1855 EdkLogger.error('Parser', FORMAT_INVALID, "Missing Token in PCD Datum information",
1856 ExtraData=self._CurrentLine + \
1857 " (<TokenSpaceGuidCName>.<PcdCName>|<DefaultValue>|<DatumType>|<Token>)",
1858 File=self.MetaFile, Line=self._LineIndex + 1)
1859 # check format of default value against the datum type
1860 IsValid, Cause = CheckPcdDatum(ValueList[1], ValueList[0])
1861 if not IsValid:
1862 EdkLogger.error('Parser', FORMAT_INVALID, Cause, ExtraData=self._CurrentLine,
1863 File=self.MetaFile, Line=self._LineIndex + 1)
1864
1865 if ValueList[0] in ['True', 'true', 'TRUE']:
1866 ValueList[0] = '1'
1867 elif ValueList[0] in ['False', 'false', 'FALSE']:
1868 ValueList[0] = '0'
1869
1870 # check for duplicate PCD definition
1871 if (self._Scope[0], self._ValueList[0], self._ValueList[1]) in self._AllPCDs:
1872 EdkLogger.error('Parser', FORMAT_INVALID,
1873 "The same PCD name and GUID have been already defined",
1874 ExtraData=self._CurrentLine, File=self.MetaFile, Line=self._LineIndex + 1)
1875 else:
1876 self._AllPCDs.append((self._Scope[0], self._ValueList[0], self._ValueList[1]))
1877
1878 self._ValueList[2] = ValueList[0].strip() + '|' + ValueList[1].strip() + '|' + ValueList[2].strip()
1879
1880 _SectionParser = {
1881 MODEL_META_DATA_HEADER : MetaFileParser._DefineParser,
1882 MODEL_EFI_INCLUDE : MetaFileParser._PathParser,
1883 MODEL_EFI_LIBRARY_CLASS : MetaFileParser._PathParser,
1884 MODEL_EFI_GUID : _GuidParser,
1885 MODEL_EFI_PPI : _GuidParser,
1886 MODEL_EFI_PROTOCOL : _GuidParser,
1887 MODEL_PCD_FIXED_AT_BUILD : _PcdParser,
1888 MODEL_PCD_PATCHABLE_IN_MODULE : _PcdParser,
1889 MODEL_PCD_FEATURE_FLAG : _PcdParser,
1890 MODEL_PCD_DYNAMIC : _PcdParser,
1891 MODEL_PCD_DYNAMIC_EX : _PcdParser,
1892 MODEL_UNKNOWN : MetaFileParser._Skip,
1893 MODEL_META_DATA_USER_EXTENSION : MetaFileParser._SkipUserExtension,
1894 }
1895
1896 ##
1897 #
1898 # This acts like the main() function for the script, unless it is 'import'ed into another
1899 # script.
1900 #
1901 if __name__ == '__main__':
1902 pass
1903