parser.typecheck Namespace Reference

Functions
tuple[int, str]	_run_mypy_module (str filename, str cache_dir)
tuple[int, str]	_without_intrinsic_diagnostics (int exit_status, str report)
tuple[int, str]	run_mypy_strict (str filename)

Variables
	mypy_api = None
tuple	_INTRINSICS
	_INTRINSIC_UNDEFINED

Detailed Description

Type-check helpers for parser CLI.

Function Documentation

_run_mypy_module()

tuple[int, str] parser.typecheck._run_mypy_module ( str filename, str cache_dir )

protected

Run mypy through ``mypy.api``.

_without_intrinsic_diagnostics()

tuple[int, str] parser.typecheck._without_intrinsic_diagnostics ( int exit_status, str report )

protected

Drop undefined-name diagnostics for ESBMC's injected globals.

run_mypy_strict()

tuple[int, str] parser.typecheck.run_mypy_strict

(

str

filename

)

Run mypy in strict mode when the Python module is available.

Variable Documentation

_INTRINSIC_UNDEFINED

parser.typecheck._INTRINSIC_UNDEFINED

protected

Initial value:

=  re.compile('error: Name "(?:' +
                                  "|".join(re.escape(name)
                                           for name in _INTRINSICS) + ')" is not defined')

_INTRINSICS

tuple parser.typecheck._INTRINSICS

protected

mypy_api

parser.typecheck.mypy_api = None