Commit 0eb16e91 authored by Philip Makedonski's avatar Philip Makedonski
Browse files

+ added logging of reference resolution in debug mode

parent b53302ec

de.ugoe.cs.swe.T3Q/src/de/ugoe/cs/swe/T3Q/Analyzer.java

+8 −0
Original line number Diff line number Diff line
@@ -8,12 +8,14 @@ import org.eclipse.emf.ecore.resource.Resource; 
import org.eclipse.emf.ecore.resource.Resource.Diagnostic;

import org.eclipse.emf.ecore.util.Diagnostician;

import org.eclipse.emf.ecore.util.EcoreUtil;

import org.eclipse.xtext.EcoreUtil2;

import org.eclipse.xtext.validation.FeatureBasedDiagnostic;



import com.google.common.base.Stopwatch;



import de.ugoe.cs.swe.common.MiscTools;

import de.ugoe.cs.swe.common.logging.LoggingInterface;

import de.ugoe.cs.swe.common.logging.LoggingInterface.LogLevel;

import de.ugoe.cs.swe.common.logging.LoggingInterface.MessageClass;

import de.ugoe.cs.swe.validation.TTCN3StatisticsProvider;
@@ -36,6 +38,12 @@ public class Analyzer implements Callable<TTCN3Output> { 


		// validate the resource

		EcoreUtil.resolveAll(this.resource);

		if (T3Q.getLogLevel() == LogLevel.DEBUG) {

			System.out.println("Resolving references: " + this.resource.getURI().devicePath().replaceFirst("///", "") + '\n'

					+ "       ...done in " + stopwatch.elapsed(TimeUnit.MILLISECONDS) + "ms ("

					+ MiscTools.secondsToString(stopwatch.elapsed(TimeUnit.SECONDS)) + " minutes).");

		}



		EObject model = this.resource.getContents().get(0);

		org.eclipse.emf.common.util.Diagnostic diagnostic = null;

		diagnostic = Diagnostician.INSTANCE.validate(model);