Class AbstractTraceRegionToString.RegionHandle
- java.lang.Object
-
- org.eclipse.xtext.generator.trace.AbstractTraceRegionToString.RegionHandle
-
- Enclosing class:
- AbstractTraceRegionToString
protected static class AbstractTraceRegionToString.RegionHandle extends java.lang.Object
-
-
Constructor Summary
Constructors Constructor Description RegionHandle(int id, AbstractTraceRegion region)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description java.util.List<AbstractTraceRegionToString.RegionHandle>
getChildren()
int
getId()
java.util.List<AbstractTraceRegionToString.LocationHandle>
getLocations()
AbstractTraceRegion
getRegion()
-
-
-
Constructor Detail
-
RegionHandle
public RegionHandle(int id, AbstractTraceRegion region)
-
-
Method Detail
-
getId
public int getId()
-
getRegion
public AbstractTraceRegion getRegion()
-
getLocations
public java.util.List<AbstractTraceRegionToString.LocationHandle> getLocations()
-
getChildren
public java.util.List<AbstractTraceRegionToString.RegionHandle> getChildren()
-
-