PythonTA
Quick Start
Installation
Running PythonTA
Learning about the checks
Checking contracts
PythonTA Checks
Improper Python usage
Type errors
Code complexity
Documentation and naming
Imports
Classes and objects
Exceptions
Custom errors
Miscellaneous
Mypy-based checks
Modified iterators in for loops
Style errors
Syntax errors
Older errors
API
check_all()
doc()
Configuration
Example
Pylint configuration options
PythonTA general configuration options
PythonTA checker configuration options
Overriding error messages
Runtime Contract Checking
Quick demo
API
Command Line Interface
Specifying contracts
Technical notes
Loop, Recursion and Memory Tracing
Loop tracing with
AccumulationTable
Current limitations
Recursion tracing with
RecursionTable
Tracing with user-defined classes
Tracing the Python Memory Model
Control Flow Graphs
Code Example
Additional installation required!
Sample Usage
API
Publications
PythonTA
Index
Index
_
|
C
|
D
|
E
|
G
|
L
|
R
|
S
|
V
_
__init__() (python_ta.debug.AccumulationTable method)
(python_ta.debug.RecursionTable method)
(python_ta.debug.SnapshotTracer method)
C
check_all() (in module python_ta)
check_all_contracts() (in module python_ta.contracts)
check_contracts() (in module python_ta.contracts)
D
DEBUG_CONTRACTS (in module python_ta.contracts)
doc() (in module python_ta)
E
ENABLE_CONTRACT_CHECKING (in module python_ta.contracts)
G
generate_cfg() (in module python_ta.cfg)
get_recursive_dict() (python_ta.debug.RecursionTable method)
L
loop_accumulators (python_ta.debug.AccumulationTable attribute)
loop_variables (python_ta.debug.AccumulationTable attribute)
R
RENAME_MAIN_TO_PYDEV_UMD (in module python_ta.contracts)
S
STRICT_NUMERIC_TYPES (in module python_ta.contracts)
V
validate_invariants() (in module python_ta.contracts)