org.eclipse.ocl.examples.xtext.essentialocl.pivot2cs
Class EssentialOCLLocationInFileProvider

java.lang.Object
  extended by org.eclipse.xtext.resource.DefaultLocationInFileProvider
      extended by org.eclipse.ocl.examples.xtext.base.pivot2cs.BaseLocationInFileProvider
          extended by org.eclipse.ocl.examples.xtext.essentialocl.pivot2cs.EssentialOCLLocationInFileProvider
All Implemented Interfaces:
org.eclipse.xtext.resource.ILocationInFileProvider, org.eclipse.xtext.resource.ILocationInFileProviderExtension

public class EssentialOCLLocationInFileProvider
extends BaseLocationInFileProvider

EssentialOCLLocationInFileProvider ensure that the full text regions for OperatorCSes cover the full source and argument range.


Nested Class Summary
 
Nested classes/interfaces inherited from interface org.eclipse.xtext.resource.ILocationInFileProviderExtension
org.eclipse.xtext.resource.ILocationInFileProviderExtension.RegionDescription
 
Constructor Summary
EssentialOCLLocationInFileProvider()
           
 
Method Summary
 org.eclipse.xtext.util.ITextRegion getFullTextRegion(org.eclipse.emf.ecore.EObject obj)
           
 
Methods inherited from class org.eclipse.ocl.examples.xtext.base.pivot2cs.BaseLocationInFileProvider
getTextRegion
 
Methods inherited from class org.eclipse.xtext.resource.DefaultLocationInFileProvider
createRegion, createRegion, doGetLocationOfFeature, doGetLocationOfFeature, doGetTextRegion, findNodeFor, getFullTextRegion, getIdentifierFeature, getLocationNodes, getLocationOfAttribute, getLocationOfContainmentReference, getLocationOfContainmentReference, getLocationOfCrossReference, getSignificantTextRegion, getSignificantTextRegion, getTextRegion, getTextRegion, isHidden, isHidden, toZeroBasedRegion, useKeyword
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

EssentialOCLLocationInFileProvider

public EssentialOCLLocationInFileProvider()
Method Detail

getFullTextRegion

public org.eclipse.xtext.util.ITextRegion getFullTextRegion(org.eclipse.emf.ecore.EObject obj)
Specified by:
getFullTextRegion in interface org.eclipse.xtext.resource.ILocationInFileProvider
Overrides:
getFullTextRegion in class org.eclipse.xtext.resource.DefaultLocationInFileProvider