com.fr.design.gui.syntax.io

类 DocumentReader

java.lang.Object

java.io.Reader

com.fr.design.gui.syntax.io.DocumentReader

所有已实现的接口:

java.io.Closeable, java.lang.AutoCloseable, java.lang.Readable

public class DocumentReader
extends java.io.Reader

A Reader for javax.swing.text.Document objects.

版本:

1.0

作者:

Robert Futrell

字段概要

从类继承的字段 java.io.Reader

lock

构造器概要

构造器

构造器和说明
DocumentReader(javax.swing.text.Document document) Constructor.

方法概要

方法

限定符和类型	方法和说明
void	close() This currently does nothing...
void	mark(int readAheadLimit) Marks the present position in the stream.
boolean	markSupported() Tells whether this reader supports the mark operation.
int	read() Reads the single character at the current position in the document.
int	read(char[] array) Read array.length characters from the beginning of the document into array.
int	read(char[] cbuf, int off, int len) Reads characters into a portion of an array.
boolean	ready() Tells whether this reader is ready to be read without blocking for input.
void	reset() Resets the stream.
void	seek(long pos) Move to the specified position in the document.
long	skip(long n) Skips characters.

从类继承的方法 java.io.Reader

read

从类继承的方法 java.lang.Object

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

构造器详细资料

DocumentReader

public DocumentReader(javax.swing.text.Document document)

Constructor.

参数:

document - The document we're 'reading'.

方法详细资料

close

public void close()

This currently does nothing...

指定者:

close 在接口中 java.io.Closeable

指定者:

close 在接口中 java.lang.AutoCloseable

指定者:

close 在类中 java.io.Reader

mark

public void mark(int readAheadLimit)

Marks the present position in the stream. Subsequent calls to reset() will reposition the stream to this point.

覆盖:

mark 在类中 java.io.Reader

参数:

readAheadLimit - Ignored.

markSupported

public boolean markSupported()

Tells whether this reader supports the mark operation. This always returns true for DocumentReader.

覆盖:

markSupported 在类中 java.io.Reader

read

public int read()

Reads the single character at the current position in the document.

覆盖:

read 在类中 java.io.Reader

read

public int read(char[] array)

Read array.length characters from the beginning of the document into array.

覆盖:

read 在类中 java.io.Reader

参数:

array - The array to read characters into.

返回:

The number of characters read.

read

public int read(char[] cbuf,
       int off,
       int len)

Reads characters into a portion of an array.

指定者:

read 在类中 java.io.Reader

参数:

cbuf - The destination buffer.

off - Offset at which to start storing characters.

len - Maximum number of characters to read.

返回:

The number of characters read, or -1 if the end of the stream (document) has been reached.

ready

public boolean ready()

Tells whether this reader is ready to be read without blocking for input. DocumentReader will always return true.

覆盖:

ready 在类中 java.io.Reader

返回:

true if the next read operation will return without blocking.

reset

public void reset()

Resets the stream. If the stream has been marked, then attempt to reposition it at the mark. If the stream has not been marked, then move it to the beginning of the document.

覆盖:

reset 在类中 java.io.Reader

skip

public long skip(long n)

Skips characters. This will not 'skip' past the end of the document.

覆盖:

skip 在类中 java.io.Reader

参数:

n - The number of characters to skip.

返回:

The number of characters actually skipped.

seek

public void seek(long pos)

Move to the specified position in the document. If pos is greater than the document's length, the stream's position is moved to the end of the document.

参数:

pos - The position in the document to move to.