ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
parser.parser_cli.ThreadingLoweringLike Class Reference
Inheritance diagram for parser.parser_cli.ThreadingLoweringLike:
[legend]

Public Member Functions

None reject_unsupported_threading_usage (self, ast.AST tree, str source_filename)
None validate_threading_thread_usage (self, ast.Module tree, str source_filename)
None lower_threading_thread_usage (self, ast.Module tree, str source_filename)

Detailed Description

Structural type for threading validation/lowering entry points.

Member Function Documentation

◆ lower_threading_thread_usage()

None parser.parser_cli.ThreadingLoweringLike.lower_threading_thread_usage ( self,
ast.Module tree,
str source_filename )

◆ reject_unsupported_threading_usage()

None parser.parser_cli.ThreadingLoweringLike.reject_unsupported_threading_usage ( self,
ast.AST tree,
str source_filename )

◆ validate_threading_thread_usage()

None parser.parser_cli.ThreadingLoweringLike.validate_threading_thread_usage ( self,
ast.Module tree,
str source_filename )

The documentation for this class was generated from the following file: