Constant Field Values

Contents

• dk.brics.*

dk.brics.*

dk.brics.tajs.analysis.nativeobjects.concrete.ConcreteApplyMapping

Modifier and Type	Constant Field	Value
public static final java.lang.String	ARGUMENTS_LIST	"argumentsList"
public static final java.lang.String	BASE	"base"
public static final java.lang.String	MAGIC_IDENTIFIER	"MAPPING_OBJECT"
public static final java.lang.String	RESULT	"result"

dk.brics.tajs.flowgraph.AbstractNode

Modifier and Type	Constant Field	Value
public static final int	EXCEPTION_REG	0
public static final int	FIRST_ORDINARY_REG	2
public static final int	NO_VALUE	-1
public static final int	RETURN_REG	1

dk.brics.tajs.flowgraph.HostEnvSources

Modifier and Type	Constant Field	Value
public static final java.lang.String	PROTOCOL_NAME	"tajs-host-env"

dk.brics.tajs.options.Options.Constants

Modifier and Type	Constant Field	Value
public static final int	ARRAY_TRUNCATION_BOUND	25
public static final int	HYBRID_ARRAY_HASH_MAP_ARRAY_SIZE	8
public static final int	HYBRID_ARRAY_HASH_SET_ARRAY_SIZE	8
public static final int	MAX_CONTEXT_SPECIALIZATION	10
public static final int	NUMBER_OF_UNKNOWN_ARGUMENTS_TO_KEEP_DISJOINT	10
public static final int	STRING_CONCAT_SETS_BOUND	15
public static final int	STRING_SETS_BOUND	250