Package com.vladsch.flexmark.util.sequence.builder.tree

Class BasedOffsetTracker

java.lang.Object

com.vladsch.flexmark.util.sequence.builder.tree.BasedOffsetTracker

public class BasedOffsetTracker
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field	Description
protected SegmentOffsetTree	segmentOffsetTree
protected BasedSequence	sequence

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	BasedOffsetTracker(BasedSequence sequence, SegmentOffsetTree segmentOffsetTree)
protected	BasedOffsetTracker(BasedSequence sequence, SegmentTree segmentTree)

Method Summary

Modifier and Type	Method	Description
static BasedOffsetTracker	create(BasedSequence sequence)	Create a based offset tracker for the given sequence
static BasedOffsetTracker	create(BasedSequence sequence, SegmentOffsetTree segmentOffsetTree)	Create a based offset tracker for the given sequence
OffsetInfo	getOffsetInfo(int offset, boolean isEndOffset)	Return the range of indices in the sequence of this based offset tracker that correspond to the given offset in the base sequence from which this sequence was derived.
SegmentOffsetTree	getSegmentOffsetTree()
BasedSequence	getSequence()
int	size()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

sequence

@NotNull
protected final BasedSequence sequence

segmentOffsetTree

@NotNull
protected final SegmentOffsetTree segmentOffsetTree

Constructor Detail

BasedOffsetTracker

protected BasedOffsetTracker(@NotNull
                             BasedSequence sequence,
                             @NotNull
                             SegmentTree segmentTree)

BasedOffsetTracker

protected BasedOffsetTracker(@NotNull
                             BasedSequence sequence,
                             @NotNull
                             SegmentOffsetTree segmentOffsetTree)

Method Detail

size

public int size()

getOffsetInfo

@NotNull
public OffsetInfo getOffsetInfo(int offset,
                                boolean isEndOffset)

Return the range of indices in the sequence of this based offset tracker that correspond to the given offset in the base sequence from which this sequence was derived.

NOTE: indented use is the recover the editing caret position from original text after some text transformation such as formatting, rendering HTML or paragraph wrapping.

Parameters:

offset - offset in base sequence

isEndOffset - if true then offset represents the range [offset, offset) so it is located between character at offset-1 and character at offset if false then offset represents the character at offset and the range [offset, offset+1)

Returns:

information about the offset in this sequence

getSequence

@NotNull
public BasedSequence getSequence()

getSegmentOffsetTree

@NotNull
public SegmentOffsetTree getSegmentOffsetTree()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

create

@NotNull
public static BasedOffsetTracker create(@NotNull
                                        BasedSequence sequence)

Create a based offset tracker for the given sequence

Parameters:

sequence - sequence which to create offset tracker

Returns:

based offset tracker

create

@NotNull
public static BasedOffsetTracker create(@NotNull
                                        BasedSequence sequence,
                                        @NotNull
                                        SegmentOffsetTree segmentOffsetTree)

Create a based offset tracker for the given sequence

Parameters:

sequence - sequence which to create offset tracker

segmentOffsetTree - segment offset tree for the sequence

Returns:

based offset tracker