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.SExp

Packages that use SExp
escjava.prover   
 

Uses of SExp in escjava.prover
 

Subclasses of SExp in escjava.prover
 class Atom
          Atoms are S-expressions representing symbols.
 class SInt
           
 class SList
          SLists represent possibly-empty lists of SExps.
(package private)  class SNil
          The single SNil instance represents the empty list of SExps.
(package private)  class SPair
          A SPair is a pair of a SExp and a SList; together with the SNil class, it is used to implement lists of SExps.
 

Fields in escjava.prover declared as SExp
 SExp TriggerlessQuantWarning.e0
           
 SExp TriggerlessQuantWarning.e1
           
 SExp SPair.head
          The head of our list; this field should not be modified by clients and should be non-null.
 

Methods in escjava.prover that return SExp
 SExp SubProcess.readSExp()
           
 SExp SList.at(int i)
           
static SExp SExp.make(int i)
          Return an S-expression representing a given integer.
static SExp SExp.fancyMake(java.lang.Object o)
          Return an S-expression representing an integer (passed wrapped in an Integer), an atom (specified via a String), or an existing S-expression (this case leaves the argument unchanged).
 

Methods in escjava.prover with parameters of type SExp
static SList SList.fromArray(SExp[] a)
           
 void SList.setAt(int i, SExp s)
          Modify the list in place by set the ith element to s.
 SList SList.addFront(SExp x)
           
 SList SList.addEnd(SExp x)
           
static void SExp.display(SExp x)
          Display a SExp verbosely, using all its accessor methods.
 

Constructors in escjava.prover with parameters of type SExp
TriggerlessQuantWarning(SList labels, SList context, SExp e0, int n, SExp e1)
           
SPair(SExp head, SList tail)
          Return a new list with given head and tail.
 


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