Package edu.uci.eecs.doc.cascade.graph

Provides a control flow graph (CFG) data structure and various CFG file exporters.

See:
Description

Interface Summary

GraphWriter

An interface for exporting a control flow graph to various output formats.

Class Summary

AbstractGraphWriter	An abstract base class for exporting a control flow graph to various output formats.
BasicBlock	Represents a sequence of bytecode instructions with at most one branch.
CacheMiss	Represents an instruction cache miss.
DOTWriter	Exports a control flow graph to DOT format.
Edge	Represents edges between nodes in a control flow graph.
EdgeIDProvider	Generates unique IDs for edges in a control flow graph.
EdgeLabelProvider	Generates descriptive labels for edges in a control flow graph.
Entry	Represents the single entry point in control flow graphs.
Exit	Represents the single exit point in control flow graphs.
FalseBranch	Represents the "not-taken" branch in outgoing edges of branching nodes (e.g., if-then-else, loops) in a control flow graph.
GMLWriter	Exports a control flow graph to GML format.
Graph	A control flow graph (CFG) of a Java method.
GraphMLWriter	Exports a control flow graph to GraphML format.
Invoke	A basic block representing an instruction invocation.
InvokeMiss	Represents an instruction cache miss when invoking a method.
LoopBlock	A base class that represents the start of a loop.
ReturnMiss	Represents an instruction cache miss when returning to a method.
TrueBranch	Represents the "taken" branch in outgoing edges of branching nodes (e.g., if-then-else, loops) in a control flow graph.
Vertex	Represents vertices in a control flow graph.
VertexIDProvider	Generates unique IDs for vertices in a control flow graph.
VertexLabelProvider	Generates descriptive labels for vertices in a control flow graph.

Package edu.uci.eecs.doc.cascade.graph Description

Provides a control flow graph (CFG) data structure and various CFG file exporters.