diff options
Diffstat (limited to 'Tests/hu.bme.mit.inf.dslreasoner.application.FAMTest/inputs')
3 files changed, 83 insertions, 0 deletions
diff --git a/Tests/hu.bme.mit.inf.dslreasoner.application.FAMTest/inputs/FamInstance.xmi b/Tests/hu.bme.mit.inf.dslreasoner.application.FAMTest/inputs/FamInstance.xmi new file mode 100644 index 00000000..1d9aeae4 --- /dev/null +++ b/Tests/hu.bme.mit.inf.dslreasoner.application.FAMTest/inputs/FamInstance.xmi | |||
@@ -0,0 +1,10 @@ | |||
1 | <?xml version="1.0" encoding="UTF-8"?> | ||
2 | <functionalarchitecture:FunctionalArchitectureModel | ||
3 | xmi:version="2.0" | ||
4 | xmlns:xmi="http://www.omg.org/XMI" | ||
5 | xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" | ||
6 | xmlns:functionalarchitecture="http://www.inf.mit.bme.hu/viatrasolver/example/fam" | ||
7 | xsi:schemaLocation="http://www.inf.mit.bme.hu/viatrasolver/example/fam FamMetamodel.ecore"> | ||
8 | <rootElements | ||
9 | xsi:type="functionalarchitecture:Function"/> | ||
10 | </functionalarchitecture:FunctionalArchitectureModel> | ||
diff --git a/Tests/hu.bme.mit.inf.dslreasoner.application.FAMTest/inputs/FamMetamodel.ecore b/Tests/hu.bme.mit.inf.dslreasoner.application.FAMTest/inputs/FamMetamodel.ecore new file mode 100644 index 00000000..68943e55 --- /dev/null +++ b/Tests/hu.bme.mit.inf.dslreasoner.application.FAMTest/inputs/FamMetamodel.ecore | |||
@@ -0,0 +1,61 @@ | |||
1 | <?xml version="1.0" encoding="UTF-8"?> | ||
2 | <ecore:EPackage xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" | ||
3 | xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" name="functionalarchitecture" nsURI="http://www.inf.mit.bme.hu/viatrasolver/example/fam" | ||
4 | nsPrefix="functionalarchitecture"> | ||
5 | <eClassifiers xsi:type="ecore:EClass" name="FunctionalElement" abstract="true"> | ||
6 | <eStructuralFeatures xsi:type="ecore:EReference" name="interface" eType="#//FunctionalInterface" | ||
7 | containment="true" eOpposite="#//FunctionalInterface/element"/> | ||
8 | <eStructuralFeatures xsi:type="ecore:EReference" name="model" lowerBound="1" eType="#//FunctionalArchitectureModel" | ||
9 | volatile="true" transient="true" derived="true"> | ||
10 | <eAnnotations source="org.eclipse.viatra.query.querybasedfeature"> | ||
11 | <details key="patternFQN" value="hu.bme.mit.inf.dslreasoner.domains.fam.model"/> | ||
12 | </eAnnotations> | ||
13 | </eStructuralFeatures> | ||
14 | <eStructuralFeatures xsi:type="ecore:EReference" name="parent" eType="#//Function" | ||
15 | eOpposite="#//Function/subElements"/> | ||
16 | </eClassifiers> | ||
17 | <eClassifiers xsi:type="ecore:EClass" name="FunctionalArchitectureModel"> | ||
18 | <eStructuralFeatures xsi:type="ecore:EReference" name="rootElements" upperBound="-1" | ||
19 | eType="#//FunctionalElement" containment="true"/> | ||
20 | </eClassifiers> | ||
21 | <eClassifiers xsi:type="ecore:EClass" name="Function" eSuperTypes="#//FunctionalElement"> | ||
22 | <eStructuralFeatures xsi:type="ecore:EReference" name="subElements" upperBound="-1" | ||
23 | eType="#//FunctionalElement" containment="true" eOpposite="#//FunctionalElement/parent"/> | ||
24 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="type" lowerBound="1" eType="#//FunctionType"/> | ||
25 | </eClassifiers> | ||
26 | <eClassifiers xsi:type="ecore:EClass" name="FAMTerminator"> | ||
27 | <eStructuralFeatures xsi:type="ecore:EReference" name="data" eType="#//FunctionalData" | ||
28 | eOpposite="#//FunctionalData/terminator"/> | ||
29 | </eClassifiers> | ||
30 | <eClassifiers xsi:type="ecore:EClass" name="InformationLink"> | ||
31 | <eStructuralFeatures xsi:type="ecore:EReference" name="from" eType="#//FunctionalOutput" | ||
32 | eOpposite="#//FunctionalOutput/outgoingLinks"/> | ||
33 | <eStructuralFeatures xsi:type="ecore:EReference" name="to" lowerBound="1" eType="#//FunctionalInput" | ||
34 | eOpposite="#//FunctionalInput/IncomingLinks"/> | ||
35 | </eClassifiers> | ||
36 | <eClassifiers xsi:type="ecore:EClass" name="FunctionalInterface"> | ||
37 | <eStructuralFeatures xsi:type="ecore:EReference" name="data" upperBound="-1" eType="#//FunctionalData" | ||
38 | containment="true" eOpposite="#//FunctionalData/interface"/> | ||
39 | <eStructuralFeatures xsi:type="ecore:EReference" name="element" eType="#//FunctionalElement" | ||
40 | eOpposite="#//FunctionalElement/interface"/> | ||
41 | </eClassifiers> | ||
42 | <eClassifiers xsi:type="ecore:EClass" name="FunctionalInput" eSuperTypes="#//FunctionalData"> | ||
43 | <eStructuralFeatures xsi:type="ecore:EReference" name="IncomingLinks" upperBound="-1" | ||
44 | eType="#//InformationLink" eOpposite="#//InformationLink/to"/> | ||
45 | </eClassifiers> | ||
46 | <eClassifiers xsi:type="ecore:EClass" name="FunctionalOutput" eSuperTypes="#//FunctionalData"> | ||
47 | <eStructuralFeatures xsi:type="ecore:EReference" name="outgoingLinks" upperBound="-1" | ||
48 | eType="#//InformationLink" containment="true" eOpposite="#//InformationLink/from"/> | ||
49 | </eClassifiers> | ||
50 | <eClassifiers xsi:type="ecore:EClass" name="FunctionalData" abstract="true"> | ||
51 | <eStructuralFeatures xsi:type="ecore:EReference" name="terminator" eType="#//FAMTerminator" | ||
52 | containment="true" eOpposite="#//FAMTerminator/data"/> | ||
53 | <eStructuralFeatures xsi:type="ecore:EReference" name="interface" eType="#//FunctionalInterface" | ||
54 | eOpposite="#//FunctionalInterface/data"/> | ||
55 | </eClassifiers> | ||
56 | <eClassifiers xsi:type="ecore:EEnum" name="FunctionType"> | ||
57 | <eLiterals name="Root"/> | ||
58 | <eLiterals name="Intermediate" value="1"/> | ||
59 | <eLiterals name="Leaf" value="2"/> | ||
60 | </eClassifiers> | ||
61 | </ecore:EPackage> | ||
diff --git a/Tests/hu.bme.mit.inf.dslreasoner.application.FAMTest/inputs/FamPatterns.vql b/Tests/hu.bme.mit.inf.dslreasoner.application.FAMTest/inputs/FamPatterns.vql new file mode 100644 index 00000000..013d0419 --- /dev/null +++ b/Tests/hu.bme.mit.inf.dslreasoner.application.FAMTest/inputs/FamPatterns.vql | |||
@@ -0,0 +1,12 @@ | |||
1 | package hu.bme.mit.inf.dslreasoner.domains.fam | ||
2 | |||
3 | import epackage "http://www.inf.mit.bme.hu/viatrasolver/example/fam" | ||
4 | |||
5 | @Constraint(message="terminatorAndInformation", severity="error", key={T}) | ||
6 | pattern terminatorAndInformation(T : FAMTerminator, I : InformationLink) = { | ||
7 | FunctionalOutput.outgoingLinks(Out,I); | ||
8 | FunctionalOutput.terminator(Out,T); | ||
9 | } or { | ||
10 | InformationLink.to(I,In); | ||
11 | FunctionalInput.terminator(In,T); | ||
12 | } \ No newline at end of file | ||