Constant Field Values

Contents

• it.unive.*

it.unive.*

it.unive.lisa.analysis.AbstractState<A extends AbstractState<A,H,V,T>,H extends HeapDomain<H>,V extends ValueDomain<V>,T extends TypeDomain<T>>

Modifier and Type	Constant Field	Value
public static final java.lang.String	HEAP_REPRESENTATION_KEY	"heap"
public static final java.lang.String	TYPE_REPRESENTATION_KEY	"type"
public static final java.lang.String	VALUE_REPRESENTATION_KEY	"value"

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.interprocedural.OpenCallPolicy

Modifier and Type	Constant Field	Value
public static final java.lang.String	RETURNED_VARIABLE_NAME	"open_call_return"

it.unive.lisa.outputs.DotGraph

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.program.language.validation.BaseValidationLogic

Modifier and Type	Constant Field	Value
public static final java.lang.String	ABSTRACT_METHODS	"%s is not abstract and cannot have abstract code members"
public static final java.lang.String	ABSTRACT_NON_INSTANCE	"%s is not an instance member and cannot be abstract"
public static final java.lang.String	ABSTRACT_SEALED_UNIT	"%s is abstract and cannot be sealed"
public static final java.lang.String	CANNOT_OVERRIDE	"%s overrides the non-overridable member %s"
public static final java.lang.String	DUPLICATE_MEMBER	"%s is duplicated within unit %s"
public static final java.lang.String	EXIT_WITH_FOLLOWERS	"%s contains an execution-stopping node that has followers: %s"
public static final java.lang.String	INHERIT_FROM_SEALED	"%s cannot inherit from the sealed unit %s"
public static final java.lang.String	INTERFACE_WITH_GLOBALS	"%s is an interface and cannot have instange globals"
public static final java.lang.String	INVALID_CFSTRUCTURE	"%s has a conditional structure (%s) that contains a node not in the graph: %s"
public static final java.lang.String	INVALID_NODE_LIST	"The node list behind %s is invalid"
public static final java.lang.String	MEMBER_MISMATCH	"%s does not match its own signature"
public static final java.lang.String	MISSING_OVERRIDE	"%s does not override %s from the non-instantiable unit %s"
public static final java.lang.String	MULTIPLE_OVERRIDES	"%s is overriden multiple times in unit %s: %s"
public static final java.lang.String	NO_FOLLOWERS	"%s contains a node with no followers that is not execution-stopping: %s"
public static final java.lang.String	UNKNOWN_ENTRYPOINTS	"Program contains entrypoints that are not part of the program: %s"