Remove unnecessary logging

Author: grbeni

plugins/core/hu.bme.mit.gamma.util/src/hu/bme/mit/gamma/util/GammaEcoreUtil.xtend

@@ -345,6 +345,16 @@ class GammaEcoreUtil {
 		return containers
 	}
 
+	def <T> List<EObject>  getAllContainersUntil(EObject object, Class<T> type) {
+		val container = object.eContainer
+		if (type.isInstance(container)) { // Note: excluding top
+			return newArrayList
+		}
+		val containers = container.getAllContainersUntil(type)
+		containers += container
+		return containers
+	}
+	
 	def <T extends EObject> List<T> getSelfAndAllContainersOfType(T object, Class<T> type) {
 		val elements = newArrayList
 		elements += object.getAllContainersOfType(type)

plugins/core/hu.bme.mit.gamma.verification.util/src/hu/bme/mit/gamma/verification/util/DeterminismCheckPostprocessor.xtend

@@ -96,9 +96,9 @@ class DeterminismCheckPostprocessor extends VerificationPostprocessor {
 			}
 		}
 
-		nondeterministicStates.forEach[
-				println('''Found nondeterministic state «state.name» in region «
-						region.name» of «instance.name»''')]
+//		nondeterministicStates.forEach[
+//				println('''Found nondeterministic state «state.name» in region «
+//						region.name» of «instance.name»''')]
 
 		val persistentRaiseEvents = trace.persistentRaiseEvents
 		val lastRaiseEvents = lastStep.actions.filter(RaiseEventAct)
@@ -159,9 +159,9 @@ class DeterminismCheckPostprocessor extends VerificationPostprocessor {
 		}
 
 		// Pretty printing
-		for (transition : nondeterministicTransitions) {
-			println(elementSerializer.serialize(transition.value))
-		}
+//		for (transition : nondeterministicTransitions) {
+//			println(elementSerializer.serialize(transition.value))
+//		}
 		//
 
 		this.nondeterministicTransitions += nondeterministicTransitions