public class TraceRegionMerger
extends java.lang.Object
org.eclipse.xtext.ui.editor.syntaxcoloring.MergingHighlightedPositionAcceptor
.Constructor and Description |
---|
TraceRegionMerger() |
Modifier and Type | Method and Description |
---|---|
AbstractTraceRegion |
mergeTraceRegions(java.util.List<AbstractTraceRegion> roots) |
public AbstractTraceRegion mergeTraceRegions(java.util.List<AbstractTraceRegion> roots)