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

escjava.prover
Class SammyResponse

java.lang.Object
  extended byescjava.prover.ProverResponse
      extended byescjava.prover.SammyResponse

public class SammyResponse
extends ProverResponse


Field Summary
 
Fields inherited from class escjava.prover.ProverResponse
COUNTER_EXAMPLE, FAIL, formula, INCONSISTENCY_WARNING, info, NO, OK, PROGRESS_INFORMATION, SYNTAX_ERROR, TIMEOUT, YES
 
Constructor Summary
SammyResponse()
           
 
Method Summary
static ProverResponse factory(int return_code)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

SammyResponse

public SammyResponse()
Method Detail

factory

public static ProverResponse factory(int return_code)

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