diff options
author | 2020-05-08 21:02:33 +0200 | |
---|---|---|
committer | 2020-05-08 21:02:33 +0200 | |
commit | 771e3773bb7ebbf6712724cb2b248467c9cc2e3c (patch) | |
tree | b1724af24b9c583b2780c7a2fe76e76fd174359d /Application/org.eclipse.viatra.solver.language/model/generated/SolverLanguage.genmodel | |
parent | Update solver language grammar (diff) | |
download | VIATRA-Generator-771e3773bb7ebbf6712724cb2b248467c9cc2e3c.tar.gz VIATRA-Generator-771e3773bb7ebbf6712724cb2b248467c9cc2e3c.tar.zst VIATRA-Generator-771e3773bb7ebbf6712724cb2b248467c9cc2e3c.zip |
Synthetic tokens for solver language
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language/model/generated/SolverLanguage.genmodel')
-rw-r--r-- | Application/org.eclipse.viatra.solver.language/model/generated/SolverLanguage.genmodel | 15 |
1 files changed, 8 insertions, 7 deletions
diff --git a/Application/org.eclipse.viatra.solver.language/model/generated/SolverLanguage.genmodel b/Application/org.eclipse.viatra.solver.language/model/generated/SolverLanguage.genmodel index 4c88d381..53c17e2a 100644 --- a/Application/org.eclipse.viatra.solver.language/model/generated/SolverLanguage.genmodel +++ b/Application/org.eclipse.viatra.solver.language/model/generated/SolverLanguage.genmodel | |||
@@ -53,12 +53,7 @@ | |||
53 | <genClasses ecoreClass="SolverLanguage.ecore#//Problem"> | 53 | <genClasses ecoreClass="SolverLanguage.ecore#//Problem"> |
54 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//Problem/statements"/> | 54 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//Problem/statements"/> |
55 | </genClasses> | 55 | </genClasses> |
56 | <genClasses ecoreClass="SolverLanguage.ecore#//Statement"> | 56 | <genClasses ecoreClass="SolverLanguage.ecore#//Statement"/> |
57 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//Statement/abstract"/> | ||
58 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//Statement/name"/> | ||
59 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//Statement/superclasses"/> | ||
60 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//Statement/members"/> | ||
61 | </genClasses> | ||
62 | <genClasses ecoreClass="SolverLanguage.ecore#//PredicateDefinition"> | 57 | <genClasses ecoreClass="SolverLanguage.ecore#//PredicateDefinition"> |
63 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//PredicateDefinition/head"/> | 58 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//PredicateDefinition/head"/> |
64 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//PredicateDefinition/body"/> | 59 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//PredicateDefinition/body"/> |
@@ -105,9 +100,9 @@ | |||
105 | </genClasses> | 100 | </genClasses> |
106 | <genClasses ecoreClass="SolverLanguage.ecore#//Call"> | 101 | <genClasses ecoreClass="SolverLanguage.ecore#//Call"> |
107 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//Call/functor"/> | 102 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//Call/functor"/> |
108 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//Call/argumentList"/> | ||
109 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//Call/transitiveClosure"/> | 103 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//Call/transitiveClosure"/> |
110 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//Call/reflexiveTransitiveClosure"/> | 104 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//Call/reflexiveTransitiveClosure"/> |
105 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//Call/argumentList"/> | ||
111 | </genClasses> | 106 | </genClasses> |
112 | <genClasses ecoreClass="SolverLanguage.ecore#//ArgumentList"> | 107 | <genClasses ecoreClass="SolverLanguage.ecore#//ArgumentList"> |
113 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//ArgumentList/arguments"/> | 108 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//ArgumentList/arguments"/> |
@@ -143,6 +138,12 @@ | |||
143 | <genClasses ecoreClass="SolverLanguage.ecore#//StringLiteral"> | 138 | <genClasses ecoreClass="SolverLanguage.ecore#//StringLiteral"> |
144 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//StringLiteral/value"/> | 139 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//StringLiteral/value"/> |
145 | </genClasses> | 140 | </genClasses> |
141 | <genClasses ecoreClass="SolverLanguage.ecore#//ClassDefinition"> | ||
142 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//ClassDefinition/abstract"/> | ||
143 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//ClassDefinition/name"/> | ||
144 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//ClassDefinition/superclasses"/> | ||
145 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//ClassDefinition/members"/> | ||
146 | </genClasses> | ||
146 | <genClasses ecoreClass="SolverLanguage.ecore#//MemberDefinition"> | 147 | <genClasses ecoreClass="SolverLanguage.ecore#//MemberDefinition"> |
147 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//MemberDefinition/containment"/> | 148 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//MemberDefinition/containment"/> |
148 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//MemberDefinition/type"/> | 149 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//MemberDefinition/type"/> |