|
ESC/Java2 © 2003,2004,2005 David Cok and Joseph Kiniry © 2005 UCD Dublin © 2003,2004 Radboud University Nijmegen © 1999,2000 Compaq Computer Corporation © 1997,1998,1999 Digital Equipment Corporation All Rights Reserved |
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use CorrelatedReader | |
escjava.parser | |
javafe.parser | |
javafe.util |
Uses of CorrelatedReader in escjava.parser |
Subclasses of CorrelatedReader in escjava.parser | |
class |
JmlCorrelatedReader
This FilterCorrelatedReader creates the illusion that the
additional \@-signs, etc. allowed in the JML annotation syntax are
really just whitespace. |
Fields in escjava.parser declared as CorrelatedReader | |
private CorrelatedReader |
EscPragmaParser.pendingJavadocComment
|
Methods in escjava.parser with parameters of type CorrelatedReader | |
void |
EscPragmaParser.restart(CorrelatedReader in,
boolean eolComment)
Restart a pragma parser on a new input stream. |
private void |
EscPragmaParser.eatAts(CorrelatedReader in)
Eats any extra @ symbols. |
private void |
EscPragmaParser.eatWizardComment(CorrelatedReader in)
Eat any wizard inserted comment at the start of an escjava annotation. |
private int |
EscPragmaParser.scanFor(CorrelatedReader in,
java.lang.String match)
Scans input stream for a string matching the parameter match . |
private int |
EscPragmaParser.scanForOpeningTag(CorrelatedReader in)
Scans for one of <esc> <jml> <ESC> <JML>. |
void |
ErrorPragmaParser.restart(CorrelatedReader in,
boolean eolComment)
Report an error for each annotation comment |
Constructors in escjava.parser with parameters of type CorrelatedReader | |
JmlCorrelatedReader(CorrelatedReader child,
int commentKind)
Constructs a JmlCorrelatedReader with
child as the underlying CorrelatedReader .
|
Uses of CorrelatedReader in javafe.parser |
Fields in javafe.parser declared as CorrelatedReader | |
protected CorrelatedReader |
Lex.m_in
Current state of input stream underlying the scanner minus the first character. |
Methods in javafe.parser with parameters of type CorrelatedReader | |
void |
PragmaParser.restart(CorrelatedReader in,
boolean eolComment)
Restart a pragma parser on a new input stream. |
CompilationUnit |
Parse.parseStream(CorrelatedReader in,
boolean specOnly)
Parse a CompilationUnit from an input stream. |
int |
Lex.restart(CorrelatedReader in)
Start scaning a new CorrelatedReader . |
Uses of CorrelatedReader in javafe.util |
Subclasses of CorrelatedReader in javafe.util | |
class |
BufferedCorrelatedReader
Instances of this CorrelatedReader contain a buffer. |
class |
FileCorrelatedReader
A FileCorrelatedReader is a
CorrelatedReader that reads its characters from a
stream that corresponds to a file.
|
class |
FilterCorrelatedReader
This CorrelatedReader is built on top of another, given CorrelatedReader. |
class |
LocationManagerCorrelatedReader
This CorrelatedReader class manages the allocation of
location numbers. |
class |
SubCorrelatedReader
A reader (aka input stream) that provides an associated location with each character read. |
Fields in javafe.util declared as CorrelatedReader | |
protected CorrelatedReader |
FilterCorrelatedReader.child
|
Methods in javafe.util that return CorrelatedReader | |
CorrelatedReader |
FilterCorrelatedReader.createReaderFromMark(int discard)
|
abstract CorrelatedReader |
CorrelatedReader.createReaderFromMark(int discard)
Creates a CorrelatedReader object for the input
text from the marked position, to the current position. |
CorrelatedReader |
BufferedCorrelatedReader.createReaderFromMark(int discard)
Creates a CorrelatedReader object for the input
text from the marked position, to the current position. |
Constructors in javafe.util with parameters of type CorrelatedReader | |
FilterCorrelatedReader(CorrelatedReader child)
Constructs a FilterCorrelatedReader with child as the
underlying CorrelatedReader. |
|
ESC/Java2 © 2003,2004,2005 David Cok and Joseph Kiniry © 2005 UCD Dublin © 2003,2004 Radboud University Nijmegen © 1999,2000 Compaq Computer Corporation © 1997,1998,1999 Digital Equipment Corporation All Rights Reserved |
||||||||||
PREV NEXT | FRAMES NO FRAMES |