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.Splitting
Direct supertypes
Indirect supertypes
Fields
Predicates
getCompletion | |
toString | Gets a textual representation of this split. |