escjava.translate
Class Ejp

java.lang.Object
  escjava.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)