15 |
15 |
16 class SessionReader(XMLStreamReaderBase): |
16 class SessionReader(XMLStreamReaderBase): |
17 """ |
17 """ |
18 Class for reading an XML session file. |
18 Class for reading an XML session file. |
19 """ |
19 """ |
20 supportedVersions = ["4.3", "4.4", "5.0", "6.0", "6.1", "6.2", "6.3"] |
20 supportedVersions = ["4.3", "4.4", "5.0", "6.0", "6.1", "6.2", "6.3", |
|
21 "6.4"] |
21 |
22 |
22 def __init__(self, device, isGlobal): |
23 def __init__(self, device, isGlobal): |
23 """ |
24 """ |
24 Constructor |
25 Constructor |
25 |
26 |
331 self.dbg.setMultiprocessNoDebugHistory(txt) |
332 self.dbg.setMultiprocessNoDebugHistory(txt) |
332 if not self.isGlobal: |
333 if not self.isGlobal: |
333 self.project.dbgMultiprocessNoDebug = txt |
334 self.project.dbgMultiprocessNoDebug = txt |
334 elif self.name() == "CovexcPattern": |
335 elif self.name() == "CovexcPattern": |
335 pass # ignore this start tag |
336 pass # ignore this start tag |
|
337 elif self.name() == "GlobalConfigOverride": |
|
338 configOverride = { |
|
339 "enable": self.toBool(self.attribute("enable")), |
|
340 "redirect": self.toBool(self.attribute("redirect")), |
|
341 } |
|
342 self.dbg.setEnableGlobalConfigOverride(configOverride) |
|
343 if not self.isGlobal: |
|
344 self.project.dbgGlobalConfigOverride = configOverride |
336 else: |
345 else: |
337 self.raiseUnexpectedStartTag(self.name()) |
346 self.raiseUnexpectedStartTag(self.name()) |
338 |
347 |
339 def __readBookmarks(self): |
348 def __readBookmarks(self): |
340 """ |
349 """ |