A split for conditional completions. For example, in
def method x
if x < 2 and x > 0
puts "x is 1"
end
end
we record whether x < 2 and x > 0 evaluate to true or false, and
restrict the edges out of x < 2 and x > 0 accordingly.
Import path
import codeql.ruby.controlflow.internal.SplittingDirect supertypes
Indirect supertypes
Fields
Predicates
| getCompletion | |
| toString | Gets a textual representation of this split. |