public class LivenessAcyclic
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
private class |
LivenessAcyclic.Data
local data for liveness checker
|
Modifier and Type | Field and Description |
---|---|
(package private) boolean |
throwException |
Constructor and Description |
---|
LivenessAcyclic() |
Modifier and Type | Method and Description |
---|---|
java.util.LinkedList<Channel> |
check(Graph graph)
check the liveness (in this version - whether the graph is acyclic)
|
(package private) void |
setThrowExceptionFlag(boolean flag)
Before checking the liveness, tell the checker whether
we want an exception if graph is not live
|
(package private) java.util.LinkedList<Channel> |
visitSuccessors(Actor actor,
LivenessAcyclic.Data data)
visit non-visited successors of the given actor
|
void setThrowExceptionFlag(boolean flag)
public java.util.LinkedList<Channel> check(Graph graph)
graph
- java.util.LinkedList<Channel> visitSuccessors(Actor actor, LivenessAcyclic.Data data)