m2isar.metamodel.utils.scalar_staticness

Transformation functions to determine which vars in a function or instruction behavior are to be considered static.

Classes

VarAccessVisitor

Visitor that determines Variable staticness for behavior expression trees.

Module Contents

class VarAccessVisitor

Bases: m2isar.metamodel.utils.ExprVisitor.ExprVisitor

Visitor that determines Variable staticness for behavior expression trees.

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

_(expr: m2isar.metamodel.behav.Operation, context: m2isar.metamodel.attribute_info.AccessContext)