mypy.ini

[mypy]

scripts_are_modules = True
show_traceback = True

# Options to make the checking stricter
check_untyped_defs = True
disallow_untyped_defs = True
disallow_any_generics = True
warn_no_return = True
strict_optional = True
no_implicit_optional = True
warn_redundant_casts = True
warn_unused_ignores = True

# Display the codes needed for # type: ignore[code] annotations.
show_error_codes = True

ignore_missing_imports = True

# Warn of unreachable or redundant code.
warn_unreachable = True

exclude = flamapy/metamodels/fm_metamodel/transformations/uvl_parser/UVLLexer.py|flamapy/metamodels/fm_metamodel/transformations/uvl_parser/UVLListener.py|flamapy/metamodels/fm_metamodel/transformations/uvl_parser/UVLParser.py