soot.util.dot
Interface DotGraphConstants


public interface DotGraphConstants

Defines several constants used to generate a Dot graph.


Field Summary
static java.lang.String EDGE_STYLE_DOTTED
           
static java.lang.String EDGE_STYLE_SOLID
           
static java.lang.String GRAPH_ORIENT_LANDSCAPE
           
static java.lang.String GRAPH_ORIENT_PORTRAIT
           
static java.lang.String NODE_SHAPE_BOX
           
static java.lang.String NODE_SHAPE_CIRCLE
           
static java.lang.String NODE_SHAPE_DIAMOND
           
static java.lang.String NODE_SHAPE_ELLIPSE
           
static java.lang.String NODE_SHAPE_PLAINTEXT
           
static java.lang.String NODE_STYLE_BOLD
           
static java.lang.String NODE_STYLE_DASHED
           
static java.lang.String NODE_STYLE_DIAGONALS
           
static java.lang.String NODE_STYLE_DOTTED
           
static java.lang.String NODE_STYLE_FILLED
           
static java.lang.String NODE_STYLE_INVISIBLE
           
static java.lang.String NODE_STYLE_ROUNDED
           
static java.lang.String NODE_STYLE_SOLID
           
 

Field Detail

NODE_SHAPE_BOX

public static final java.lang.String NODE_SHAPE_BOX

NODE_SHAPE_ELLIPSE

public static final java.lang.String NODE_SHAPE_ELLIPSE

NODE_SHAPE_CIRCLE

public static final java.lang.String NODE_SHAPE_CIRCLE

NODE_SHAPE_DIAMOND

public static final java.lang.String NODE_SHAPE_DIAMOND

NODE_SHAPE_PLAINTEXT

public static final java.lang.String NODE_SHAPE_PLAINTEXT

NODE_STYLE_SOLID

public static final java.lang.String NODE_STYLE_SOLID

NODE_STYLE_DASHED

public static final java.lang.String NODE_STYLE_DASHED

NODE_STYLE_DOTTED

public static final java.lang.String NODE_STYLE_DOTTED

NODE_STYLE_BOLD

public static final java.lang.String NODE_STYLE_BOLD

NODE_STYLE_INVISIBLE

public static final java.lang.String NODE_STYLE_INVISIBLE

NODE_STYLE_FILLED

public static final java.lang.String NODE_STYLE_FILLED

NODE_STYLE_DIAGONALS

public static final java.lang.String NODE_STYLE_DIAGONALS

NODE_STYLE_ROUNDED

public static final java.lang.String NODE_STYLE_ROUNDED

EDGE_STYLE_DOTTED

public static final java.lang.String EDGE_STYLE_DOTTED

EDGE_STYLE_SOLID

public static final java.lang.String EDGE_STYLE_SOLID

GRAPH_ORIENT_PORTRAIT

public static final java.lang.String GRAPH_ORIENT_PORTRAIT

GRAPH_ORIENT_LANDSCAPE

public static final java.lang.String GRAPH_ORIENT_LANDSCAPE