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