m2isar.metamodel.utils.ExprVisitor

A helper module for applying all expression visitor functions in this package to functions and instructions to get rid of monkey patching and use instead polymorphism.

Classes

ExprVisitor

Base class for recursive metamodel traversal with 2 modes:

Module Contents

class ExprVisitor

Bases: abc.ABC

Base class for recursive metamodel traversal with 2 modes:

• Generating text by appending context while traversing AST.

• Analyzing/Mutating the AST (sometimes with the help of a context) and returning a modified AST.

To implement a new visitor, overload the ‘generate’ method of nodes that need altered visitation behavior. Use self for additonal global state information Use context for stack-based information that is only relevant for the current branch of the AST.

abstract generate(expr: m2isar.metamodel.behav.BaseNode, context=None)

abstract default_visit(expr: m2isar.metamodel.behav.BaseNode, context)

visit_codeliteral(expr: m2isar.metamodel.behav.CodeLiteral, context)

visit_operator(expr: m2isar.metamodel.behav.Operator, context)

visit_operation(expr: m2isar.metamodel.behav.Operation, context)

visit_block(expr: m2isar.metamodel.behav.Block, context)

visit_binary_operation(expr: m2isar.metamodel.behav.BinaryOperation, context)

visit_slice_operation(expr: m2isar.metamodel.behav.SliceOperation, context)

visit_concat_operation(expr: m2isar.metamodel.behav.ConcatOperation, context)

visit_number_literal(expr: m2isar.metamodel.behav.NumberLiteral, context)

visit_int_literal(expr: m2isar.metamodel.behav.IntLiteral, context)

visit_string_literal(expr: m2isar.metamodel.behav.StringLiteral, context)

visit_assignment(expr: m2isar.metamodel.behav.Assignment, context)

visit_conditional(expr: m2isar.metamodel.behav.Conditional, context)

visit_loop(expr: m2isar.metamodel.behav.Loop, context)

visit_ternary_operation(expr: m2isar.metamodel.behav.Ternary, context)

visit_return_operation(expr: m2isar.metamodel.behav.Return, context)

visit_unary_operation(expr: m2isar.metamodel.behav.UnaryOperation, context)

visit_scalar_definition(expr: m2isar.metamodel.behav.ScalarDefinition, context)

visit_break(expr: m2isar.metamodel.behav.Break, context)

visit_named_reference(expr: m2isar.metamodel.behav.NamedReference, context)

visit_indexed_reference(expr: m2isar.metamodel.behav.IndexedReference, context)

visit_type_conv(expr: m2isar.metamodel.behav.TypeConv, context)

visit_callable(expr: m2isar.metamodel.behav.Callable, context)

visit_procedure_call(expr: m2isar.metamodel.behav.Callable, context)

visit_group(expr: m2isar.metamodel.behav.Group, context)