Uses of Class
vasco.soot.examples.SignAnalysis.Sign

Packages that use SignAnalysis.Sign

vasco.soot.examples

Uses of SignAnalysis.Sign in vasco.soot.examples

Methods in vasco.soot.examples that return SignAnalysis.Sign

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 vasco.soot.examples that return types with arguments of type SignAnalysis.Sign

Map<Local,SignAnalysis.Sign>	SignAnalysis.boundaryValue(SootMethod method)
Map<Local,SignAnalysis.Sign>	SignAnalysis.callEntryFlowFunction(Context<SootMethod,Unit,Map<Local,SignAnalysis.Sign>> context, SootMethod calledMethod, Unit unit, Map<Local,SignAnalysis.Sign> inValue)
Map<Local,SignAnalysis.Sign>	SignAnalysis.callExitFlowFunction(Context<SootMethod,Unit,Map<Local,SignAnalysis.Sign>> context, SootMethod calledMethod, Unit unit, Map<Local,SignAnalysis.Sign> exitValue)
Map<Local,SignAnalysis.Sign>	SignAnalysis.callLocalFlowFunction(Context<SootMethod,Unit,Map<Local,SignAnalysis.Sign>> context, Unit unit, Map<Local,SignAnalysis.Sign> inValue)
Map<Local,SignAnalysis.Sign>	SignAnalysis.copy(Map<Local,SignAnalysis.Sign> src)
Map<Local,SignAnalysis.Sign>	SignAnalysis.meet(Map<Local,SignAnalysis.Sign> op1, Map<Local,SignAnalysis.Sign> op2)
Map<Local,SignAnalysis.Sign>	SignAnalysis.normalFlowFunction(Context<SootMethod,Unit,Map<Local,SignAnalysis.Sign>> context, Unit unit, Map<Local,SignAnalysis.Sign> inValue)
Map<Local,SignAnalysis.Sign>	SignAnalysis.topValue() Returns an empty map.

Method parameters in vasco.soot.examples with type arguments of type SignAnalysis.Sign

Map<Local,SignAnalysis.Sign>	SignAnalysis.callEntryFlowFunction(Context<SootMethod,Unit,Map<Local,SignAnalysis.Sign>> context, SootMethod calledMethod, Unit unit, Map<Local,SignAnalysis.Sign> inValue)
Map<Local,SignAnalysis.Sign>	SignAnalysis.callEntryFlowFunction(Context<SootMethod,Unit,Map<Local,SignAnalysis.Sign>> context, SootMethod calledMethod, Unit unit, Map<Local,SignAnalysis.Sign> inValue)
Map<Local,SignAnalysis.Sign>	SignAnalysis.callExitFlowFunction(Context<SootMethod,Unit,Map<Local,SignAnalysis.Sign>> context, SootMethod calledMethod, Unit unit, Map<Local,SignAnalysis.Sign> exitValue)
Map<Local,SignAnalysis.Sign>	SignAnalysis.callExitFlowFunction(Context<SootMethod,Unit,Map<Local,SignAnalysis.Sign>> context, SootMethod calledMethod, Unit unit, Map<Local,SignAnalysis.Sign> exitValue)
Map<Local,SignAnalysis.Sign>	SignAnalysis.callLocalFlowFunction(Context<SootMethod,Unit,Map<Local,SignAnalysis.Sign>> context, Unit unit, Map<Local,SignAnalysis.Sign> inValue)
Map<Local,SignAnalysis.Sign>	SignAnalysis.callLocalFlowFunction(Context<SootMethod,Unit,Map<Local,SignAnalysis.Sign>> context, Unit unit, Map<Local,SignAnalysis.Sign> inValue)
Map<Local,SignAnalysis.Sign>	SignAnalysis.copy(Map<Local,SignAnalysis.Sign> src)
Map<Local,SignAnalysis.Sign>	SignAnalysis.meet(Map<Local,SignAnalysis.Sign> op1, Map<Local,SignAnalysis.Sign> op2)
Map<Local,SignAnalysis.Sign>	SignAnalysis.meet(Map<Local,SignAnalysis.Sign> op1, Map<Local,SignAnalysis.Sign> op2)
Map<Local,SignAnalysis.Sign>	SignAnalysis.normalFlowFunction(Context<SootMethod,Unit,Map<Local,SignAnalysis.Sign>> context, Unit unit, Map<Local,SignAnalysis.Sign> inValue)
Map<Local,SignAnalysis.Sign>	SignAnalysis.normalFlowFunction(Context<SootMethod,Unit,Map<Local,SignAnalysis.Sign>> context, Unit unit, Map<Local,SignAnalysis.Sign> inValue)