aboutsummaryrefslogtreecommitdiffstats
path: root/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/NullWorkspace.xtend
blob: fd3e7348d4c65a188dd9dfdb8510376737864f40 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
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 writeModelToString(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)
	}
}