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

Package javafe.util

Interface Summary
ErrorSet.Reporter  
 

Class Summary
Assert A class with static methods for checking assertions.
BufferedCorrelatedReader Instances of this CorrelatedReader contain a buffer.
ClipPolicy Objects of this class can decide on various aspects of the clipping policy of lines displayed to the user with a caret.
CorrelatedReader A reader (aka input stream) that provides an associated location with each character read.
CorrelatedReaderTest  
ErrorSet The ErrorSet class is responsible for displaying cautions, warnings, ordinary errors, and fatal errors to the user.
ErrorSet.StandardReporter  
FileCorrelatedReader A FileCorrelatedReader is a CorrelatedReader that reads its characters from a stream that corresponds to a file.
FilterCorrelatedReader This CorrelatedReader is built on top of another, given CorrelatedReader.
Info The Info class is responsible for displaying verbose and debugging information to the user.
Location A location is an integer that identifies the position in a file of a particular piece of program source text.
LocationManagerCorrelatedReader This CorrelatedReader class manages the allocation of location numbers.
Set A simple implementation of imperative sets.
StackVector A stack of Vector objects.
SubCorrelatedReader A reader (aka input stream) that provides an associated location with each character read.
 

Exception Summary
AssertionFailureException  
FatalError A FatalError is an unchecked exception thrown only by ErrorSet.fatal that indicates that a fatal error has been encountered, forcing all further processing to be abandoned.
NotImplementedException This exception is used by Assert to signal that an unimplemented feature has been encountered.
UsageError A UsageError is thrown when the command-line arguments are invalid.
 


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