m2isar.metamodel.utils.function_throws

Tranformation functions to determine whether a function throws an exception.

Classes

FunctionThrowsVisitor

Visitor that determines whether behavior expression trees can throw exceptions.

Functions

cast_to_throws(→ m2isar.metamodel.arch.FunctionThrows)

Cast unknown throws values into FunctionThrows for robust visitor dispatch.

Module Contents

class FunctionThrowsVisitor

Bases: m2isar.metamodel.utils.ExprVisitor.ExprVisitor

Visitor that determines whether behavior expression trees can throw exceptions.

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

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

cast_to_throws(throws: Any) → m2isar.metamodel.arch.FunctionThrows

Cast unknown throws values into FunctionThrows for robust visitor dispatch.