gnu.jemacs.buffer
Class Marker

java.lang.Object
  gnu.lists.SeqPosition
      gnu.jemacs.buffer.Marker

All Implemented Interfaces:

java.util.Enumeration, java.util.Iterator, java.util.ListIterator

public final class Marker
extends SeqPosition

Field Summary

Fields inherited from class gnu.lists.SeqPosition

ipos, sequence

Constructor Summary

Marker()

Marker(Buffer buffer, int offset, boolean isAfter)

Marker(Marker marker)

Method Summary

void	backwardChar(int i)
int	currentColumn()
boolean	equals(java.lang.Object other)
void	forwardChar(int i)
int	forwardLine(int lines)
Buffer	getBuffer()
int	getOffset()
int	getPoint()
int	hashCode()
void	insert(char[] data, int off, int len, java.lang.Object style)
void	insert(char ch, int count, java.lang.Object style) Insert count copies of ch at the current position.
void	insert(java.lang.String string, java.lang.Object style)
boolean	isBeginningOfLine() Move to start of frame line COUNTs down.
boolean	isEndOfLine()
boolean	isPoint() Is this the special point marker?
int	moveToColumn(int column, boolean force)
void	removeChar(int count)
void	set(Buffer newBuffer, int newPosition)
void	setDot(int newPosition)
java.lang.String	toString()

Methods inherited from class gnu.lists.SeqPosition

add, copy, finalize, fromEndIndex, getContainingSequenceSize, getNext, getNextKind, getNextTypeName, getNextTypeObject, getPos, getPrevious, gotoChildrenStart, gotoEnd, gotoNext, gotoPrevious, gotoStart, hasMoreElements, hasNext, hasPrevious, isAfter, make, next, nextElement, nextIndex, previous, previousIndex, release, remove, set, set, set, setNext, setPos, setPos, setPrevious, toInfo

Methods inherited from class java.lang.Object

clone, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

Marker

public Marker()

Marker

public Marker(Marker marker)

Marker

public Marker(Buffer buffer,
              int offset,
              boolean isAfter)

Method Detail

isPoint

public final boolean isPoint()

Is this the special point marker?

getOffset

public int getOffset()

getPoint

public int getPoint()

getBuffer

public Buffer getBuffer()

setDot

public void setDot(int newPosition)

set

public void set(Buffer newBuffer,
                int newPosition)

removeChar

public void removeChar(int count)

insert

public void insert(char[] data,
                   int off,
                   int len,
                   java.lang.Object style)

insert

public void insert(java.lang.String string,
                   java.lang.Object style)

insert

public void insert(char ch,
                   int count,
                   java.lang.Object style)

Insert count copies of ch at the current position.

forwardChar

public void forwardChar(int i)

backwardChar

public void backwardChar(int i)

currentColumn

public int currentColumn()

moveToColumn

public int moveToColumn(int column,
                        boolean force)

forwardLine

public int forwardLine(int lines)

isBeginningOfLine

public boolean isBeginningOfLine()

Move to start of frame line COUNTs down. Assume window width is WIDTH. If LINES is negative, this is moving up.

isEndOfLine

public boolean isEndOfLine()

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object other)

Overrides:

equals in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class SeqPosition