107
107
This is only to be used by read_weave and WeaveFile.__init__.
109
123
from weave import WeaveFormatError
113
129
raise WeaveFormatError('invalid weave file header: %r' % l)
120
137
w._parents.append(map(int, l[2:].split(' ')))
131
148
assert name not in w._name_map