Example #1
0
 def read_header(self, stream):
     header = xml.fromstring(stream.readline())
     self.process_count = utils.xml_int(header, "process-count")
     self.threads_count = utils.xml_int(header, "threads-count")
     lines_count = utils.xml_int(header, "description-lines")
     project_string = "\n".join((stream.readline() for i in xrange(lines_count)))
     self.project = load_project_from_xml(xml.fromstring(project_string), "")
Example #2
0
 def _read_header(self):
     with open(self.filename, "r") as f:
         header = xml.fromstring(f.readline())
         self.pointer_size = utils.xml_int(header, "pointer-size")
         self.process_count = utils.xml_int(header, "process-count")
         x = xml.fromstring(f.read())
         self.project = loader.load_project_from_xml(x, "")
Example #3
0
 def _read_header(self):
     with open(self.filename, "r") as f:
         header = xml.fromstring(f.readline())
         self.pointer_size = utils.xml_int(header, "pointer-size")
         self.process_count = utils.xml_int(header, "process-count")
         x = xml.fromstring(f.read())
         self.project = loader.load_project_from_xml(x, "")
 def read_header(self, stream):
     header = xml.fromstring(stream.readline())
     self.process_count = utils.xml_int(header, "process-count")
     lines_count = utils.xml_int(header, "description-lines")
     project_string = "\n".join((stream.readline() for i in xrange(lines_count)))
     self.project = load_project_from_xml(xml.fromstring(project_string), "")