equal
deleted
inserted
replaced
107 |
107 |
108 |
108 |
109 # List of section names that are not index and subindex and that we can meet in |
109 # List of section names that are not index and subindex and that we can meet in |
110 # an EDS file |
110 # an EDS file |
111 SECTION_KEYNAMES = ["FILEINFO", "DEVICEINFO", "DUMMYUSAGE", "COMMENTS", |
111 SECTION_KEYNAMES = ["FILEINFO", "DEVICEINFO", "DUMMYUSAGE", "COMMENTS", |
112 "MANDATORYOBJECTS", "OPTIONALOBJECTS", "MANUFACTUREROBJECTS"] |
112 "MANDATORYOBJECTS", "OPTIONALOBJECTS", "MANUFACTUREROBJECTS", |
|
113 "STANDARDDATATYPES"] |
113 |
114 |
114 |
115 |
115 # Function that extract sections from a file and returns a dictionary of the informations |
116 # Function that extract sections from a file and returns a dictionary of the informations |
116 def ExtractSections(file): |
117 def ExtractSections(file): |
117 return [(blocktuple[0], # EntryName : Assignements dict |
118 return [(blocktuple[0], # EntryName : Assignements dict |