CodeQL library for Python


                        codeql/python-all


                        0.9.2

( changelog , source )

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

PointsToExtension

Indirect supertypes

@py_flow_node

Predicates

Inherited predicates

from PointsToExtension

Charpred

RangeIterationVariableFact