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.translate
Class Ejp

java.lang.Object
  extended byescjava.translate.Ejp

public abstract class Ejp
extends java.lang.Object


Constructor Summary
Ejp()
           
 
Method Summary
static Expr compute(GuardedCmd g, Expr normal, Expr exceptional)
           
private static Expr compute(GuardedCmd g, Expr normal, Expr exceptional, java.lang.String dynInstPrefix, VarMap dynInstMap)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Ejp

public Ejp()
Method Detail

compute

public static Expr compute(GuardedCmd g,
                           Expr normal,
                           Expr exceptional)

compute

private static Expr compute(GuardedCmd g,
                            Expr normal,
                            Expr exceptional,
                            java.lang.String dynInstPrefix,
                            VarMap dynInstMap)

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