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.backpred
Class DefaultUnivBackPred

java.lang.Object
  extended byescjava.backpred.DefaultUnivBackPred

class DefaultUnivBackPred
extends java.lang.Object


Field Summary
(package private) static java.lang.String s
           
 
Constructor Summary
(package private) DefaultUnivBackPred()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

s

static java.lang.String s
Constructor Detail

DefaultUnivBackPred

DefaultUnivBackPred()

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