public class TraceRegionMerger extends Object
org.eclipse.xtext.ui.editor.syntaxcoloring.MergingHighlightedPositionAcceptor.| Constructor and Description |
|---|
TraceRegionMerger() |
public AbstractTraceRegion mergeTraceRegions(List<AbstractTraceRegion> roots)
Copyright © 2015. All Rights Reserved.