From 896dff596a74f1a79082d65952ef1660bac4877a Mon Sep 17 00:00:00 2001 From: OszkarSemerath Date: Wed, 28 Feb 2018 18:10:34 -0500 Subject: added getFile() and refresh() to workspace --- .../mit/inf/dslreasoner/application/execution/NullWorkspace.xtend | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'Application') 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{ override public String readText(String name) { throw new UnsupportedOperationException(message) } + + override public getFile(String name) { + throw new UnsupportedOperationException(message) + } + override refreshFile(String name) { } } \ No newline at end of file -- cgit v1.2.3-54-g00ecf