Command Line Interface

Cascade can be invoked from the command line to perform control flow analysis of a single method. To do so, run Java from the command line and specify the edu.uci.eecs.doc.cascade.Cascade class followed by the appropriate arguments, as described below. (Alternatively, the quick-test target in the Ant build script provides an easy way of supplying these arguments without re-typing them.)

edu.uci.eecs.doc.cascade.Cascade [-bytecode] {-classpath classpath} [-dot filename] [-gml filename] [-graphml filename] [-hideCacheMiss] {-method signature} [-print] [-recursive] [[-svg filename] | [-svgColorized filename]] [-text filename]

-bytecode

If specified, Cascade will add a list of bytecode instructions to each control flow node in all output formats.

-classpath

A list of directories that will be searched when loading classes during control flow construction. Each path in the list must be separated by the system's path separator (e.g., : on UNIX-based systems).

-dot

If specified, Cascade will save a representation of the control flow graph in DOT format to the given file.

-gml

If specified, Cascade will save a representation of the control flow graph in GML format to the given file.

-graphml

If specified, Cascade will save a representation of the control flow graph in GraphML format to the given file.

-hideCacheMiss

If specified, Cascade will not display cache miss blocks in the control flow graphs that it creates.

-method

The method whose control flow graph or tree should be constructed. The method signature must be fully qualified. For example, the signature for indexOf is java.lang.String.indexOf(java.lang.String,int).

-print

If specified, Cascade will print a plain-text representation of the control flow tree to the console.

-recursive

If specified during control flow tree generation, Cascade will produce trees for the method, the methods that it invokes, the methods that they invoke, and so on.

-svg

If specified, Cascade will save a representation of the control flow tree in black-and-white SVG format to the given file.

-svgColorized

If specified, Cascade will save a representation of the control flow tree in a color-coded SVG format to the given file.

-text

If specified, Cascade will save a representation of the control flow tree in plain text format to the given file.