Commit 750b85bc authored by Daniel Honsel's avatar Daniel Honsel
Browse files

use only the Xtext index for scoping

parent b19659eb

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

+2 −0
Original line number Diff line number Diff line
@@ -24,6 +24,7 @@ import org.eclipse.emf.ecore.xmi.impl.XMIResourceFactoryImpl; 
import org.eclipse.emf.ecore.xmi.impl.XMIResourceImpl;

import org.eclipse.xtext.resource.XtextResource;

import org.eclipse.xtext.resource.XtextResourceSet;

import org.eclipse.xtext.resource.impl.ResourceDescriptionsProvider;

import org.eclipse.xtext.validation.FeatureBasedDiagnostic;



import com.google.common.base.Stopwatch;
@@ -60,6 +61,7 @@ public class TTCN3ResourceProvider { 
		Injector injector = new TTCN3StandaloneSetup().createInjectorAndDoEMFRegistration();

		injector.injectMembers(this);

		resourceSet.addLoadOption(XtextResource.OPTION_RESOLVE_ALL, Boolean.TRUE);

		resourceSet.addLoadOption(ResourceDescriptionsProvider.PERSISTED_DESCRIPTIONS, Boolean.TRUE);



		for (String path : paths) {

			File file = new File(path);