blob: 95bfd87ae02d9faec0d927088e7bbc3d3644f86b (
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
|
package ca.mcgill.ecse.dslreasoner.vampire.icse
import ca.mcgill.ecse.dslreasoner.vampire.queries.FamPatterns
import functionalarchitecture.FunctionalarchitecturePackage
import hu.bme.mit.inf.dslreasoner.workspace.FileSystemWorkspace
import java.util.LinkedList
import org.eclipse.emf.ecore.EObject
import org.eclipse.emf.ecore.resource.Resource
import org.eclipse.emf.ecore.xmi.impl.XMIResourceFactoryImpl
class FAMTest {
def static void main(String[] args) {
//Workspace setup
val inputs = new FileSystemWorkspace('''initialModels/''', "")
val workspace = new FileSystemWorkspace('''output/FAMTest/''', "")
workspace.initAndClear
//Logicproblem writing setup
val reg = Resource.Factory.Registry.INSTANCE
val map = reg.extensionToFactoryMap
map.put("logicproblem", new XMIResourceFactoryImpl)
println("Input and output workspaces are created")
val metamodel = GeneralTest.loadMetamodel(FunctionalarchitecturePackage.eINSTANCE)
val partialModel = GeneralTest.loadPartialModel(inputs, "FunctionalArchitectureModel2.xmi")
val queries = GeneralTest.loadQueries(metamodel, FamPatterns.instance)
println("DSL loaded")
GeneralTest.createAndSolveProblem(metamodel, new LinkedList<EObject>, queries, workspace)
}
}
|
