m2isar.metamodel.utils.scalar_staticness

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

Classes

ScalarStaticnessVisitor

Visitor that determines scalar staticness for behavior expression trees.

Module Contents

class ScalarStaticnessVisitor[source]

Bases: m2isar.metamodel.utils.ExprVisitor.ExprVisitor

Inheritance diagram of m2isar.metamodel.utils.scalar_staticness.ScalarStaticnessVisitor

Visitor that determines scalar staticness for behavior expression trees.

abstract generate(expr: m2isar.metamodel.behav.BaseNode, context=None)[source]
_(expr: m2isar.metamodel.behav.Operation, context: m2isar.metamodel.utils.ScalarStaticnessContext)[source]