|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use SignAnalysis.Sign | |
---|---|
tip.cfg.dfa | Provides a collection of data flow analyses for TIP programs. |
Uses of SignAnalysis.Sign in tip.cfg.dfa |
---|
Fields in tip.cfg.dfa declared as SignAnalysis.Sign | |
---|---|
static SignAnalysis.Sign[][] |
SignAnalysis.DIVIDE_op
|
static SignAnalysis.Sign[][] |
SignAnalysis.EQ_op
|
static SignAnalysis.Sign[][] |
SignAnalysis.GT_op
|
static SignAnalysis.Sign[][] |
SignAnalysis.MINUS_op
|
static SignAnalysis.Sign[][] |
SignAnalysis.PLUS_op
|
static SignAnalysis.Sign[][] |
SignAnalysis.TIMES_op
|
Methods in tip.cfg.dfa that return SignAnalysis.Sign | |
---|---|
SignAnalysis.Sign |
SignAnalysis.Evaluator.caseABinopExp(ABinopExp node,
EqualityMap<ALocalDecl,SignAnalysis.Sign> map)
|
SignAnalysis.Sign |
SignAnalysis.Evaluator.caseAIntConstExp(AIntConstExp node,
EqualityMap<ALocalDecl,SignAnalysis.Sign> map)
|
SignAnalysis.Sign |
SignAnalysis.Evaluator.caseAVarExp(AVarExp node,
EqualityMap<ALocalDecl,SignAnalysis.Sign> map)
|
SignAnalysis.Sign |
SignAnalysis.Evaluator.defaultNode(Node node,
EqualityMap<ALocalDecl,SignAnalysis.Sign> map)
|
SignAnalysis.Sign |
SignAnalysis.SignLattice.getLeastUpperBound(SignAnalysis.Sign a,
SignAnalysis.Sign b)
|
SignAnalysis.Sign |
SignAnalysis.SignLattice.getSmallestElement()
|
static SignAnalysis.Sign |
SignAnalysis.Sign.valueOf(String name)
Returns the enum constant of this type with the specified name. |
static SignAnalysis.Sign[] |
SignAnalysis.Sign.values()
Returns an array containing the constants of this enum type, in the order they are declared. |
Methods in tip.cfg.dfa with parameters of type SignAnalysis.Sign | |
---|---|
boolean |
SignAnalysis.SignLattice.equals(SignAnalysis.Sign a,
SignAnalysis.Sign b)
|
SignAnalysis.Sign |
SignAnalysis.SignLattice.getLeastUpperBound(SignAnalysis.Sign a,
SignAnalysis.Sign b)
|
int |
SignAnalysis.SignLattice.hashCode(SignAnalysis.Sign a)
|
Method parameters in tip.cfg.dfa with type arguments of type SignAnalysis.Sign | |
---|---|
SignAnalysis.Sign |
SignAnalysis.Evaluator.caseABinopExp(ABinopExp node,
EqualityMap<ALocalDecl,SignAnalysis.Sign> map)
|
SignAnalysis.Sign |
SignAnalysis.Evaluator.caseAIntConstExp(AIntConstExp node,
EqualityMap<ALocalDecl,SignAnalysis.Sign> map)
|
SignAnalysis.Sign |
SignAnalysis.Evaluator.caseAVarExp(AVarExp node,
EqualityMap<ALocalDecl,SignAnalysis.Sign> map)
|
SignAnalysis.Sign |
SignAnalysis.Evaluator.defaultNode(Node node,
EqualityMap<ALocalDecl,SignAnalysis.Sign> map)
|
String |
SignAnalysis.getVariableString(EqualityMap<ALocalDecl,SignAnalysis.Sign> variable)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |