def _parse_header(self):
print('(Parser:_parse_header BEGIN)')
element = None
while True:
line = self.file.readline().strip()
print(' [header] {}'.format(line))
if line == 'end_header':
break
elems = line.split()
if elems[0] == 'format':
self.format = elems[1]
elif elems[0] == 'element':
if element:
self.elements.append(element)
name, size = elems[1:3]
element = Element(name, int(size))
elif elems[0] == 'property':
prop_type, prop_name = ' '.join(elems[1:-1]), elems[-1]
element.add_property(Property(prop_type, prop_name))
self.elements.append(element)
print('(PLYParser:_parse_header END)')
