org.eclipse.xtend.ide.editor
Class TypedRegionMerger

java.lang.Object
  extended by org.eclipse.xtend.ide.editor.TypedRegionMerger

public class TypedRegionMerger
extends java.lang.Object

Simple heuristic that will basically strip rich string partitions from the array and replace them with the default partition if the first entry in the original array is not a rich string. Otherwise, all entries will become rich string regions.

Author:
Sebastian Zarnekow - Initial contribution and API

Constructor Summary
TypedRegionMerger()
           
 
Method Summary
 org.eclipse.jface.text.ITypedRegion[] merge(org.eclipse.jface.text.ITypedRegion[] original)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

TypedRegionMerger

public TypedRegionMerger()
Method Detail

merge

public org.eclipse.jface.text.ITypedRegion[] merge(org.eclipse.jface.text.ITypedRegion[] original)