Ruby: Add stub.

This commit is contained in:
Mathias Vorreiter Pedersen
2023-02-17 11:59:21 +00:00
parent 5ebd50044f
commit e6b6369a21

View File

@@ -1498,3 +1498,19 @@ class AdditionalJumpStep extends Unit {
*/
abstract predicate step(Node pred, Node succ);
}
/**
* Gets an additional term that is added to the `join` and `branch` computations to reflect
* an additional forward or backwards branching factor that is not taken into account
* when calculating the (virtual) dispatch cost.
*
* `call` is a call with an argument `arg` that is part of a path from a source to a sink, and
* `p` is the target parameter of a callable to which `call` may resolve.
*
* All these values are bound by the dataflow library, and if this predicate is implemented it
* should be specified with a bindingset annotation that binds all the columns.
*/
bindingset[call, p, arg]
int getAdditionalFlowIntoCallNodeTerm(DataFlowCall call, ParameterNode p, ArgumentNode arg) {
none()
}