1 files changed, 76 insertions, 0 deletions
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/validation/MetamodelValidator.xtend b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/validation/MetamodelValidator.xtend
new file mode 100644
index 00000000..fccc433a
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/validation/MetamodelValidator.xtend
@@ -0,0 +1,76 @@
+package hu.bme.mit.inf.dslreasoner.application.validation
+import hu.bme.mit.inf.dslreasoner.ecore2logic.EcoreMetamodelDescriptor
+import java.util.LinkedList
+import java.util.List
+import org.eclipse.emf.ecore.EAttribute
+import org.eclipse.emf.ecore.EClass
+import org.eclipse.emf.ecore.EDataType
+import org.eclipse.emf.ecore.EEnum
+import org.eclipse.emf.ecore.EEnumLiteral
+import org.eclipse.emf.ecore.EReference
+import org.eclipse.emf.ecore.EcorePackage
+class MetamodelValidator {
+        def validateMetamodel(EcoreMetamodelDescriptor descriptor) {
+                val errors = new LinkedList
+                this.allSupertypesAreIncluded(descriptor.classes,errors)
+                this.allEnumTypesareIncluded(descriptor.enums,descriptor.literals,errors)
+                this.referenceEndpointsAreIncluded(descriptor.classes,descriptor.references,errors)
+                this.attributeSourcePontIsIncluded(descriptor.classes,descriptor.attributes,errors)
+                this.attributeTargetIsSupported(descriptor.attributes,errors)
+                return errors
+        }
+        
+        
+        private def supportedEDataType(EDataType dataType) {
+                val extension l = EcorePackage.eINSTANCE
+                return #[EInt, EBoolean, EString, EDouble, EFloat].contains(dataType)
+        }
+        
+        def allSupertypesAreIncluded(List<EClass> classes, List<String> errors) {
+                for(c : classes) {
+                        for(s : c.ESuperTypes) {
+                                if(!classes.contains(s)) {
+                                        errors.add('''Metamodel contains "«c.name»" but not contains its supertype "«s.name»"!''')
+                                }
+                        }
+                }
+        }
+        def allEnumTypesareIncluded(List<EEnum> enums, List<EEnumLiteral> literals, List<String> errors) {
+                for(l: literals) {
+                        if(!enums.contains(l.EEnum)) {
+                                errors.add('''Metamodel contains literal "«l.name»" but does not contains enum "«l.EEnum.name»"!''')
+                        }
+                }
+        }
+        def referenceEndpointsAreIncluded(List<EClass> classes, List<EReference> references, List<String> errors) {
+                for(reference : references) {
+                        val src = reference.EContainingClass
+                        if(!classes.contains(src)) {
+                                errors.add('''Metamodel contains reference "«reference.name»" but does not contains its source type "«src.name»"!''')
+                        }
+                        
+                        val trg = reference.EReferenceType
+                        if(!classes.contains(trg)) {
+                                errors.add('''Metamodel contains reference "«reference.name»" but does not contains its target type "«trg.name»"!''')
+                        }
+                }
+        }
+        def attributeSourcePontIsIncluded(List<EClass> classes, List<EAttribute> attributes, List<String> errors) {
+                for(attribute : attributes) {
+                        val src = attribute.containerClass
+                        if(!classes.contains(src)) {
+                                errors.add('''Metamodel contains attribute "«attribute.name»" but does not contains its source type "«src.name»"!''')
+                        }
+                }
+        }
+        def attributeTargetIsSupported(List<EAttribute> attributes, List<String> errors) {
+                for(attribute: attributes) {
+                        val trg = attribute.EAttributeType
+                        if(!supportedEDataType(trg)) {
+                                errors.add('''Metamodels contains attribute "«attribute.name»" with unsupported type "«trg.name»"!''')
+                        }
+                }
+        }
+}
+\ No newline at end of file

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/validation/MetamodelValidator.xtend b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/validation/MetamodelValidator.xtend new file mode 100644 index 00000000..fccc433a --- /dev/null +++ b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/validation/MetamodelValidator.xtend
@@ -0,0 +1,76 @@
	1	package hu.bme.mit.inf.dslreasoner.application.validation
	2
	3	import hu.bme.mit.inf.dslreasoner.ecore2logic.EcoreMetamodelDescriptor
	4	import java.util.LinkedList
	5	import java.util.List
	6	import org.eclipse.emf.ecore.EAttribute
	7	import org.eclipse.emf.ecore.EClass
	8	import org.eclipse.emf.ecore.EDataType
	9	import org.eclipse.emf.ecore.EEnum
	10	import org.eclipse.emf.ecore.EEnumLiteral
	11	import org.eclipse.emf.ecore.EReference
	12	import org.eclipse.emf.ecore.EcorePackage
	13
	14	class MetamodelValidator {
	15	def validateMetamodel(EcoreMetamodelDescriptor descriptor) {
	16	val errors = new LinkedList
	17	this.allSupertypesAreIncluded(descriptor.classes,errors)
	18	this.allEnumTypesareIncluded(descriptor.enums,descriptor.literals,errors)
	19	this.referenceEndpointsAreIncluded(descriptor.classes,descriptor.references,errors)
	20	this.attributeSourcePontIsIncluded(descriptor.classes,descriptor.attributes,errors)
	21	this.attributeTargetIsSupported(descriptor.attributes,errors)
	22	return errors
	23	}
	24
	25
	26	private def supportedEDataType(EDataType dataType) {
	27	val extension l = EcorePackage.eINSTANCE
	28	return #[EInt, EBoolean, EString, EDouble, EFloat].contains(dataType)
	29	}
	30
	31	def allSupertypesAreIncluded(List<EClass> classes, List<String> errors) {
	32	for(c : classes) {
	33	for(s : c.ESuperTypes) {
	34	if(!classes.contains(s)) {
	35	errors.add('''Metamodel contains "«c.name»" but not contains its supertype "«s.name»"!''')
	36	}
	37	}
	38	}
	39	}
	40	def allEnumTypesareIncluded(List<EEnum> enums, List<EEnumLiteral> literals, List<String> errors) {
	41	for(l: literals) {
	42	if(!enums.contains(l.EEnum)) {
	43	errors.add('''Metamodel contains literal "«l.name»" but does not contains enum "«l.EEnum.name»"!''')
	44	}
	45	}
	46	}
	47	def referenceEndpointsAreIncluded(List<EClass> classes, List<EReference> references, List<String> errors) {
	48	for(reference : references) {
	49	val src = reference.EContainingClass
	50	if(!classes.contains(src)) {
	51	errors.add('''Metamodel contains reference "«reference.name»" but does not contains its source type "«src.name»"!''')
	52	}
	53
	54	val trg = reference.EReferenceType
	55	if(!classes.contains(trg)) {
	56	errors.add('''Metamodel contains reference "«reference.name»" but does not contains its target type "«trg.name»"!''')
	57	}
	58	}
	59	}
	60	def attributeSourcePontIsIncluded(List<EClass> classes, List<EAttribute> attributes, List<String> errors) {
	61	for(attribute : attributes) {
	62	val src = attribute.containerClass
	63	if(!classes.contains(src)) {
	64	errors.add('''Metamodel contains attribute "«attribute.name»" but does not contains its source type "«src.name»"!''')
	65	}
	66	}
	67	}
	68	def attributeTargetIsSupported(List<EAttribute> attributes, List<String> errors) {
	69	for(attribute: attributes) {
	70	val trg = attribute.EAttributeType
	71	if(!supportedEDataType(trg)) {
	72	errors.add('''Metamodels contains attribute "«attribute.name»" with unsupported type "«trg.name»"!''')
	73	}
	74	}
	75	}
	76	} \ No newline at end of file