https://github.com/xcsp3team/pycsp3
Tip revision: d2d7f19fd89ee10ed41aad31e207288b73063b68 authored by lecoutre on 08 October 2020, 07:17:18 UTC
Minor bug fixed for comments
Minor bug fixed for comments
Tip revision: d2d7f19
dashboard.py
class _Options:
def __init__(self):
self.values = tuple() # options with non-Boolean values (strings or numbers)
self.flags = tuple() # Boolean options
self.parameters = []
self.parameters_cursor = 0
def set_values(self, *values):
self.values = [value.lower() for value in values]
for option in self.values:
vars(self)[option] = None
def set_flags(self, *flags):
self.flags = [flag.lower() for flag in flags]
for option in self.flags:
vars(self)[option] = False
def get(self, name):
return vars(self)[name]
def consume_parameter(self):
if self.parameters_cursor < len(self.parameters):
parameter = self.parameters[self.parameters_cursor]
self.parameters_cursor += 1
return parameter
else:
return None
def parse(self, args):
for arg in args:
if arg[0] == '-':
t = arg[1:].split('=', 1)
if len(t) == 1:
flag = t[0].lower()
if flag in self.flags:
vars(self)[flag] = True
assert flag not in self.values or flag == 'dataexport', "You have to specify a value for the option -" + flag
else:
print("Warning: Unknown option", arg)
else:
assert len(t) == 2
value = t[0].lower()
if value in self.values:
assert len(t[1]) > 0, "The value specified for the option -" + value + " is the empty string"
vars(self)[value] = t[1]
else:
print("Warning: Unknown option", arg)
else:
self.parameters.append(arg)
options = _Options()