Class TraceRegionMerger


  • public class TraceRegionMerger
    extends java.lang.Object
    Copied and adapted from org.eclipse.xtext.ui.editor.syntaxcoloring.MergingHighlightedPositionAcceptor.
    Noextend:
    This class is not intended to be subclassed by clients.
    Noinstantiate:
    This class is not intended to be instantiated by clients.