diff options
author | 2018-02-28 18:10:34 -0500 | |
---|---|---|
committer | 2018-02-28 18:10:34 -0500 | |
commit | 896dff596a74f1a79082d65952ef1660bac4877a (patch) | |
tree | 5866063e3f5b42f406ffeaeda0a682a999af1e64 /Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/workspace/ReasonerWorkspace.xtend | |
parent | Merge branch 'master' of https://github.com/viatra/VIATRA-Generator (diff) | |
download | VIATRA-Generator-896dff596a74f1a79082d65952ef1660bac4877a.tar.gz VIATRA-Generator-896dff596a74f1a79082d65952ef1660bac4877a.tar.zst VIATRA-Generator-896dff596a74f1a79082d65952ef1660bac4877a.zip |
added getFile() and refresh() to workspace
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 |