org.eclipse.ocl.xtext.essentialocl.as2cs

Class EssentialOCLLocationInFileProvider

java.lang.Object

org.eclipse.xtext.resource.DefaultLocationInFileProvider

org.eclipse.ocl.xtext.base.as2cs.BaseLocationInFileProvider

org.eclipse.ocl.xtext.essentialocl.as2cs.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

Constructors

Constructor and Description
EssentialOCLLocationInFileProvider()

Method Summary

Modifier and Type	Method and Description
protected org.eclipse.xtext.util.ITextRegion	getTextRegion(org.eclipse.emf.ecore.EObject obj, boolean isSignificant)
org.eclipse.xtext.util.ITextRegion	getTextRegionCS(ExpCS csExp, boolean isSignificant) For a CS-less element, the full text region is expanded to cover all children.
protected org.eclipse.xtext.util.ITextRegion	getTextRegionNoCS(org.eclipse.emf.ecore.EObject obj, boolean isSignificant) For a CS-less element, the text region is determined from the CS parent and child.

Methods inherited from class org.eclipse.ocl.xtext.base.as2cs.BaseLocationInFileProvider

getIdentifierFeature

Methods inherited from class org.eclipse.xtext.resource.DefaultLocationInFileProvider

createRegion, createRegion, doGetLocationOfFeature, doGetLocationOfFeature, doGetTextRegion, findNodeFor, getFullTextRegion, getFullTextRegion, 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

getTextRegion

@NonNull
protected org.eclipse.xtext.util.ITextRegion getTextRegion(org.eclipse.emf.ecore.EObject obj,
                                                                     boolean isSignificant)

Overrides:

getTextRegion in class BaseLocationInFileProvider

getTextRegionCS

@NonNull
public org.eclipse.xtext.util.ITextRegion getTextRegionCS(@NonNull
                                                                    ExpCS csExp,
                                                                    boolean isSignificant)

For a CS-less element, the full text region is expanded to cover all children.

This ensures that for an infix "or" the full region covers the input terms.

getTextRegionNoCS

@NonNull
protected org.eclipse.xtext.util.ITextRegion getTextRegionNoCS(org.eclipse.emf.ecore.EObject obj,
                                                                         boolean isSignificant)

For a CS-less element, the text region is determined from the CS parent and child. The significant region is less between the child full region and the parent signifucant region. The full region additionally covers the child.

This ensures that for an implicit oclAsSet() the significant region is the navigation operator.