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
escjava.prover.SExpTypeError

Packages that use SExpTypeError
escjava.prover   
escjava.translate   
 

Uses of SExpTypeError in escjava.prover
 

Methods in escjava.prover that throw SExpTypeError
(package private)  SPair SList.getPair()
          If we represent a non-empty list, return it as a SPair; otherwise, throw SExpTypeError.
 SExp SList.at(int i)
           
 void SList.setAt(int i, SExp s)
          Modify the list in place by set the ith element to s.
private  boolean SList.specialPrint(java.io.PrintStream out)
          Specially print a textual representation of us on a given PrintStream.
static void SList.main(java.lang.String[] args)
          A simple test routine
 Atom SExp.getAtom()
          If we represent an atom, return it as an Atom; otherwise, throw SExpTypeError.
 int SExp.getInteger()
          If we represent an integer, return it as an int; otherwise, throw an SExpTypeError.
 SList SExp.getList()
          If we represent a list, return it as an SList; otherwise, throw SExpTypeError.
static void SExp.main(java.lang.String[] args)
          A simple test routine
static void SExp.display(SExp x)
          Display a SExp verbosely, using all its accessor methods.
 

Uses of SExpTypeError in escjava.translate
 

Methods in escjava.translate that throw SExpTypeError
private static void ErrorMsg.printErrorMessage(java.lang.String s, SList counterexampleContext, RoutineDecl rd, Set directTargets, java.io.PrintStream out, boolean assocOnly)
          Parses s and prints a nice error message to out.
private static void ErrorMsg.displayInvariantContext(SList counterexampleContext, java.io.PrintStream out)
           
private static SList ErrorMsg.pruneCC(SList cc)
          Prune out s-expressions from the counterexample context that are almost certainly irrelevant.
private static void ErrorMsg.houdiniPrintErrorMessage(java.lang.String s, java.io.PrintStream out, java.lang.String[] map)
          Parses s and prints an error message for the houdini log to out.
 


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