1 files changed, 52 insertions, 0 deletions
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/validation/QueryAndMetamodelValidator.xtend b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/validation/QueryAndMetamodelValidator.xtend
new file mode 100644
index 00000000..0efd522b
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/validation/QueryAndMetamodelValidator.xtend
@@ -0,0 +1,52 @@
+package hu.bme.mit.inf.dslreasoner.application.validation
+import hu.bme.mit.inf.dslreasoner.ecore2logic.EcoreMetamodelDescriptor
+import hu.bme.mit.inf.dslreasoner.viatra2logic.ViatraQuerySetDescriptor
+import java.util.LinkedList
+import java.util.List
+import java.util.Set
+import org.eclipse.emf.ecore.ENamedElement
+import org.eclipse.viatra.query.patternlanguage.patternLanguage.Pattern
+class QueryAndMetamodelValidator {
+        
+        def public validateQueryAndMetamodel(
+                EcoreMetamodelDescriptor metamodel,
+                Pair<ViatraQuerySetDescriptor, Set<Pattern>> viatra)
+        {
+                val patterns = viatra.value
+                val elementsInMetamodel = 
+                        (metamodel.classes +
+                        metamodel.enums +
+                        metamodel.literals+
+                        metamodel.attributes +
+                        metamodel.references)
+                        .toSet
+                val errors = new LinkedList
+                for(pattern : patterns) {
+                        val elements = getReferredNamedElements(pattern)
+                        for(element : elements) {
+                                if(!elementsInMetamodel.contains(element)) {
+                                        errors+='''Pattern "«pattern.name»" refers to an element "«element»" that is not included to the selected metamodel!'''
+                                }
+                        }
+                }
+                return errors
+        }
+        
+        def getReferredNamedElements(Pattern pattern) {
+                val elements = pattern.eAllContents.toList
+                return elements.map[element|
+                        val references = element.eClass.EAllReferences
+                        return references.map[r |
+                                if(r.isMany) {
+                                        return (element.eGet(r) as List<?>).filter(ENamedElement)
+                                } else {
+                                        val value = element.eGet(r)
+                                        if(value instanceof ENamedElement) return #[value]
+                                        else return #[]
+                                }
+                        ].flatten.filter(ENamedElement)
+                ].flatten
+        }
+}
+\ No newline at end of file

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/validation/QueryAndMetamodelValidator.xtend b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/validation/QueryAndMetamodelValidator.xtend new file mode 100644 index 00000000..0efd522b --- /dev/null +++ b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/validation/QueryAndMetamodelValidator.xtend
@@ -0,0 +1,52 @@
	1	package hu.bme.mit.inf.dslreasoner.application.validation
	2
	3	import hu.bme.mit.inf.dslreasoner.ecore2logic.EcoreMetamodelDescriptor
	4	import hu.bme.mit.inf.dslreasoner.viatra2logic.ViatraQuerySetDescriptor
	5	import java.util.LinkedList
	6	import java.util.List
	7	import java.util.Set
	8	import org.eclipse.emf.ecore.ENamedElement
	9	import org.eclipse.viatra.query.patternlanguage.patternLanguage.Pattern
	10
	11	class QueryAndMetamodelValidator {
	12
	13	def public validateQueryAndMetamodel(
	14	EcoreMetamodelDescriptor metamodel,
	15	Pair<ViatraQuerySetDescriptor, Set<Pattern>> viatra)
	16	{
	17	val patterns = viatra.value
	18	val elementsInMetamodel =
	19	(metamodel.classes +
	20	metamodel.enums +
	21	metamodel.literals+
	22	metamodel.attributes +
	23	metamodel.references)
	24	.toSet
	25	val errors = new LinkedList
	26	for(pattern : patterns) {
	27	val elements = getReferredNamedElements(pattern)
	28	for(element : elements) {
	29	if(!elementsInMetamodel.contains(element)) {
	30	errors+='''Pattern "«pattern.name»" refers to an element "«element»" that is not included to the selected metamodel!'''
	31	}
	32	}
	33	}
	34	return errors
	35	}
	36
	37	def getReferredNamedElements(Pattern pattern) {
	38	val elements = pattern.eAllContents.toList
	39	return elements.map[element\|
	40	val references = element.eClass.EAllReferences
	41	return references.map[r \|
	42	if(r.isMany) {
	43	return (element.eGet(r) as List<?>).filter(ENamedElement)
	44	} else {
	45	val value = element.eGet(r)
	46	if(value instanceof ENamedElement) return #[value]
	47	else return #[]
	48	}
	49	].flatten.filter(ENamedElement)
	50	].flatten
	51	}
	52	} \ No newline at end of file