Otherwise the dump file ends up being wrong. Might as well strip other
whitespace while we're at it.
class Level (object):
def __init__(me, kind, base, limit, tree = "_"):
me.coll = Collection(map(int, RX.findall(r"\d+", tree)))
class Level (object):
def __init__(me, kind, base, limit, tree = "_"):
me.coll = Collection(map(int, RX.findall(r"\d+", tree)))
- me.kind, me.base, me.limit, me.tree = kind, int(base), int(limit), tree
+ me.kind, me.base, me.limit, me.tree = \
+ kind, int(base), int(limit), tree.strip()
me.rlim = int(M.sqrt(me.limit - me.base))
def write(me, file):
file.write("%s %d %d %s\n" % (me.kind, me.base, me.limit, me.tree))
me.rlim = int(M.sqrt(me.limit - me.base))
def write(me, file):
file.write("%s %d %d %s\n" % (me.kind, me.base, me.limit, me.tree))