Constant Field Values

Contents

• it.unive.*

it.unive.*

it.unive.lisa.analysis.Lattice<L extends Lattice<L>>

Modifier and Type	Constant Field	Value
public static final java.lang.String	BOTTOM_STRING	"_|_"
public static final java.lang.String	TOP_STRING	"#TOP#"

it.unive.lisa.outputs.DotGraph<N extends Node<N,E,G>,E extends Edge<N,E,G>,G extends Graph<G,N,E>>

Modifier and Type	Constant Field	Value
protected static final java.lang.String	COLOR	"color"
protected static final java.lang.String	COLOR_BLACK	"black"
protected static final java.lang.String	COLOR_BLUE	"blue"
protected static final java.lang.String	COLOR_GRAY	"gray"
protected static final java.lang.String	COLOR_RED	"red"
protected static final java.lang.String	CONDITIONAL_EDGE_STYLE	"dashed"
protected static final java.lang.String	EXIT_NODE_EXTRA_ATTR	"peripheries"
protected static final java.lang.String	EXIT_NODE_EXTRA_VALUE	"2"
protected static final java.lang.String	LABEL	"label"
protected static final java.lang.String	NODE_SHAPE	"rect"
protected static final java.lang.String	NORMAL_NODE_COLOR	"gray"
protected static final java.lang.String	SHAPE	"shape"
protected static final java.lang.String	SPECIAL_NODE_COLOR	"black"
protected static final java.lang.String	STYLE	"style"

it.unive.lisa.program.Program

Modifier and Type	Constant Field	Value
public static final java.lang.String	PROGRAM_NAME	"~LiSAProgram"

it.unive.lisa.util.datastructures.graph.FixpointGraph<G extends FixpointGraph<G,N,E>,N extends Node<N,E,G>,E extends SemanticEdge<N,E,G>>

Modifier and Type	Constant Field	Value
public static final int	DEFAULT_WIDENING_THRESHOLD	5