Constant Field Values

Contents

• de.rwth.*

de.rwth.*

de.rwth.i2.attestor.graph.digraph.LabeledDigraph

Modifier and Type	Constant Field	Value
public static final int	INVALID	-1

de.rwth.i2.attestor.graph.heap.HeapConfiguration

Modifier and Type	Constant Field	Value
public static final int	INVALID_ELEMENT	-1

de.rwth.i2.attestor.graph.morphism.AbstractVF2GraphData

Modifier and Type	Constant Field	Value
protected static final int	NULL_NODE	-1

de.rwth.i2.attestor.graph.morphism.VF2Algorithm

Modifier and Type	Constant Field	Value
public static final boolean	DEBUG	false

de.rwth.i2.attestor.markingGeneration.Markings

Modifier and Type	Constant Field	Value
public static final String	MARKING_PREFIX	"%"
public static final String	MARKING_SEPARATOR	"-"

de.rwth.i2.attestor.markingGeneration.neighbourhood.NeighbourhoodMarkingCommand

Modifier and Type	Constant Field	Value
protected static final String	INITIAL_MARKING_NAME	"%initialNeighbourhood"
public static final String	MARKING_NAME	"%neighbourhood"

de.rwth.i2.attestor.markingGeneration.visited.VisitedMarkingCommand

Modifier and Type	Constant Field	Value
public static final String	MARKING_NAME	"%visited"

de.rwth.i2.attestor.programState.AtomicPropositions

Modifier and Type	Constant Field	Value
public static final String	ABORTED	"{ aborted }"

de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values.GeneralConcreteValue

Modifier and Type	Constant Field	Value
public static final int	UNDEFINED	-1

de.rwth.i2.attestor.semantics.util.Constants

Modifier and Type	Constant Field	Value
public static final String	FALSE	"false"
public static final String	MINUS_ONE	"-1"
public static final String	NULL	"null"
public static final String	ONE	"1"
public static final String	TRUE	"true"
public static final String	ZERO	"0"

de.rwth.i2.attestor.stateSpaceGeneration.State

Modifier and Type	Constant Field	Value
public static final int	INVALID_STATE_SPACE_ID	-1

de.rwth.i2.attestor.types.TypeNames

Modifier and Type	Constant Field	Value
public static final String	BOOL	"bool"
public static final String	BYTE	"byte"
public static final String	CHAR	"char"
public static final String	DOUBLE	"double"
public static final String	INT	"int"
public static final String	INT_0	"int_0"
public static final String	INT_MINUS_1	"int_-1"
public static final String	INT_PLUS_1	"int_1"
public static final String	LONG	"long"
public static final String	NULL	"NULL"
public static final String	SHORT	"short"
public static final String	STRING	"String"
public static final String	UNDEFINED	"undefined"