Package com.intellij.openapi.editor.impl

Class ManualRangeMarker

java.lang.Object

com.intellij.openapi.editor.impl.ManualRangeMarker

All Implemented Interfaces:

Segment

public class ManualRangeMarker
extends java.lang.Object
implements Segment

A range marker that has to be manually updated with getUpdatedRange(DocumentEvent, FrozenDocument). Can hold PSI-based range and be updated when the document is committed.

Field Summary

Fields inherited from interface com.intellij.openapi.util.Segment

BY_START_OFFSET_THEN_END_OFFSET, EMPTY_ARRAY

Constructor Summary

Constructors

Constructor and Description
ManualRangeMarker(int start, int end, boolean greedyLeft, boolean greedyRight, boolean surviveOnExternalChange, com.intellij.openapi.editor.impl.PersistentRangeMarker.LinesCols linesCols)

Method Summary

Modifier and Type	Method and Description
int	getEndOffset()
int	getStartOffset()
ManualRangeMarker	getUpdatedRange(DocumentEvent event, FrozenDocument documentBefore)
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

ManualRangeMarker

public ManualRangeMarker(int start,
                         int end,
                         boolean greedyLeft,
                         boolean greedyRight,
                         boolean surviveOnExternalChange,
                         com.intellij.openapi.editor.impl.PersistentRangeMarker.LinesCols linesCols)

Method Detail

getUpdatedRange

public ManualRangeMarker getUpdatedRange(DocumentEvent event,
                                         FrozenDocument documentBefore)

getStartOffset

public int getStartOffset()

Specified by:

getStartOffset in interface Segment

getEndOffset

public int getEndOffset()

Specified by:

getEndOffset in interface Segment

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object