From d60363d1124f0e6ae6a02795e7dd1ff17a028d32 Mon Sep 17 00:00:00 2001 From: OszkarSemerath Date: Sun, 17 Feb 2019 19:04:34 +0100 Subject: Removed unnecessary logging --- .../src/hu/bme/mit/inf/dslreasoner/viatra2logic/Viatra2Logic.xtend | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'Framework/hu.bme.mit.inf.dslreasoner.viatra2logic') diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/Viatra2Logic.xtend b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/Viatra2Logic.xtend index 8a0ff3b3..3b828170 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/Viatra2Logic.xtend +++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/Viatra2Logic.xtend @@ -472,7 +472,7 @@ class Viatra2Logic { } def dispatch TypeReference transformTypeReference(EClassTransitiveInstancesKey k,TracedOutput ecore2LogicTrace) { val c = k.wrappedKey - + if(this.ecore2Logic.allClassesInScope(ecore2LogicTrace.trace).toList.contains(c)) { return builder.toTypeReference(this.ecore2Logic.TypeofEClass(ecore2LogicTrace.trace,k.wrappedKey)) } else { @@ -490,7 +490,7 @@ class Viatra2Logic { } def dispatch TypeReference transformTypeReference(IInputKey k,TracedOutput ecore2LogicTrace) { - println(k) + //println(k) throw new IllegalArgumentException('''Unsupported type: «k.class.simpleName»''') } -- cgit v1.2.3-54-g00ecf