1 files changed, 52 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
new file mode 100644
index 00000000..4cc44df3
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/NullWorkspace.xtend
@@ -0,0 +1,52 @@
+package hu.bme.mit.inf.dslreasoner.application.execution

+

+import hu.bme.mit.inf.dslreasoner.workspace.ReasonerWorkspace

+import java.io.ByteArrayOutputStream

+import java.io.FileNotFoundException

+import java.util.Collections

+import java.util.List

+import org.eclipse.emf.common.util.URI

+import org.eclipse.emf.ecore.EObject

+import org.eclipse.emf.ecore.resource.Resource

+

+class NullWorkspace extends ReasonerWorkspace{

+        

+        new() {

+                super(null, null)

+        }

+        

+        static val message = "No workspace is specified!"

+        

+        public override ReasonerWorkspace subWorkspace(String targetFolder, String prefix) {

+                return new NullWorkspace()

+        }

+

+        override URI getWorkspaceURI() {

+                throw new UnsupportedOperationException(message)

+        }

+        override public void initAndClear() {}

+        override protected URI getURI(String name) {

+                throw new UnsupportedOperationException(message)

+        }

+        protected override Resource getResource(String name) {

+                throw new UnsupportedOperationException(message)

+        }

+        override public URI writeModel(EObject modelRoot, String name) { }      

+        override public <RootType extends EObject> RootType reloadModel(Class<RootType> type, String name) {

+                throw new UnsupportedOperationException(message)

+        } 

+        override public <RootType extends EObject> RootType readModel(Class<RootType> type, String name) {

+                throw new UnsupportedOperationException(message)

+        }

+        override public deactivateModel(String name) { }

+        override protected void renameFile(String name) { }

+        

+        override public List<String> allFiles() {

+                throw new UnsupportedOperationException(message)

+        }

+        override public URI writeText(String name, CharSequence content) { }

+        

+        override public String readText(String name) {

+                throw new UnsupportedOperationException(message)

+        }

+}
\ No newline at end of file