From 0de91bb5d6e2510e4d2dd8739e7e672bca26d872 Mon Sep 17 00:00:00 2001 From: OszkarSemerath Date: Sat, 5 May 2018 18:21:03 +0200 Subject: Alloy file writer configuration --- .../src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/AlloySolver.xtend | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme') diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/AlloySolver.xtend b/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/AlloySolver.xtend index e664b3b5..432651af 100644 --- a/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/AlloySolver.xtend +++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/AlloySolver.xtend @@ -33,7 +33,7 @@ class AlloySolver extends LogicReasoner{ override solve(LogicProblem problem, LogicSolverConfiguration configuration, ReasonerWorkspace workspace) throws LogicReasonerException { val alloyConfig = configuration.asConfig - val writeToFile = ( + val writeFile = ( configuration.documentationLevel===DocumentationLevel::NORMAL || configuration.documentationLevel===DocumentationLevel::FULL) @@ -45,7 +45,7 @@ class AlloySolver extends LogicReasoner{ //var String fileURI = null; var String alloyCode = workspace.writeModelToString(alloyProblem,fileName) - if(writeToFile) { + if(writeFile) { workspace.writeModel(alloyProblem,fileName) } val transformationTime = System.currentTimeMillis - transformationStart -- cgit v1.2.3-54-g00ecf