Class AtlCodeReader

java.lang.Object

java.io.Reader

org.eclipse.m2m.atl.adt.ui.corext.doc.SingleCharReader

org.eclipse.m2m.atl.adt.ui.text.AtlCodeReader

All Implemented Interfaces:

Closeable, AutoCloseable, Readable

public class AtlCodeReader
extends SingleCharReader

Reads from a document either forwards or backwards. May be configured to skip comments and strings.

Field Summary

Fields

Modifier and Type	Field	Description
static final int	EOF

Fields inherited from class Reader

lock

Constructor Summary

Constructors

Constructor	Description
AtlCodeReader()

Method Summary

Modifier and Type	Method	Description
void	close()
void	configureBackwardReader(org.eclipse.jface.text.IDocument document, int offset, boolean skipComments, boolean skipStrings)
void	configureForwardReader(org.eclipse.jface.text.IDocument document, int offset, int length, boolean skipComments, boolean skipStrings)
int	getOffset()	Returns the offset of the last read character.
int	read()

Methods inherited from class SingleCharReader

getString, read, ready

Methods inherited from class Reader

mark, markSupported, nullReader, of, read, read, readAllAsString, readAllLines, reset, skip, transferTo

Methods inherited from class Object

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

Field Details

EOF

public static final int EOF

See Also:

• Constant Field Values

Constructor Details

AtlCodeReader

public AtlCodeReader()

Method Details

close

public void close()
           throws IOException

Specified by:

close in interface AutoCloseable

Specified by:

close in interface Closeable

Specified by:

close in class Reader

Throws:

IOException

See Also:

• Reader.close()

configureBackwardReader

public void configureBackwardReader(org.eclipse.jface.text.IDocument document,
 int offset,
 boolean skipComments,
 boolean skipStrings)

configureForwardReader

public void configureForwardReader(org.eclipse.jface.text.IDocument document,
 int offset,
 int length,
 boolean skipComments,
 boolean skipStrings)

getOffset

public int getOffset()

Returns the offset of the last read character. Should only be called after read has been called.

read

public int read()
         throws IOException

Overrides:

read in class Reader

Throws:

IOException