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)