static final class MustBeReachingVariableDef.MustDef extends java.lang.Object implements LatticeElement
MustBeReachingVariableDef.Definition
in the program,
TOP and BOTTOM.
Since this is a Must-Define analysis, BOTTOM represents the case where there might be more than one reaching definition for the variable. (TOP) / | | \ N1 N2 N3 ....Nn \ | | / (BOTTOM)
Modifier and Type | Field and Description |
---|---|
(package private) java.util.Map<Var,MustBeReachingVariableDef.Definition> |
reachingDef |
Constructor and Description |
---|
MustDef() |
MustDef(java.util.Iterator<Var> vars) |
MustDef(MustBeReachingVariableDef.MustDef other)
Copy constructor.
|
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object other) |
int |
hashCode() |
final java.util.Map<Var,MustBeReachingVariableDef.Definition> reachingDef
public MustDef()
public MustDef(java.util.Iterator<Var> vars)
public MustDef(MustBeReachingVariableDef.MustDef other)
other
- The constructed object is a replicated copy of this element.