aboutsummaryrefslogtreecommitdiffstats
path: root/Application/hu.bme.mit.inf.dslreasoner.application/xtend-gen/hu/bme/mit/inf/dslreasoner/application/validation/MetamodelValidator.java
diff options
context:
space:
mode:
authorLibravatar OszkarSemerath <oszkar.semerath@gmail.com>2018-05-08 17:27:14 +0200
committerLibravatar OszkarSemerath <oszkar.semerath@gmail.com>2018-05-08 17:27:14 +0200
commitb4586542870d0e27b3d6da9fbd3eb30fd36d1d7f (patch)
tree57898cebbe0edf7a2228114cb095900a2d13d983 /Application/hu.bme.mit.inf.dslreasoner.application/xtend-gen/hu/bme/mit/inf/dslreasoner/application/validation/MetamodelValidator.java
parentRefactored to the milestone version of Viatra 2.0 (diff)
downloadVIATRA-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/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.java48
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;
20public class MetamodelValidator { 20public 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 }