def _set_formula(self, val):
if self.formula is not None:
raise parser.BadCommandError()
self.formula = val
def _set_inc(self, val):
if self.inc is not None:
raise parser.BadCommandError()
assert (val >= 0)
self.inc = val
def _set_manual(self, val):
if self.manual is not None:
raise parser.BadCommandError()
self.manual = val
def _set_time(self, val):
if self.time is not None:
raise parser.BadCommandError()
assert (val >= 0)
self.time = val
def _set_clock_name(self, val):
if self.clock_name is not None:
# conflicting clock types
raise parser.BadCommandError()
self.clock_name = val
def _set_variant_name(self, val):
if self.variant_name is not None:
# conflicting variants
raise parser.BadCommandError()
self.variant_name = val
def _set_side(self, val):
assert (val in [WHITE, BLACK])
if self.side is not None:
raise parser.BadCommandError()
self.side = val
def _set_rated(self, val):
assert (val in [True, False])
if self.rated is not None:
raise parser.BadCommandError()
self.rated = val