Predicate levelStepNoCall
Holds if there is a level step from nodeFrom to nodeTo, which does not depend on the call graph.
Import path
import codeql.ruby.typetracking.TypeTrackerSpecificpredicate levelStepNoCall(Node nodeFrom, Node nodeTo)Holds if there is a level step from nodeFrom to nodeTo, which does not depend on the call graph.
import codeql.ruby.typetracking.TypeTrackerSpecificpredicate levelStepNoCall(Node nodeFrom, Node nodeTo)