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), "")
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), "")