CodeQL library for Python
codeql/python-all 3.1.2-dev (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