Constant Field Values

Contents

• org.walkmod.*

org.walkmod.*

org.walkmod.javalang.compiler.JavaLangCompilerContracts

Modifier and Type	Constant Field	Value
public static final boolean	CHECK_EXPERIMENTAL_INVARIANT_ENABLED	false
public static final boolean	CHECK_INVARIANT_ENABLED	false

org.walkmod.javalang.compiler.actions.ReferencesCounterAction

Modifier and Type	Constant Field	Value
public static final String	READS	"_READS_"
public static final String	WRITES	"_WRITES_"

org.walkmod.javalang.compiler.symbols.AccessType

Modifier and Type	Constant Field	Value
public static final String	ACCESS_TYPE	"AccessType_key"

org.walkmod.javalang.compiler.types.TypeVisitorAdapter<A extends Map<String,Object>>

Modifier and Type	Constant Field	Value
public static final String	IMPLICIT_PARAM_TYPE	"implicit_param_type"