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