aboutsummaryrefslogtreecommitdiffstats
path: root/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/workspace/ReasonerWorkspace.xtend
diff options
context:
space:
mode:
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/workspace/ReasonerWorkspace.xtend')
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/workspace/ReasonerWorkspace.xtend4
1 files changed, 3 insertions, 1 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/workspace/ReasonerWorkspace.xtend b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/workspace/ReasonerWorkspace.xtend
index 45cc7b3b..4a5055e8 100644
--- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/workspace/ReasonerWorkspace.xtend
+++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/workspace/ReasonerWorkspace.xtend
@@ -10,6 +10,7 @@ import org.eclipse.emf.ecore.resource.Resource
10import java.io.ByteArrayOutputStream 10import java.io.ByteArrayOutputStream
11import java.io.IOException 11import java.io.IOException
12import java.util.List 12import java.util.List
13import java.io.File
13 14
14abstract class ReasonerWorkspace{ 15abstract class ReasonerWorkspace{
15 16
@@ -39,7 +40,8 @@ abstract class ReasonerWorkspace{
39 val URI resourceURI = getURI(name) 40 val URI resourceURI = getURI(name)
40 return resSet.createResource(resourceURI); 41 return resSet.createResource(resourceURI);
41 } 42 }
42 43 public def File getFile(String name)
44 public def void refreshFile(String name)
43 45
44 /** 46 /**
45 * Writes a model 47 * Writes a model