CodeQL library for Python
codeql/python-all 4.0.9 (changelog, source)
Search

Class RangeIterationVariableFact

An extension representing the fact that a variable iterating over range or xrange must be an integer

Import path

import semmle.python.types.Extensions

Direct supertypes

Indirect supertypes

Predicates

Inherited predicates

Charpred