Constant Field Values

Contents

• abc.aspectj.*
• abc.eaj.*
• abc.ltl.*
• abc.main.*
• abc.soot.*
• abc.weaving.*

abc.aspectj.*

abc.aspectj.Topics

public static final java.lang.String

aspectj

"aspectj"

abc.aspectj.types.AspectType

public static final int	PER_CFLOW	4
public static final int	PER_CFLOWBELOW	5
public static final int	PER_NONE	0
public static final int	PER_SINGLETON	1
public static final int	PER_TARGET	3
public static final int	PER_THIS	2

abc.eaj.*

abc.eaj.Topics

public static final java.lang.String

eaj

"eaj"

abc.eaj.visit.GlobalPointcuts

public static final int	COLLECT	1
public static final int	CONJOIN	2

abc.ltl.*

abc.ltl.AbcExtension

public static final java.lang.String

FORMULA_TERM_CONSTRUCTOR

"LTL"

abc.ltl.Topics

public static final java.lang.String

ltl

"ltl"

abc.ltl.formulaextraction.Specification

public static final java.lang.String	LTL_FORMULA_CLASS_PREFIX	"Formula"
public static final java.lang.String	LTL_FORMULA_PACKAGE	"rwth.i2.ltlrv.formula"
public static final java.lang.String	LTL_TYPE_NAME	"rwth.i2.ltlrv.LTL"

abc.ltl.visit.transform.RuntimeRepresentation

public static final java.lang.String	AFA_STATE_INTERFACE_NAME	"IAFATerm"
public static final java.lang.String	BINDINGS_MAP_ACTUAL_TYPE_NAME	"WeakValuesHashMap"
public static final java.lang.String	BINDINGS_MAP_DECLARED_TYPE_NAME	"WeakValuesMap"
public static final java.lang.String	BINDINGS_MAP_LOCAL_VARIABLE_GET_METHOD	"get"
public static final java.lang.String	BINDINGS_MAP_LOCAL_VARIABLE_NAME	"bindings"
public static final java.lang.String	BINDINGS_MAP_LOCAL_VARIABLE_PUT_METHOD	"put"
public static final java.lang.String	CURRENT_PROPOSITIONS_ADD_METHOD	"add"
public static final java.lang.String	CURRENT_PROPOSITIONS_CLEAR_METHOD	"clear"
public static final java.lang.String	CURRENT_PROPOSITIONS_LABEL	"currentProps"
public static final java.lang.String	DUMMY_VARIABLE_NAME	"_"
public static final java.lang.String	FACTORY_INSTANTIATION_CALL	"getFactory"
public static final java.lang.String	FACTORY_INTERFACE_NAME	"IFormulaFactory"
public static final java.lang.String	FACTORY_LABEL	"factory"
public static final java.lang.String	FORMULA_INTERFACE_NAME	"IFormula"
public static final java.lang.String	FORMULA_LABEL	"formula"
public static final java.lang.String	NNF_METHOD_NAME	"negationNormalForm"
public static final java.lang.String	OP_AND_CLASS_NAME	"And"
public static final java.lang.String	OP_EQUIV_CLASS_NAME	"Equivalent"
public static final java.lang.String	OP_F_CLASS_NAME	"F"
public static final java.lang.String	OP_G_CLASS_NAME	"G"
public static final java.lang.String	OP_IMPLIES_CLASS_NAME	"Impl"
public static final java.lang.String	OP_NOT_CLASS_NAME	"Not"
public static final java.lang.String	OP_OR_CLASS_NAME	"Or"
public static final java.lang.String	OP_R_CLASS_NAME	"Release"
public static final java.lang.String	OP_U_CLASS_NAME	"Until"
public static final java.lang.String	OP_X_CLASS_NAME	"X"
public static final java.lang.String	PROPOSITION_CLASS_NAME	"Proposition"
public static final java.lang.String	PROPOSITION_CONSTANTS_PREFIX	"prop"
public static final java.lang.String	PROPOSITION_IF_CLOSURE_CLASS_NAME	"rwth.i2.ltlrv.afastate.interfaze.IIfClosure"
public static final java.lang.String	PROPOSITION_IF_CLOSURE_EVAL_METHOD_NAME	"satisfiedUnderBindings"
public static final java.lang.String	PROPOSITION_IF_CLOSURE_VARIABLES_METHOD_NAME	"variableNames"
public static final java.lang.String	PROPOSITION_INTERFACE_TYPE	"IProposition"
public static final java.lang.String	PROPOSITION_SET_CLASS_NAME	"PropositionSet"
public static final java.lang.String	PROPOSITION_SPECIALIZE_METHOD	"specializeBindings"
public static final java.lang.String	REGISTER_FORMULA	"registerFormula"
public static final java.lang.String	RUNTIME_ENVIRONMENT_CLASSNAME	"VerificationRuntime"
public static final java.lang.String	RUNTIME_ENVIRONMENT_SINGLETON_ACCESS	"getInstance"
public static final java.lang.String	TRANSITION_METHOD	"alternatingTransition"
public static final java.lang.String	UPDATE_FORMULA	"updateFormula"
public static final java.lang.String	USER_CAUSED_EXCEPTION_CLASS_NAME	"UserCausedException"
public static final java.lang.String	USER_CAUSED_EXCEPTION_QUALIFIER_NAME	"IIfClosure"

abc.main.*

abc.main.AntTask

public static final boolean

DEBUG

false

abc.main.Options

public static final byte	ALLWARNINGS	1
public static final byte	ERROR	2
public static final byte	IGNORE	0
public static final byte	NOWARNINGS	0
public static final byte	SOMEWARNINGS	2
public static final byte	WARNING	1

abc.soot.*

abc.soot.util.AroundShadowInfoTag

public static final java.lang.String

name

"AroundShadowInfoTag"

abc.soot.util.DisableExceptionCheckTag

public static final java.lang.String

name

"DisableExceptionCheckTag"

abc.soot.util.InPreinitializationTag

public static final java.lang.String

name

"InPreinitializationTag"

abc.soot.util.RedirectedExceptionSpecTag

public static final java.lang.String

name

"RedirectedExceptionSpecTag"

abc.soot.util.Restructure.JavaTypeInfo

public static final int	booleanType	0
public static final int	byteType	1
public static final int	charType	3
public static final int	doubleType	7
public static final int	floatType	6
public static final int	intType	4
public static final int	longType	5
public static final int	refType	8
public static final int	shortType	2
public static final int	typeCount	9

abc.weaving.*

abc.weaving.aspectinfo.DeclareMessage

public static final int	ERROR	1
public static final int	WARNING	0

abc.weaving.aspectinfo.GlobalAspectInfo

public static final int	PRECEDENCE_CONFLICT	3
public static final int	PRECEDENCE_FIRST	1
public static final int	PRECEDENCE_NONE	0
public static final int	PRECEDENCE_SECOND	2

abc.weaving.aspectinfo.MethodCategory

public static final int	ACCESSOR_GET	13
public static final int	ACCESSOR_SET	14
public static final int	ADVICE_BODY	2
public static final int	ASPECT_INSTANCE	1
public static final int	IF_EXPR	4
public static final int	INTERTYPE_CONSTRUCTOR_BODY	7
public static final int	INTERTYPE_CONSTRUCTOR_DELEGATOR	9
public static final int	INTERTYPE_CONSTRUCTOR_SPECIAL_ARG	8
public static final int	INTERTYPE_FIELD_INITIALIZER	10
public static final int	INTERTYPE_INITIALIZER_DELEGATE	11
public static final int	INTERTYPE_METHOD_DELEGATOR	6
public static final int	INTERTYPE_METHOD_SOURCE	5
public static final int	INTERTYPE_SPECIAL_CALL_DELEGATOR	12
public static final int	NORMAL	0
public static final int	PROCEED	3
public static final int	THIS_GET	15

abc.weaving.weaver.AdviceInliner

public static final int	MAX_CONTAINER_SIZE	100
public static final int	MAX_DEPTH	4

abc.weaving.weaver.AroundWeaver.AdviceMethod

public final boolean

bAlwaysStaticProceedMethod

true

abc.weaving.weaver.IntertypeAdjuster.InterfaceInitNopTag

public static final java.lang.String

name

"InterfaceInitNopTag"

abc.weaving.weaver.IntertypeAdjuster.ITDInitEndNopTag

public static final java.lang.String

name

"ITDInitEndNopTag"