public 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.
|
public CfgVisitorBackend(CfgVisitor visitor, CfgWalkerMode mode)
visitor
- Model visitor.mode
- Mode of walking.java.lang.IllegalArgumentException
- when mode argument is null
.public void start(Entity entity)
start
in class Backend
entity
- Entity to be elaborated.java.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.