|
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 |
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectescjava.translate.ATarget
Infers more precise loop targets.
Field Summary | |
Expr[] |
indices
|
private static Expr |
nonConst
|
private static Set |
targets
|
GenericVarDecl |
x
|
Constructor Summary | |
(package private) |
ATarget(GenericVarDecl x,
Expr[] indices)
|
Method Summary | |
private static void |
addTarget(GenericVarDecl vd)
|
private static void |
addTarget(GenericVarDecl vd,
Expr index)
|
private static void |
addTarget(GenericVarDecl vd,
Expr[] indices)
|
private static void |
addTarget(GenericVarDecl vd,
Expr index1,
Expr index2)
|
private static Expr |
applyEnv(java.util.Hashtable env,
Expr expr)
Returns null if expr not loop constant |
static Set |
compute(GuardedCmd gc)
|
private static void |
computeMentionsSet(ASTNode n,
Set s)
|
boolean |
equals(java.lang.Object o)
|
private static void |
extendEnv(java.util.Hashtable env,
GenericVarDecl d,
Expr e)
|
private static void |
F(GuardedCmd g,
java.util.Hashtable in,
java.util.Hashtable[] out)
|
int |
hashCode()
|
static boolean |
mentions(Expr expr,
Set s)
|
private static java.util.Hashtable |
mergeEnv(java.util.Hashtable a,
java.util.Hashtable b)
|
java.lang.String |
toString()
|
Methods inherited from class java.lang.Object |
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
Field Detail |
public GenericVarDecl x
public Expr[] indices
private static Set targets
private static Expr nonConst
Constructor Detail |
ATarget(GenericVarDecl x, Expr[] indices)
Method Detail |
public static Set compute(GuardedCmd gc)
private static void addTarget(GenericVarDecl vd)
private static void addTarget(GenericVarDecl vd, Expr index)
private static void addTarget(GenericVarDecl vd, Expr index1, Expr index2)
private static void addTarget(GenericVarDecl vd, Expr[] indices)
public boolean equals(java.lang.Object o)
public int hashCode()
public static boolean mentions(Expr expr, Set s)
private static void F(GuardedCmd g, java.util.Hashtable in, java.util.Hashtable[] out)
private static void extendEnv(java.util.Hashtable env, GenericVarDecl d, Expr e)
private static java.util.Hashtable mergeEnv(java.util.Hashtable a, java.util.Hashtable b)
private static Expr applyEnv(java.util.Hashtable env, Expr expr)
private static void computeMentionsSet(ASTNode n, Set s)
public java.lang.String toString()
|
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 |
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |