imas_validator.rules.ast_rewrite.AssertTransformer¶

class imas_validator.rules.ast_rewrite.AssertTransformer¶

Bases: NodeTransformer

Node transformer that swaps assert statement with given assert function

__init__()¶

Methods

__init__()
generic_visit(node)	Called if no explicit visitor function exists for a node.
visit(node)	Visit a node.
visit_Assert(node)	Swap assert statement with given assert function
visit_Constant(node)

generic_visit(node)¶

Called if no explicit visitor function exists for a node.

visit(node)¶

Visit a node.

visit_Assert(node: Assert) → Expr¶

Swap assert statement with given assert function

Parameters:

node: Assert¶

AST Node for assert statement

Returns:

AST expression node for assert function