Methods in joeq.Compiler.Analysis.FlowInsensitive with parameters of type MethodSummary.PassedParameter |
boolean |
MethodSummary.PassedParameter.equals(MethodSummary.PassedParameter that)
|
Set |
MethodSummary.getNodesThatCall(MethodSummary.PassedParameter pp)
Return the set of nodes that are passed as the given parameter. |
void |
MethodSummary.getNodesThatCall(MethodSummary.PassedParameter pp,
Set result)
Add all nodes that are passed as the given passed parameter to the given result set. |
boolean |
MethodSummary.Node.recordPassedParameter(MethodSummary.PassedParameter cm)
Record the given passed parameter in the set for this node. |