public abstract class CfgVisitorBackend extends Backend
Base class for Backend
back-ends that are
based on CfgVisitor
control flow graph model visitor.
Constructor and Description |
---|
CfgVisitorBackend(CfgVisitor visitor,
CfgWalkerMode mode)
Creates object with the specified model visitor and walking mode.
|
public CfgVisitorBackend(CfgVisitor visitor, CfgWalkerMode mode)
visitor
- model visitormode
- model walking modepublic void start(Entity entity)
start
in class Backend
entity
- entity to be elaboratedjava.lang.IllegalArgumentException
- in the following situations:
(1) when argument is null
;
(2) when the specified entity is neither
of CfgModel
control flow graph model
nor of CgaaModel
clocked guarded atomic actions model kinds.