1 files changed, 53 insertions, 0 deletions
diff --git a/Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/FileSystemInconsistencyDetector.xtend b/Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/FileSystemInconsistencyDetector.xtend
new file mode 100644
index 00000000..e79a6261
--- /dev/null
+++ b/Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/FileSystemInconsistencyDetector.xtend
@@ -0,0 +1,53 @@
+package hu.bme.mit.inf.dslreasoner.run
+import org.eclipse.viatra.query.runtime.api.ViatraQueryMatcher
+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation
+import hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner.ModelGenerationMethodBasedGlobalConstraint
+import hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.ModelGenerationMethod
+import org.eclipse.viatra.dse.base.ThreadContext
+class FileSystemInconsistencyDetector extends ModelGenerationMethodBasedGlobalConstraint {
+        var PartialInterpretation partialInterpretation
+        
+        //unfinishedLowerMultiplicity_root_reference_FileSystem
+        //unfinishedLowerMultiplicity_filesystems_reference_Model
+        var ViatraQueryMatcher<?> filesystem
+        var ViatraQueryMatcher<?> root
+        
+        new(ModelGenerationMethod method) {
+                super(method)
+        }
+        
+        override init(ThreadContext context) {
+                partialInterpretation = context.model as PartialInterpretation
+                
+                try{
+                        this.filesystem = method.allPatterns.filter[
+                                it.fullyQualifiedName.equals("unfinishedLowerMultiplicity_root_reference_FileSystem")
+                        ].head.getMatcher(context.queryEngine)
+                        
+                        this.root = method.allPatterns.filter[
+                                it.fullyQualifiedName.equals("unfinishedLowerMultiplicity_filesystems_reference_Model")
+                        ].head.getMatcher(context.queryEngine)
+                        
+                } catch(Exception e) {  }
+        }
+        
+        override checkGlobalConstraint(ThreadContext context) {
+                var requiredNewObjects = 
+                                filesystem.countMatches*2 +
+                                root.countMatches
+                val availableNewObjects = partialInterpretation.maxNewElements
+                val res = availableNewObjects >= requiredNewObjects
+                //println('''[«availableNewObjects» >= «requiredNewObjects»] = «res»''')
+                return res
+        }
+        
+        override createNew() {
+                return new FileSystemInconsistencyDetector(this.method)
+        }
+        
+        override getName() {
+                this.class.simpleName
+        }
+}

diff --git a/Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/FileSystemInconsistencyDetector.xtend b/Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/FileSystemInconsistencyDetector.xtend new file mode 100644 index 00000000..e79a6261 --- /dev/null +++ b/Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/FileSystemInconsistencyDetector.xtend
@@ -0,0 +1,53 @@
	1	package hu.bme.mit.inf.dslreasoner.run
	2
	3	import org.eclipse.viatra.query.runtime.api.ViatraQueryMatcher
	4	import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation
	5	import hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner.ModelGenerationMethodBasedGlobalConstraint
	6	import hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.ModelGenerationMethod
	7	import org.eclipse.viatra.dse.base.ThreadContext
	8
	9	class FileSystemInconsistencyDetector extends ModelGenerationMethodBasedGlobalConstraint {
	10	var PartialInterpretation partialInterpretation
	11
	12	//unfinishedLowerMultiplicity_root_reference_FileSystem
	13	//unfinishedLowerMultiplicity_filesystems_reference_Model
	14	var ViatraQueryMatcher<?> filesystem
	15	var ViatraQueryMatcher<?> root
	16
	17	new(ModelGenerationMethod method) {
	18	super(method)
	19	}
	20
	21	override init(ThreadContext context) {
	22	partialInterpretation = context.model as PartialInterpretation
	23
	24	try{
	25	this.filesystem = method.allPatterns.filter[
	26	it.fullyQualifiedName.equals("unfinishedLowerMultiplicity_root_reference_FileSystem")
	27	].head.getMatcher(context.queryEngine)
	28
	29	this.root = method.allPatterns.filter[
	30	it.fullyQualifiedName.equals("unfinishedLowerMultiplicity_filesystems_reference_Model")
	31	].head.getMatcher(context.queryEngine)
	32
	33	} catch(Exception e) { }
	34	}
	35
	36	override checkGlobalConstraint(ThreadContext context) {
	37	var requiredNewObjects =
	38	filesystem.countMatches*2 +
	39	root.countMatches
	40	val availableNewObjects = partialInterpretation.maxNewElements
	41	val res = availableNewObjects >= requiredNewObjects
	42	//println('''[«availableNewObjects» >= «requiredNewObjects»] = «res»''')
	43	return res
	44	}
	45
	46	override createNew() {
	47	return new FileSystemInconsistencyDetector(this.method)
	48	}
	49
	50	override getName() {
	51	this.class.simpleName
	52	}
	53	}