def __init__(self, path):
self._temporary_directory = mkdtemp(prefix="camp_")
workspace = join_paths(self._temporary_directory, "acceptance")
self._source = join_paths("samples", path)
self._input = InputDirectory(self._copy(self._source, workspace),
YAML())
self._output = OutputDirectory(join_paths(self._input.path, "out"),
YAML())
self._model = None
def realize(self):
camp = Camp(YAML(), Z3Problem, Builder())
command = Command.extract_from([
"realize", "-d", self._input_directory, "-o",
self._output_directory
])
command.send_to(camp)
def __init__(self, path=""):
temporary_directory = join_paths(mkdtemp(prefix="camp_"), path)
makedirs(temporary_directory, exist_ok=True)
self._input = InputDirectory(temporary_directory, YAML())
self._output = OutputDirectory(join_paths(self._input.path, "out"), YAML())
self._model = None
def camp(*arguments):
camp = Camp(YAML(), Z3Problem, Builder())
command = Command.extract_from(arguments)
command.send_to(camp)
def setUp(self):
self._output = StringIO()
self._codec = YAML()
def setUp(self):
self._codec = YAML()
def realize(self):
camp = Camp(YAML(), Z3Problem, Builder())
command = Command.extract_from([
"realize", "-d", self.INPUT_DIRECTORY, "-o", self.OUTPUT_DIRECTORY
])
command.send_to(camp)
def invoke_camp_generate(self, mode=Generate.ALL):
camp = Camp(YAML(), Z3Problem, Builder())
command = Command.extract_from(
["generate", "--mode", mode, "-d", self._working_directory])
command.send_to(camp)
def __init__(self, path, codec=None):
super(InputDirectory, self).__init__(path)
self._codec = codec or YAML()
def setUp(self):
self._yaml = YAML()
def __init__(self, path, workspace):
self._source = join_paths("samples", path)
self._input = InputDirectory(self._copy(self._source, workspace), YAML())
self._output = OutputDirectory(join_paths(self._input.path, "out"), YAML())
self._model = None
def main():
camp = Camp(YAML(), Z3Problem, Builder())
command = Command.extract_from(argv[1:])
command.send_to(camp)