m2isar.backends.coverage.id_transform

Visitor for mapping line/function IDs to model objects for coverage backends.

Classes

IdTransformVisitor

Visitor that builds a mapping from code info IDs to behavior objects.

Module Contents

class IdTransformVisitor[source]

Bases: m2isar.metamodel.utils.ExprVisitor.ExprVisitor

Inheritance diagram of m2isar.backends.coverage.id_transform.IdTransformVisitor

Visitor that builds a mapping from code info IDs to behavior objects.

abstract generate(expr: m2isar.metamodel.behav.BaseNode, context=None)[source]

_store_id(expr: m2isar.metamodel.behav.BaseNode, context: m2isar.backends.coverage.utils.IdMatcherContext)[source]

_(expr: m2isar.metamodel.behav.Operation, context: m2isar.backends.coverage.utils.IdMatcherContext)[source]