1 files changed, 11 insertions, 0 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/TypeIndexerWithPreliminaryTypeAnalysis.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/TypeIndexerWithPreliminaryTypeAnalysis.xtend
index 67a886d1..d3af0426 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/TypeIndexerWithPreliminaryTypeAnalysis.xtend
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/TypeIndexerWithPreliminaryTypeAnalysis.xtend
@@ -72,6 +72,15 @@ class TypeIndexerWithPreliminaryTypeAnalysis extends TypeIndexer{
                        null
                }
                '''
+                private pattern scopeDisallowsNew«base.canonizeName(type.name)»(problem:LogicProblem, interpretation:PartialInterpretation) {
+                        find interpretation(problem,interpretation);
+                        PartialInterpretation.scopes(interpretation,scope);
+                        Scope.targetTypeInterpretation(scope,typeInterpretation);
+                        Scope.maxNewElements(scope,0);
+                        PartialComplexTypeInterpretation.interpretationOf(typeInterpretation,type);
+                        Type.name(type,"«type.name»");
+                }
+                
                /**
                 * An element may be an instance of type "«type.name»".
                 */
@@ -82,6 +91,7 @@ class TypeIndexerWithPreliminaryTypeAnalysis extends TypeIndexer{
                        «FOR inhibitorType : inhibitorTypes»
                                neg «referInstanceOf(inhibitorType,Modality.MUST,"element")»
                        «ENDFOR»
+                        neg find scopeDisallowsNew«base.canonizeName(type.name)»(problem, interpretation);
                        neg find isPrimitive(element);
                } or {
                        find interpretation(problem,interpretation);
@@ -89,6 +99,7 @@ class TypeIndexerWithPreliminaryTypeAnalysis extends TypeIndexer{
                        «FOR inhibitorType : inhibitorTypes»
                                neg «referInstanceOf(inhibitorType,Modality.MUST,"element")»
                        «ENDFOR»
+                        neg find scopeDisallowsNew«base.canonizeName(type.name)»(problem, interpretation);
                        neg find isPrimitive(element);
                } or
                «ENDIF»