public class LabelFlowGraph extends Graph
Graph.LabellingVisitor, Graph.NodeVisitor, Graph.PathFinder
Modifier and Type | Field and Description |
---|---|
static int |
detailedMessage |
static java.util.Collection<java.lang.String> |
flowgraphtopic |
static int |
messageOnly |
static int |
showSlicedGraph |
static int |
showWholeGraph |
Constructor and Description |
---|
LabelFlowGraph(java.util.List<InformationFlowTrace> t,
FailedConstraintSnapshot snapshot) |
Modifier and Type | Method and Description |
---|---|
void |
generateGraph() |
jif.types.LabelFlowGraph.LabelNode |
getNode(Label label) |
static boolean |
shouldReport(int obscurity) |
void |
showErrorPath() |
void |
slicing(jif.types.Graph.Node backward,
jif.types.Graph.Node forward) |
java.lang.String |
toDotString() |
void |
writeToDotFile() |
addEdge, getBackwardPaths, getForwardPaths, labelAll
public static final java.util.Collection<java.lang.String> flowgraphtopic
public static final int messageOnly
public static final int detailedMessage
public static final int showSlicedGraph
public static final int showWholeGraph
public LabelFlowGraph(java.util.List<InformationFlowTrace> t, FailedConstraintSnapshot snapshot)
public static boolean shouldReport(int obscurity)
public jif.types.LabelFlowGraph.LabelNode getNode(Label label)
public void generateGraph()
public java.lang.String toDotString()
public void slicing(jif.types.Graph.Node backward, jif.types.Graph.Node forward)
public void showErrorPath()
public void writeToDotFile()