diff options
Diffstat (limited to 'subprojects/language-model/src/main/resources/model/problem.genmodel')
-rw-r--r-- | subprojects/language-model/src/main/resources/model/problem.genmodel | 165 |
1 files changed, 165 insertions, 0 deletions
diff --git a/subprojects/language-model/src/main/resources/model/problem.genmodel b/subprojects/language-model/src/main/resources/model/problem.genmodel new file mode 100644 index 00000000..9ba2274b --- /dev/null +++ b/subprojects/language-model/src/main/resources/model/problem.genmodel | |||
@@ -0,0 +1,165 @@ | |||
1 | <?xml version="1.0" encoding="UTF-8"?> | ||
2 | <genmodel:GenModel 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" xmlns:genmodel="http://www.eclipse.org/emf/2002/GenModel" | ||
4 | modelDirectory="/tools.refinery.refinery-language-model/src/main/emf-gen" | ||
5 | creationIcons="false" editDirectory="/language-edit/src/main/emf-gen" editorDirectory="/org.eclipse.viatra.solver.language.model.editor/src-gen" | ||
6 | modelPluginID="language-model" modelName="Problem" rootExtendsClass="org.eclipse.emf.ecore.impl.MinimalEObjectImpl$Container" | ||
7 | codeFormatting="true" importerID="org.eclipse.emf.importer.ecore" complianceLevel="5.0" | ||
8 | copyrightFields="false" operationReflection="true" importOrganizing="true"> | ||
9 | <foreignModel>problem.ecore</foreignModel> | ||
10 | <testsDirectory xsi:nil="true"/> | ||
11 | <genPackages prefix="Problem" basePackage="tools.refinery.language.model" resource="XMI" | ||
12 | disposableProviderFactory="true" fileExtensions="problem_xmi" ecorePackage="problem.ecore#/"> | ||
13 | <genEnums typeSafeEnumCompatible="false" ecoreEnum="problem.ecore#//LogicValue"> | ||
14 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//LogicValue/TRUE"/> | ||
15 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//LogicValue/FALSE"/> | ||
16 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//LogicValue/UNKNOWN"/> | ||
17 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//LogicValue/ERROR"/> | ||
18 | </genEnums> | ||
19 | <genEnums typeSafeEnumCompatible="false" ecoreEnum="problem.ecore#//PredicateKind"> | ||
20 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//PredicateKind/PARTIAL"/> | ||
21 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//PredicateKind/DIRECT"/> | ||
22 | </genEnums> | ||
23 | <genEnums typeSafeEnumCompatible="false" ecoreEnum="problem.ecore#//RuleKind"> | ||
24 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//RuleKind/DIRECT"/> | ||
25 | </genEnums> | ||
26 | <genClasses ecoreClass="problem.ecore#//Problem"> | ||
27 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//Problem/nodes"/> | ||
28 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//Problem/statements"/> | ||
29 | </genClasses> | ||
30 | <genClasses ecoreClass="problem.ecore#//Relation"/> | ||
31 | <genClasses ecoreClass="problem.ecore#//ClassDeclaration"> | ||
32 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//ClassDeclaration/abstract"/> | ||
33 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//ClassDeclaration/superTypes"/> | ||
34 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//ClassDeclaration/referenceDeclarations"/> | ||
35 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//ClassDeclaration/newNode"/> | ||
36 | </genClasses> | ||
37 | <genClasses ecoreClass="problem.ecore#//ReferenceDeclaration"> | ||
38 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//ReferenceDeclaration/referenceType"/> | ||
39 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//ReferenceDeclaration/opposite"/> | ||
40 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//ReferenceDeclaration/containment"/> | ||
41 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//ReferenceDeclaration/multiplicity"/> | ||
42 | </genClasses> | ||
43 | <genClasses ecoreClass="problem.ecore#//NamedElement"> | ||
44 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//NamedElement/name"/> | ||
45 | </genClasses> | ||
46 | <genClasses ecoreClass="problem.ecore#//PredicateDefinition"> | ||
47 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//PredicateDefinition/error"/> | ||
48 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//PredicateDefinition/kind"/> | ||
49 | </genClasses> | ||
50 | <genClasses ecoreClass="problem.ecore#//Parameter"> | ||
51 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//Parameter/parameterType"/> | ||
52 | </genClasses> | ||
53 | <genClasses ecoreClass="problem.ecore#//Variable"/> | ||
54 | <genClasses ecoreClass="problem.ecore#//Conjunction"> | ||
55 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//Conjunction/literals"/> | ||
56 | </genClasses> | ||
57 | <genClasses ecoreClass="problem.ecore#//Literal"/> | ||
58 | <genClasses ecoreClass="problem.ecore#//Atom"> | ||
59 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//Atom/relation"/> | ||
60 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//Atom/transitiveClosure"/> | ||
61 | <genFeatures children="true" createChild="true" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//Atom/arguments"/> | ||
62 | </genClasses> | ||
63 | <genClasses ecoreClass="problem.ecore#//ImplicitVariable"/> | ||
64 | <genClasses ecoreClass="problem.ecore#//NegativeLiteral"/> | ||
65 | <genClasses ecoreClass="problem.ecore#//ExistentialQuantifier"> | ||
66 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//ExistentialQuantifier/implicitVariables"/> | ||
67 | </genClasses> | ||
68 | <genClasses ecoreClass="problem.ecore#//Assertion"> | ||
69 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//Assertion/relation"/> | ||
70 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//Assertion/value"/> | ||
71 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//Assertion/arguments"/> | ||
72 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//Assertion/default"/> | ||
73 | </genClasses> | ||
74 | <genClasses ecoreClass="problem.ecore#//Node"/> | ||
75 | <genClasses ecoreClass="problem.ecore#//ScopeDeclaration"> | ||
76 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//ScopeDeclaration/typeScopes"/> | ||
77 | </genClasses> | ||
78 | <genClasses ecoreClass="problem.ecore#//Statement"/> | ||
79 | <genClasses ecoreClass="problem.ecore#//TypeScope"> | ||
80 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//TypeScope/targetType"/> | ||
81 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//TypeScope/increment"/> | ||
82 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//TypeScope/multiplicity"/> | ||
83 | </genClasses> | ||
84 | <genClasses ecoreClass="problem.ecore#//Multiplicity"/> | ||
85 | <genClasses ecoreClass="problem.ecore#//RangeMultiplicity"> | ||
86 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//RangeMultiplicity/lowerBound"/> | ||
87 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//RangeMultiplicity/upperBound"/> | ||
88 | </genClasses> | ||
89 | <genClasses ecoreClass="problem.ecore#//ExactMultiplicity"> | ||
90 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//ExactMultiplicity/exactValue"/> | ||
91 | </genClasses> | ||
92 | <genClasses ecoreClass="problem.ecore#//UnboundedMultiplicity"/> | ||
93 | <genClasses ecoreClass="problem.ecore#//VariableOrNodeArgument"> | ||
94 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//VariableOrNodeArgument/variableOrNode"/> | ||
95 | <genFeatures children="true" createChild="true" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//VariableOrNodeArgument/singletonVariable"/> | ||
96 | </genClasses> | ||
97 | <genClasses ecoreClass="problem.ecore#//EnumDeclaration"> | ||
98 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//EnumDeclaration/literals"/> | ||
99 | </genClasses> | ||
100 | <genClasses ecoreClass="problem.ecore#//VariableOrNode"/> | ||
101 | <genClasses ecoreClass="problem.ecore#//Constant"/> | ||
102 | <genClasses ecoreClass="problem.ecore#//IntConstant"> | ||
103 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//IntConstant/intValue"/> | ||
104 | </genClasses> | ||
105 | <genClasses ecoreClass="problem.ecore#//RealConstant"> | ||
106 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//RealConstant/realValue"/> | ||
107 | </genClasses> | ||
108 | <genClasses ecoreClass="problem.ecore#//StringConstant"> | ||
109 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//StringConstant/stringValue"/> | ||
110 | </genClasses> | ||
111 | <genClasses ecoreClass="problem.ecore#//ConstantArgument"> | ||
112 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//ConstantArgument/constant"/> | ||
113 | </genClasses> | ||
114 | <genClasses ecoreClass="problem.ecore#//Argument"/> | ||
115 | <genClasses ecoreClass="problem.ecore#//NodeAssertionArgument"> | ||
116 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//NodeAssertionArgument/node"/> | ||
117 | </genClasses> | ||
118 | <genClasses ecoreClass="problem.ecore#//AssertionArgument"/> | ||
119 | <genClasses ecoreClass="problem.ecore#//ConstantAssertionArgument"> | ||
120 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//ConstantAssertionArgument/constant"/> | ||
121 | </genClasses> | ||
122 | <genClasses ecoreClass="problem.ecore#//NodeValueAssertion"> | ||
123 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//NodeValueAssertion/node"/> | ||
124 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//NodeValueAssertion/value"/> | ||
125 | </genClasses> | ||
126 | <genClasses ecoreClass="problem.ecore#//IndividualDeclaration"> | ||
127 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//IndividualDeclaration/nodes"/> | ||
128 | </genClasses> | ||
129 | <genClasses ecoreClass="problem.ecore#//WildcardAssertionArgument"/> | ||
130 | <genClasses ecoreClass="problem.ecore#//ParametricDefinition"> | ||
131 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//ParametricDefinition/bodies"/> | ||
132 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//ParametricDefinition/parameters"/> | ||
133 | </genClasses> | ||
134 | <genClasses ecoreClass="problem.ecore#//RuleDefinition"> | ||
135 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//RuleDefinition/kind"/> | ||
136 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//RuleDefinition/action"/> | ||
137 | </genClasses> | ||
138 | <genClasses ecoreClass="problem.ecore#//Action"> | ||
139 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//Action/actionLiterals"/> | ||
140 | </genClasses> | ||
141 | <genClasses ecoreClass="problem.ecore#//ActionLiteral"/> | ||
142 | <genClasses ecoreClass="problem.ecore#//ValueActionLiteral"> | ||
143 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//ValueActionLiteral/atom"/> | ||
144 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//ValueActionLiteral/value"/> | ||
145 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//ValueActionLiteral/refinement"/> | ||
146 | </genClasses> | ||
147 | <genClasses ecoreClass="problem.ecore#//DeleteActionLiteral"> | ||
148 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//DeleteActionLiteral/variableOrNode"/> | ||
149 | </genClasses> | ||
150 | <genClasses ecoreClass="problem.ecore#//NewActionLiteral"> | ||
151 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//NewActionLiteral/variable"/> | ||
152 | </genClasses> | ||
153 | <genClasses ecoreClass="problem.ecore#//NewVariable"/> | ||
154 | <genClasses ecoreClass="problem.ecore#//CompoundLiteral"> | ||
155 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//CompoundLiteral/atom"/> | ||
156 | </genClasses> | ||
157 | <genClasses ecoreClass="problem.ecore#//ValueLiteral"> | ||
158 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//ValueLiteral/values"/> | ||
159 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//ValueLiteral/refinement"/> | ||
160 | </genClasses> | ||
161 | <genClasses ecoreClass="problem.ecore#//LogicConstant"> | ||
162 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//LogicConstant/value"/> | ||
163 | </genClasses> | ||
164 | </genPackages> | ||
165 | </genmodel:GenModel> | ||