diff options
| author |  OszkarSemerath <oszkar.semerath@gmail.com> | 2018-02-28 18:10:34 -0500 |
|---|---|---|
| committer | OszkarSemerath <oszkar.semerath@gmail.com> | 2018-02-28 18:10:34 -0500 |
| commit | 896dff596a74f1a79082d65952ef1660bac4877a (patch) | |
| tree | 5866063e3f5b42f406ffeaeda0a682a999af1e64 /Application/hu.bme.mit.inf.dslreasoner.application | |
| 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 'Application/hu.bme.mit.inf.dslreasoner.application')
| -rw-r--r-- | Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/NullWorkspace.xtend | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/NullWorkspace.xtend b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/NullWorkspace.xtend index fd3e7348..fa677a7c 100644 --- a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/NullWorkspace.xtend +++ b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/NullWorkspace.xtend | |||
| @@ -51,4 +51,9 @@ class NullWorkspace extends ReasonerWorkspace{ | |||
| 51 | override public String readText(String name) { | 51 | override public String readText(String name) { |
| 52 | throw new UnsupportedOperationException(message) | 52 | throw new UnsupportedOperationException(message) |
| 53 | } | 53 | } |
| 54 | |||
| 55 | override public getFile(String name) { | ||
| 56 | throw new UnsupportedOperationException(message) | ||
| 57 | } | ||
| 58 | override refreshFile(String name) { } | ||
| 54 | } \ No newline at end of file | 59 | } \ No newline at end of file |