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

Uses of Class
javafe.util.CorrelatedReader

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

The ESC/Java2 Project Homepage