|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectorg.eclipse.xtext.resource.DefaultLocationInFileProvider
org.eclipse.ocl.examples.xtext.base.pivot2cs.BaseLocationInFileProvider
org.eclipse.ocl.examples.xtext.essentialocl.pivot2cs.EssentialOCLLocationInFileProvider
public class EssentialOCLLocationInFileProvider
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 |
|---|
public EssentialOCLLocationInFileProvider()
| Method Detail |
|---|
public org.eclipse.xtext.util.ITextRegion getFullTextRegion(org.eclipse.emf.ecore.EObject obj)
getFullTextRegion in interface org.eclipse.xtext.resource.ILocationInFileProvidergetFullTextRegion in class org.eclipse.xtext.resource.DefaultLocationInFileProvider
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||