public class StreamGraph
extends java.lang.Object
ERROR_DOT_FILE_NAME
and DOT_FILE_PATH
.Modifier and Type | Field and Description |
---|---|
static java.lang.String |
DOT_FILE_PATH
Property denoting the path to write all stream graph dot files.
|
static java.lang.String |
ERROR_DOT_FILE_NAME
Property denoting the path and filename to write the failed stream graph dot file.
|
Constructor and Description |
---|
StreamGraph() |
Modifier and Type | Method and Description |
---|---|
void |
addHead(Duct head) |
void |
addPath(Duct lhs,
Duct rhs) |
void |
addPath(Duct lhs,
int ordinal,
Duct rhs) |
void |
addTail(Duct tail) |
static java.util.LinkedList<java.util.List<Duct>> |
asPathList(java.util.List<org.jgrapht.GraphPath<Duct,DuctGraph.Ordinal>> paths) |
void |
bind() |
void |
cleanup()
Calls cleanup starting at the head and working forwards
|
int |
countAllEventingPathsTo(Duct duct)
Returns all free paths to the current duct, usually a GroupGate.
|
protected Duct |
createFork(Duct[] allNext) |
Duct |
createNextFor(Duct current) |
protected Duct |
createOpenReducingWindow(Duct next) |
protected Duct |
createOpenWindow(Duct next) |
Duct[] |
findAllNextFor(Duct current) |
Duct[] |
findAllPreviousFor(Duct current) |
java.util.Collection<Duct> |
getAllDucts() |
java.util.Collection<Duct> |
getHeads() |
protected java.lang.Object |
getProperty(java.lang.String name) |
org.jgrapht.DirectedGraph |
getReversedGraph() |
org.jgrapht.traverse.TopologicalOrderIterator<Duct,java.lang.Integer> |
getReversedTopologicalOrderIterator() |
java.util.Collection<Duct> |
getTails() |
org.jgrapht.traverse.TopologicalOrderIterator<Duct,java.lang.Integer> |
getTopologicalOrderIterator() |
int |
ordinalBetween(Duct lhs,
Duct rhs) |
void |
prepare()
Calls prepare starting at the tail and working backwards
|
void |
printGraph(java.lang.String filename) |
void |
printGraph(java.lang.String id,
java.lang.String classifier,
int discriminator) |
void |
printGraphError() |
public static final java.lang.String ERROR_DOT_FILE_NAME
public static final java.lang.String DOT_FILE_PATH
protected java.lang.Object getProperty(java.lang.String name)
public void addHead(Duct head)
public void addTail(Duct tail)
public void bind()
public void prepare()
public void cleanup()
public java.util.Collection<Duct> getHeads()
public java.util.Collection<Duct> getTails()
public int countAllEventingPathsTo(Duct duct)
duct
- of type Ductpublic static java.util.LinkedList<java.util.List<Duct>> asPathList(java.util.List<org.jgrapht.GraphPath<Duct,DuctGraph.Ordinal>> paths)
public org.jgrapht.traverse.TopologicalOrderIterator<Duct,java.lang.Integer> getTopologicalOrderIterator()
public org.jgrapht.traverse.TopologicalOrderIterator<Duct,java.lang.Integer> getReversedTopologicalOrderIterator()
public org.jgrapht.DirectedGraph getReversedGraph()
public java.util.Collection<Duct> getAllDucts()
public void printGraphError()
public void printGraph(java.lang.String id, java.lang.String classifier, int discriminator)
public void printGraph(java.lang.String filename)