diff options
Diffstat (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/xtend-gen/hu/bme/mit/inf/dslreasoner/application/validation/MetamodelValidator.java')
-rw-r--r-- | Application/hu.bme.mit.inf.dslreasoner.application/xtend-gen/hu/bme/mit/inf/dslreasoner/application/validation/MetamodelValidator.java | 48 |
1 files changed, 19 insertions, 29 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 | } |