diff options
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.xtend | 4 |
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 | |||
10 | import java.io.ByteArrayOutputStream | 10 | import java.io.ByteArrayOutputStream |
11 | import java.io.IOException | 11 | import java.io.IOException |
12 | import java.util.List | 12 | import java.util.List |
13 | import java.io.File | ||
13 | 14 | ||
14 | abstract class ReasonerWorkspace{ | 15 | abstract 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 |