blob: bea4e8a6d797c661e51c63b71a5288e0706292f6 (
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
|
package ca.mcgill.ecse.dslreasoner.vampire.icse;
import ca.mcgill.ecse.dslreasoner.vampire.icse.GeneralTest;
import hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.YakindummPackage;
import hu.bme.mit.inf.dslreasoner.ecore2logic.EcoreMetamodelDescriptor;
import hu.bme.mit.inf.dslreasoner.workspace.FileSystemWorkspace;
import java.util.Map;
import org.eclipse.emf.common.util.EList;
import org.eclipse.emf.ecore.EObject;
import org.eclipse.emf.ecore.resource.Resource;
import org.eclipse.emf.ecore.xmi.impl.XMIResourceFactoryImpl;
import org.eclipse.xtend2.lib.StringConcatenation;
import org.eclipse.xtext.xbase.lib.InputOutput;
@SuppressWarnings("all")
public class YakinduTest {
public static void main(final String[] args) {
StringConcatenation _builder = new StringConcatenation();
_builder.append("initialModels/");
final FileSystemWorkspace inputs = new FileSystemWorkspace(_builder.toString(), "");
StringConcatenation _builder_1 = new StringConcatenation();
_builder_1.append("output/YakinduTest/");
final FileSystemWorkspace workspace = new FileSystemWorkspace(_builder_1.toString(), "");
workspace.initAndClear();
final Resource.Factory.Registry reg = Resource.Factory.Registry.INSTANCE;
final Map<String, Object> map = reg.getExtensionToFactoryMap();
XMIResourceFactoryImpl _xMIResourceFactoryImpl = new XMIResourceFactoryImpl();
map.put("logicproblem", _xMIResourceFactoryImpl);
InputOutput.<String>println("Input and output workspaces are created");
final EcoreMetamodelDescriptor metamodel = GeneralTest.loadMetamodel(YakindummPackage.eINSTANCE);
final EList<EObject> partialModel = GeneralTest.loadPartialModel(inputs, "Yakindu.xmi");
InputOutput.<String>println("DSL loaded");
}
}
|