Constant Field Values

Contents

• gov.nasa.*
• java.lang.*
• java.util.*
• sun.misc.*

gov.nasa.*

gov.nasa.jpf.Config

Modifier and Type	Constant Field	Value
public static final String	FALSE	"false"
public static final String	INCLUDE_IF_KEY	"@include_if"
public static final String	INCLUDE_KEY	"@include"
public static final String	INCLUDE_UNLESS_KEY	"@include_unless"
public static final String	LIST_SEPARATOR	","
public static final String	PATH_SEPARATOR	","
public static final String	REQUIRES_KEY	"@requires"
public static final String	TRUE	"true"
public static final String	USING_KEY	"@using"

gov.nasa.jpf.jvm.ClassFile

Modifier and Type	Constant Field	Value
public static final String	ANNOTATIONDEFAULT_ATTR	"AnnotationDefault"
public static final String	CODE_ATTR	"Code"
public static final String	CONST_VALUE_ATTR	"ConstantValue"
public static final int	CONSTANT_CLASS	7
public static final int	CONSTANT_DOUBLE	6
public static final int	CONSTANT_FLOAT	4
public static final int	CONSTANT_INTEGER	3
public static final int	CONSTANT_LONG	5
public static final int	CONSTANT_STRING	8
public static final int	CONSTANT_UTF8	1
public static final String	DEPRECATED_ATTR	"Deprecated"
public static final String	ENCLOSING_METHOD_ATTR	"EnclosingMethod"
public static final String	EXCEPTIONS_ATTR	"Exceptions"
public static final int	FIELD_REF	9
public static final String	INNER_CLASSES_ATTR	"InnerClasses"
public static final int	INTERFACE_METHOD_REF	11
public static final String	LINE_NUMBER_TABLE_ATTR	"LineNumberTable"
public static final String	LOCAL_VAR_TABLE_ATTR	"LocalVariableTable"
public static final int	METHOD_REF	10
public static final int	NAME_AND_TYPE	12
public static final String	RUNTIME_INVISIBLE_ANNOTATIONS_ATTR	"RuntimeInvisibleAnnotations"
public static final String	RUNTIME_INVISIBLE_PARAMETER_ANNOTATIONS_ATTR	"RuntimeInvisibleParameterAnnotations"
public static final String	RUNTIME_VISIBLE_ANNOTATIONS_ATTR	"RuntimeVisibleAnnotations"
public static final String	RUNTIME_VISIBLE_PARAMETER_ANNOTATIONS_ATTR	"RuntimeVisibleParameterAnnotations"
public static final String	SIGNATURE_ATTR	"Signature"
public static final String	SOURCE_FILE_ATTR	"SourceFile"
public static final String	SYNTHETIC_ATTR	"Synthetic"

gov.nasa.jpf.jvm.bytecode.DIRECTCALLRETURN

Modifier and Type	Constant Field	Value
public static final int	OPCODE	261

gov.nasa.jpf.jvm.bytecode.EXECUTENATIVE

Modifier and Type	Constant Field	Value
public static final int	OPCODE	259

gov.nasa.jpf.jvm.bytecode.INVOKECG

Modifier and Type	Constant Field	Value
public static final int	OPCODE	258

gov.nasa.jpf.jvm.bytecode.INVOKECLINIT

Modifier and Type	Constant Field	Value
public static final int	OPCODE	256

gov.nasa.jpf.jvm.bytecode.NATIVERETURN

Modifier and Type	Constant Field	Value
public static final int	OPCODE	260

gov.nasa.jpf.jvm.bytecode.RUNSTART

Modifier and Type	Constant Field	Value
public static final int	OPCODE	257

gov.nasa.jpf.jvm.bytecode.SwitchInstruction

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

gov.nasa.jpf.report.ConsolePublisher

Modifier and Type	Constant Field	Value
public static final String	STATISTICS_TOPIC	"statistics"

gov.nasa.jpf.report.Publisher

Modifier and Type	Constant Field	Value
public static final int	FINISHED	4
public static final int	PROPERTY_VIOLATION	3
public static final int	START	1
public static final int	TRANSITION	2

gov.nasa.jpf.tool.RunJPF

Modifier and Type	Constant Field	Value
public static final int	ADD_PROJECT	16
public static final int	BUILD_INFO	8
public static final int	DELAY_EXIT	128
public static final int	DELAY_START	64
public static final int	HELP	1
public static final int	LOG	4
public static final int	SHOW	2
public static final int	VERSION	32

gov.nasa.jpf.tool.RunTest

Modifier and Type	Constant Field	Value
public static final int	HELP	1
public static final int	LOG	4
public static final int	SHOW	2

gov.nasa.jpf.util.BitSet1024

Modifier and Type	Constant Field	Value
public static final int	INDEX_MASK	-1024

gov.nasa.jpf.util.BitSet256

Modifier and Type	Constant Field	Value
public static final int	INDEX_MASK	-256

gov.nasa.jpf.util.Debug

Modifier and Type	Constant Field	Value
public static final int	DEBUG	3
public static final int	DEFAULT	0
public static final int	DEPEND	3
public static final int	DISTRIBUTED	4
public static final int	ERROR	0
public static final int	LOCK_ORDER	2
public static final int	MESSAGE	2
public static final int	RACE	1
public static final int	SEARCH	5
public static final int	TRACE	6
public static final int	WARNING	1

gov.nasa.jpf.util.FeatureSpec

Modifier and Type	Constant Field	Value
protected static final char	INVERTED	33
protected static final char	SUB	43

gov.nasa.jpf.util.IntVector

Modifier and Type	Constant Field	Value
public static final int	defaultInitCap	40

gov.nasa.jpf.util.LocationSpec

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

gov.nasa.jpf.util.LongVector

Modifier and Type	Constant Field	Value
public static final int	defaultInitCap	40

gov.nasa.jpf.util.ObjVector<E>

Modifier and Type	Constant Field	Value
public static final int	defaultInitCap	40

gov.nasa.jpf.util.Permutation

Modifier and Type	Constant Field	Value
public static final int	defaultInitCap	40

gov.nasa.jpf.util.SparseClusterArray<E>

Modifier and Type	Constant Field	Value
protected static final int	BM_ENTRIES	4
protected static final int	CHUNK_BASEMASK	-256
public static final int	CHUNK_BITS	8
public static final int	CHUNK_SIZE	256
protected static final int	ELEM_MASK	255
protected static final int	MAX_BM_INDEX	3
public static final int	MAX_CLUSTER_ENTRIES	16777215
public static final int	MAX_CLUSTERS	256
public static final int	N_ELEM	256
public static final int	N_SEG	256
public static final int	S1	24
public static final int	S2	16
public static final int	S3	8
public static final int	SEG_BITS	8
protected static final int	SEG_MASK	255

gov.nasa.jpf.util.script.ESParser

Modifier and Type	Constant Field	Value
public static final String	K_ANY	"ANY"
public static final String	K_REPEAT	"REPEAT"
public static final String	K_SECTION	"SECTION"

gov.nasa.jpf.util.script.Event

Modifier and Type	Constant Field	Value
public static final String	NONE	"NONE"

gov.nasa.jpf.util.script.StringExpander

Modifier and Type	Constant Field	Value
public static final char	ALT_CHAR	124
public static final char	ALT_END_CHAR	62
public static final char	ALT_START_CHAR	60
public static final char	CAT_CHAR	45
public static final char	CAT_END_CHAR	93
public static final char	CAT_START_CHAR	91
public static final char	META_CHAR	96

gov.nasa.jpf.util.test.TestJPF

Modifier and Type	Constant Field	Value
public static final String	UNNAMED_PACKAGE	""

gov.nasa.jpf.vm.ChoiceGeneratorBase<T>

Modifier and Type	Constant Field	Value
public static final char	MARKER	62

gov.nasa.jpf.vm.ClassInfo

Modifier and Type	Constant Field	Value
public static final int	INITIALIZED	-2
public static final int	UNINITIALIZED	-1

gov.nasa.jpf.vm.ElementInfo

Modifier and Type	Constant Field	Value
public static final int	ATTR_ATTRIBUTE_CHANGED	524288
public static final int	ATTR_CONSTRUCTED	8192
public static final int	ATTR_FREEZE_SHARED	32768
public static final int	ATTR_IMMUTABLE	4096
public static final int	ATTR_IS_FROZEN	256
public static final int	ATTR_IS_MARKED	-2147483648
public static final int	ATTR_LIVE_BIT	1073741824
public static final int	ATTR_MARKED_OR_LIVE_BIT	-1073741824
public static final int	ATTR_PINDOWN_MASK	255
public static final int	ATTR_SHARED	16384
public static final int	ATTR_TREF_CHANGED	262144

gov.nasa.jpf.vm.JPF_gov_nasa_jpf_vm_Verify

Modifier and Type	Constant Field	Value
public static final int	FINE	4
public static final int	FINER	5
public static final int	FINEST	6
public static final int	INFO	3
public static final int	SEVERE	1
public static final int	WARNING	2

gov.nasa.jpf.vm.MJIEnv

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

gov.nasa.jpf.vm.SchedulerFactory

Modifier and Type	Constant Field	Value
public static final String	BEGIN_ATOMIC	"BEGIN_ATOMIC"
public static final String	END_ATOMIC	"END_ATOMIC"
public static final String	MONITOR_ENTER	"MONITOR_ENTER"
public static final String	MONITOR_EXIT	"MONITOR_EXIT"
public static final String	NOTIFY	"NOTIFY"
public static final String	NOTIFY_ALL	"NOTIFY_ALL"
public static final String	PARK	"PARK"
public static final String	SHARED_ARRAY_ACCESS	"SHARED_ARRAY_ACCESS"
public static final String	SHARED_FIELD_ACCESS	"SHARED_FIELD_ACCESS"
public static final String	SHARED_OBJECT_EXPOSURE	"SHARED_OBJECT_EXPOSURE"
public static final String	SYNC_METHOD_ENTER	"SYNC_METHOD_ENTER"
public static final String	SYNC_METHOD_EXIT	"SYNC_METHOD_EXIT"
public static final String	THREAD_INTERRUPT	"THREAD_INTERRUPT"
public static final String	THREAD_RESUME	"THREAD_RESUME"
public static final String	THREAD_SLEEP	"THREAD_SLEEP"
public static final String	THREAD_START	"THREAD_START"
public static final String	THREAD_STOP	"THREAD_STOP"
public static final String	THREAD_SUSPEND	"THREAD_SUSPEND"
public static final String	THREAD_TERMINATE	"THREAD_TERMINATE"
public static final String	THREAD_YIELD	"THREAD_YIELD"
public static final String	UNPARK	"UNPARK"
public static final String	WAIT	"WAIT"

gov.nasa.jpf.vm.StackFrame

Modifier and Type	Constant Field	Value
public static final int	ATTR_IS_FROZEN	256

gov.nasa.jpf.vm.StateSet

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

gov.nasa.jpf.vm.Types

Modifier and Type	Constant Field	Value
public static final byte	T_ARRAY	13
public static final byte	T_BOOLEAN	4
public static final byte	T_BYTE	8
public static final byte	T_CHAR	5
public static final byte	T_DOUBLE	7
public static final byte	T_FLOAT	6
public static final byte	T_INT	10
public static final byte	T_LONG	11
public static final byte	T_NONE	0
public static final byte	T_REFERENCE	14
public static final byte	T_SHORT	9
public static final byte	T_VOID	12

gov.nasa.jpf.vm.Verify

Modifier and Type	Constant Field	Value
public static final int	FINE	4
public static final int	FINER	5
public static final int	FINEST	6
public static final int	INFO	3
public static final int	SEVERE	1
public static final int	WARNING	2

gov.nasa.jpf.vm.VM

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

gov.nasa.jpf.vm.serialize.AmmendableFilterConfiguration.Ammendment

Modifier and Type	Constant Field	Value
public static final boolean	POLICY_IGNORE	false
public static final boolean	POLICY_INCLUDE	true

java.lang.*

java.lang.Thread

Modifier and Type	Constant Field	Value
public static final int	MAX_PRIORITY	10
public static final int	MIN_PRIORITY	1
public static final int	NORM_PRIORITY	5

java.util.*

java.util.TimeZone

Modifier and Type	Constant Field	Value
public static final int	LONG	1
public static final int	SHORT	0

sun.misc.*

sun.misc.Unsafe

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