org.eclipse.xtext.generator.trace

Class AbstractTraceRegionToString.RegionHandle

java.lang.Object

org.eclipse.xtext.generator.trace.AbstractTraceRegionToString.RegionHandle

Enclosing class:

AbstractTraceRegionToString

@Accessors
protected static class AbstractTraceRegionToString.RegionHandle
extends Object

Constructor Summary

Constructors

Constructor and Description
AbstractTraceRegionToString.RegionHandle(int id, AbstractTraceRegion region)

Method Summary

Methods

Modifier and Type	Method and Description
List<AbstractTraceRegionToString.RegionHandle>	getChildren()
int	getId()
List<AbstractTraceRegionToString.LocationHandle>	getLocations()
AbstractTraceRegion	getRegion()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

AbstractTraceRegionToString.RegionHandle

public AbstractTraceRegionToString.RegionHandle(int id,
                                        AbstractTraceRegion region)

Method Detail

getId

@Pure
public int getId()

getRegion

@Pure
public AbstractTraceRegion getRegion()

getLocations

@Pure
public List<AbstractTraceRegionToString.LocationHandle> getLocations()

getChildren

@Pure
public List<AbstractTraceRegionToString.RegionHandle> getChildren()