diff options
author | OszkarSemerath <oszkar.semerath@gmail.com> | 2018-05-08 17:27:14 +0200 |
---|---|---|
committer | OszkarSemerath <oszkar.semerath@gmail.com> | 2018-05-08 17:27:14 +0200 |
commit | b4586542870d0e27b3d6da9fbd3eb30fd36d1d7f (patch) | |
tree | 57898cebbe0edf7a2228114cb095900a2d13d983 /Application/hu.bme.mit.inf.dslreasoner.application/xtend-gen/hu/bme | |
parent | Refactored to the milestone version of Viatra 2.0 (diff) | |
download | VIATRA-Generator-b4586542870d0e27b3d6da9fbd3eb30fd36d1d7f.tar.gz VIATRA-Generator-b4586542870d0e27b3d6da9fbd3eb30fd36d1d7f.tar.zst VIATRA-Generator-b4586542870d0e27b3d6da9fbd3eb30fd36d1d7f.zip |
Regenerated Application Configuration Language
Diffstat (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/xtend-gen/hu/bme')
2 files changed, 27 insertions, 44 deletions
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/xtend-gen/hu/bme/mit/inf/dslreasoner/application/validation/MetamodelValidator.java b/Application/hu.bme.mit.inf.dslreasoner.application/xtend-gen/hu/bme/mit/inf/dslreasoner/application/validation/MetamodelValidator.java index 44d86022..2a2e1047 100644 --- a/Application/hu.bme.mit.inf.dslreasoner.application/xtend-gen/hu/bme/mit/inf/dslreasoner/application/validation/MetamodelValidator.java +++ b/Application/hu.bme.mit.inf.dslreasoner.application/xtend-gen/hu/bme/mit/inf/dslreasoner/application/validation/MetamodelValidator.java | |||
@@ -20,19 +20,11 @@ import org.eclipse.xtext.xbase.lib.Extension; | |||
20 | public class MetamodelValidator { | 20 | public class MetamodelValidator { |
21 | public LinkedList<String> validateMetamodel(final EcoreMetamodelDescriptor descriptor) { | 21 | public LinkedList<String> validateMetamodel(final EcoreMetamodelDescriptor descriptor) { |
22 | final LinkedList<String> errors = new LinkedList<String>(); | 22 | final LinkedList<String> errors = new LinkedList<String>(); |
23 | List<EClass> _classes = descriptor.getClasses(); | 23 | this.allSupertypesAreIncluded(descriptor.getClasses(), errors); |
24 | this.allSupertypesAreIncluded(_classes, errors); | 24 | this.allEnumTypesareIncluded(descriptor.getEnums(), descriptor.getLiterals(), errors); |
25 | List<EEnum> _enums = descriptor.getEnums(); | 25 | this.referenceEndpointsAreIncluded(descriptor.getClasses(), descriptor.getReferences(), errors); |
26 | List<EEnumLiteral> _literals = descriptor.getLiterals(); | 26 | this.attributeSourcePontIsIncluded(descriptor.getClasses(), descriptor.getAttributes(), errors); |
27 | this.allEnumTypesareIncluded(_enums, _literals, errors); | 27 | this.attributeTargetIsSupported(descriptor.getAttributes(), errors); |
28 | List<EClass> _classes_1 = descriptor.getClasses(); | ||
29 | List<EReference> _references = descriptor.getReferences(); | ||
30 | this.referenceEndpointsAreIncluded(_classes_1, _references, errors); | ||
31 | List<EClass> _classes_2 = descriptor.getClasses(); | ||
32 | List<EAttribute> _attributes = descriptor.getAttributes(); | ||
33 | this.attributeSourcePontIsIncluded(_classes_2, _attributes, errors); | ||
34 | List<EAttribute> _attributes_1 = descriptor.getAttributes(); | ||
35 | this.attributeTargetIsSupported(_attributes_1, errors); | ||
36 | return errors; | 28 | return errors; |
37 | } | 29 | } |
38 | 30 | ||
@@ -57,10 +49,10 @@ public class MetamodelValidator { | |||
57 | StringConcatenation _builder = new StringConcatenation(); | 49 | StringConcatenation _builder = new StringConcatenation(); |
58 | _builder.append("Metamodel contains \""); | 50 | _builder.append("Metamodel contains \""); |
59 | String _name = c.getName(); | 51 | String _name = c.getName(); |
60 | _builder.append(_name, ""); | 52 | _builder.append(_name); |
61 | _builder.append("\" but not contains its supertype \""); | 53 | _builder.append("\" but not contains its supertype \""); |
62 | String _name_1 = s.getName(); | 54 | String _name_1 = s.getName(); |
63 | _builder.append(_name_1, ""); | 55 | _builder.append(_name_1); |
64 | _builder.append("\"!"); | 56 | _builder.append("\"!"); |
65 | errors.add(_builder.toString()); | 57 | errors.add(_builder.toString()); |
66 | } | 58 | } |
@@ -70,18 +62,16 @@ public class MetamodelValidator { | |||
70 | 62 | ||
71 | public void allEnumTypesareIncluded(final List<EEnum> enums, final List<EEnumLiteral> literals, final List<String> errors) { | 63 | public void allEnumTypesareIncluded(final List<EEnum> enums, final List<EEnumLiteral> literals, final List<String> errors) { |
72 | for (final EEnumLiteral l : literals) { | 64 | for (final EEnumLiteral l : literals) { |
73 | EEnum _eEnum = l.getEEnum(); | 65 | boolean _contains = enums.contains(l.getEEnum()); |
74 | boolean _contains = enums.contains(_eEnum); | ||
75 | boolean _not = (!_contains); | 66 | boolean _not = (!_contains); |
76 | if (_not) { | 67 | if (_not) { |
77 | StringConcatenation _builder = new StringConcatenation(); | 68 | StringConcatenation _builder = new StringConcatenation(); |
78 | _builder.append("Metamodel contains literal \""); | 69 | _builder.append("Metamodel contains literal \""); |
79 | String _name = l.getName(); | 70 | String _name = l.getName(); |
80 | _builder.append(_name, ""); | 71 | _builder.append(_name); |
81 | _builder.append("\" but does not contains enum \""); | 72 | _builder.append("\" but does not contains enum \""); |
82 | EEnum _eEnum_1 = l.getEEnum(); | 73 | String _name_1 = l.getEEnum().getName(); |
83 | String _name_1 = _eEnum_1.getName(); | 74 | _builder.append(_name_1); |
84 | _builder.append(_name_1, ""); | ||
85 | _builder.append("\"!"); | 75 | _builder.append("\"!"); |
86 | errors.add(_builder.toString()); | 76 | errors.add(_builder.toString()); |
87 | } | 77 | } |
@@ -98,10 +88,10 @@ public class MetamodelValidator { | |||
98 | StringConcatenation _builder = new StringConcatenation(); | 88 | StringConcatenation _builder = new StringConcatenation(); |
99 | _builder.append("Metamodel contains reference \""); | 89 | _builder.append("Metamodel contains reference \""); |
100 | String _name = reference.getName(); | 90 | String _name = reference.getName(); |
101 | _builder.append(_name, ""); | 91 | _builder.append(_name); |
102 | _builder.append("\" but does not contains its source type \""); | 92 | _builder.append("\" but does not contains its source type \""); |
103 | String _name_1 = src.getName(); | 93 | String _name_1 = src.getName(); |
104 | _builder.append(_name_1, ""); | 94 | _builder.append(_name_1); |
105 | _builder.append("\"!"); | 95 | _builder.append("\"!"); |
106 | errors.add(_builder.toString()); | 96 | errors.add(_builder.toString()); |
107 | } | 97 | } |
@@ -112,10 +102,10 @@ public class MetamodelValidator { | |||
112 | StringConcatenation _builder_1 = new StringConcatenation(); | 102 | StringConcatenation _builder_1 = new StringConcatenation(); |
113 | _builder_1.append("Metamodel contains reference \""); | 103 | _builder_1.append("Metamodel contains reference \""); |
114 | String _name_2 = reference.getName(); | 104 | String _name_2 = reference.getName(); |
115 | _builder_1.append(_name_2, ""); | 105 | _builder_1.append(_name_2); |
116 | _builder_1.append("\" but does not contains its target type \""); | 106 | _builder_1.append("\" but does not contains its target type \""); |
117 | String _name_3 = trg.getName(); | 107 | String _name_3 = trg.getName(); |
118 | _builder_1.append(_name_3, ""); | 108 | _builder_1.append(_name_3); |
119 | _builder_1.append("\"!"); | 109 | _builder_1.append("\"!"); |
120 | errors.add(_builder_1.toString()); | 110 | errors.add(_builder_1.toString()); |
121 | } | 111 | } |
@@ -133,10 +123,10 @@ public class MetamodelValidator { | |||
133 | StringConcatenation _builder = new StringConcatenation(); | 123 | StringConcatenation _builder = new StringConcatenation(); |
134 | _builder.append("Metamodel contains attribute \""); | 124 | _builder.append("Metamodel contains attribute \""); |
135 | String _name = attribute.getName(); | 125 | String _name = attribute.getName(); |
136 | _builder.append(_name, ""); | 126 | _builder.append(_name); |
137 | _builder.append("\" but does not contains its source type \""); | 127 | _builder.append("\" but does not contains its source type \""); |
138 | String _name_1 = src.getName(); | 128 | String _name_1 = src.getName(); |
139 | _builder.append(_name_1, ""); | 129 | _builder.append(_name_1); |
140 | _builder.append("\"!"); | 130 | _builder.append("\"!"); |
141 | errors.add(_builder.toString()); | 131 | errors.add(_builder.toString()); |
142 | } | 132 | } |
@@ -154,10 +144,10 @@ public class MetamodelValidator { | |||
154 | StringConcatenation _builder = new StringConcatenation(); | 144 | StringConcatenation _builder = new StringConcatenation(); |
155 | _builder.append("Metamodels contains attribute \""); | 145 | _builder.append("Metamodels contains attribute \""); |
156 | String _name = attribute.getName(); | 146 | String _name = attribute.getName(); |
157 | _builder.append(_name, ""); | 147 | _builder.append(_name); |
158 | _builder.append("\" with unsupported type \""); | 148 | _builder.append("\" with unsupported type \""); |
159 | String _name_1 = trg.getName(); | 149 | String _name_1 = trg.getName(); |
160 | _builder.append(_name_1, ""); | 150 | _builder.append(_name_1); |
161 | _builder.append("\"!"); | 151 | _builder.append("\"!"); |
162 | errors.add(_builder.toString()); | 152 | errors.add(_builder.toString()); |
163 | } | 153 | } |
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/xtend-gen/hu/bme/mit/inf/dslreasoner/application/validation/QueryAndMetamodelValidator.java b/Application/hu.bme.mit.inf.dslreasoner.application/xtend-gen/hu/bme/mit/inf/dslreasoner/application/validation/QueryAndMetamodelValidator.java index 1365d64d..3ed13964 100644 --- a/Application/hu.bme.mit.inf.dslreasoner.application/xtend-gen/hu/bme/mit/inf/dslreasoner/application/validation/QueryAndMetamodelValidator.java +++ b/Application/hu.bme.mit.inf.dslreasoner.application/xtend-gen/hu/bme/mit/inf/dslreasoner/application/validation/QueryAndMetamodelValidator.java | |||
@@ -8,7 +8,6 @@ import java.util.LinkedList; | |||
8 | import java.util.List; | 8 | import java.util.List; |
9 | import java.util.Set; | 9 | import java.util.Set; |
10 | import org.eclipse.emf.common.util.EList; | 10 | import org.eclipse.emf.common.util.EList; |
11 | import org.eclipse.emf.common.util.TreeIterator; | ||
12 | import org.eclipse.emf.ecore.EAttribute; | 11 | import org.eclipse.emf.ecore.EAttribute; |
13 | import org.eclipse.emf.ecore.EClass; | 12 | import org.eclipse.emf.ecore.EClass; |
14 | import org.eclipse.emf.ecore.EClassifier; | 13 | import org.eclipse.emf.ecore.EClassifier; |
@@ -17,7 +16,7 @@ import org.eclipse.emf.ecore.EEnumLiteral; | |||
17 | import org.eclipse.emf.ecore.ENamedElement; | 16 | import org.eclipse.emf.ecore.ENamedElement; |
18 | import org.eclipse.emf.ecore.EObject; | 17 | import org.eclipse.emf.ecore.EObject; |
19 | import org.eclipse.emf.ecore.EReference; | 18 | import org.eclipse.emf.ecore.EReference; |
20 | import org.eclipse.viatra.query.patternlanguage.patternLanguage.Pattern; | 19 | import org.eclipse.viatra.query.patternlanguage.emf.vql.Pattern; |
21 | import org.eclipse.xtend2.lib.StringConcatenation; | 20 | import org.eclipse.xtend2.lib.StringConcatenation; |
22 | import org.eclipse.xtext.xbase.lib.CollectionLiterals; | 21 | import org.eclipse.xtext.xbase.lib.CollectionLiterals; |
23 | import org.eclipse.xtext.xbase.lib.Functions.Function1; | 22 | import org.eclipse.xtext.xbase.lib.Functions.Function1; |
@@ -38,8 +37,7 @@ public class QueryAndMetamodelValidator { | |||
38 | List<EAttribute> _attributes = metamodel.getAttributes(); | 37 | List<EAttribute> _attributes = metamodel.getAttributes(); |
39 | Iterable<ENamedElement> _plus_2 = Iterables.<ENamedElement>concat(_plus_1, _attributes); | 38 | Iterable<ENamedElement> _plus_2 = Iterables.<ENamedElement>concat(_plus_1, _attributes); |
40 | List<EReference> _references = metamodel.getReferences(); | 39 | List<EReference> _references = metamodel.getReferences(); |
41 | Iterable<ENamedElement> _plus_3 = Iterables.<ENamedElement>concat(_plus_2, _references); | 40 | final Set<ENamedElement> elementsInMetamodel = IterableExtensions.<ENamedElement>toSet(Iterables.<ENamedElement>concat(_plus_2, _references)); |
42 | final Set<ENamedElement> elementsInMetamodel = IterableExtensions.<ENamedElement>toSet(_plus_3); | ||
43 | final LinkedList<String> errors = new LinkedList<String>(); | 41 | final LinkedList<String> errors = new LinkedList<String>(); |
44 | for (final Pattern pattern : patterns) { | 42 | for (final Pattern pattern : patterns) { |
45 | { | 43 | { |
@@ -51,9 +49,9 @@ public class QueryAndMetamodelValidator { | |||
51 | StringConcatenation _builder = new StringConcatenation(); | 49 | StringConcatenation _builder = new StringConcatenation(); |
52 | _builder.append("Pattern \""); | 50 | _builder.append("Pattern \""); |
53 | String _name = pattern.getName(); | 51 | String _name = pattern.getName(); |
54 | _builder.append(_name, ""); | 52 | _builder.append(_name); |
55 | _builder.append("\" refers to an element \""); | 53 | _builder.append("\" refers to an element \""); |
56 | _builder.append(element, ""); | 54 | _builder.append(element); |
57 | _builder.append("\" that is not included to the selected metamodel!"); | 55 | _builder.append("\" that is not included to the selected metamodel!"); |
58 | errors.add(_builder.toString()); | 56 | errors.add(_builder.toString()); |
59 | } | 57 | } |
@@ -64,11 +62,9 @@ public class QueryAndMetamodelValidator { | |||
64 | } | 62 | } |
65 | 63 | ||
66 | public Iterable<ENamedElement> getReferredNamedElements(final Pattern pattern) { | 64 | public Iterable<ENamedElement> getReferredNamedElements(final Pattern pattern) { |
67 | TreeIterator<EObject> _eAllContents = pattern.eAllContents(); | 65 | final List<EObject> elements = IteratorExtensions.<EObject>toList(pattern.eAllContents()); |
68 | final List<EObject> elements = IteratorExtensions.<EObject>toList(_eAllContents); | ||
69 | final Function1<EObject, Iterable<ENamedElement>> _function = (EObject element) -> { | 66 | final Function1<EObject, Iterable<ENamedElement>> _function = (EObject element) -> { |
70 | EClass _eClass = element.eClass(); | 67 | final EList<EReference> references = element.eClass().getEAllReferences(); |
71 | final EList<EReference> references = _eClass.getEAllReferences(); | ||
72 | final Function1<EReference, Iterable<ENamedElement>> _function_1 = (EReference r) -> { | 68 | final Function1<EReference, Iterable<ENamedElement>> _function_1 = (EReference r) -> { |
73 | boolean _isMany = r.isMany(); | 69 | boolean _isMany = r.isMany(); |
74 | if (_isMany) { | 70 | if (_isMany) { |
@@ -83,11 +79,8 @@ public class QueryAndMetamodelValidator { | |||
83 | } | 79 | } |
84 | } | 80 | } |
85 | }; | 81 | }; |
86 | List<Iterable<ENamedElement>> _map = ListExtensions.<EReference, Iterable<ENamedElement>>map(references, _function_1); | 82 | return Iterables.<ENamedElement>filter(Iterables.<ENamedElement>concat(ListExtensions.<EReference, Iterable<ENamedElement>>map(references, _function_1)), ENamedElement.class); |
87 | Iterable<ENamedElement> _flatten = Iterables.<ENamedElement>concat(_map); | ||
88 | return Iterables.<ENamedElement>filter(_flatten, ENamedElement.class); | ||
89 | }; | 83 | }; |
90 | List<Iterable<ENamedElement>> _map = ListExtensions.<EObject, Iterable<ENamedElement>>map(elements, _function); | 84 | return Iterables.<ENamedElement>concat(ListExtensions.<EObject, Iterable<ENamedElement>>map(elements, _function)); |
91 | return Iterables.<ENamedElement>concat(_map); | ||
92 | } | 85 | } |
93 | } | 86 | } |