Constant Field Values

Contents

• ch.usi.*

ch.usi.*

ch.usi.si.codelounge.jsicko.plugin.Constants

Modifier and Type	Constant Field	Value
public static final String	INSTANCE_OLD_METHOD_IDENTIFIER_STRING	"instanceOld"
public static final String	KRYO_CLONE_METHOD_QUALIFIED_IDENTIFIER	"ch.usi.si.codelounge.jsicko.plugin.utils.CloneUtils.kryoClone"
public static final String	OLD_FIELD_IDENTIFIER_STRING	"$oldValuesTable"
public static final String	OLD_FIELD_METHOD_STRING	"oldValuesTable"
public static final String	RAISES_CLAUSE_PARAMETER_IDENTIFIER_STRING	"raises"
public static final String	RAISES_SYNTHETIC_IDENTIFIER_STRING	"$raises"
public static final String	RETURNS_CLAUSE_PARAMETER_IDENTIFIER_STRING	"returns"
public static final String	RETURNS_SYNTHETIC_IDENTIFIER_STRING	"$returns"
public static final String	STATIC_OLD_FIELD_IDENTIFIER_STRING	"$staticOldValuesTable"
public static final String	STATIC_OLD_METHOD_IDENTIFIER_STRING	"staticOld"
public static final String	THROWN_SYNTHETIC_IDENTIFIER_STRING	"$thrown"

ch.usi.si.codelounge.jsicko.plugin.JSickoContractCompiler

Modifier and Type	Constant Field	Value
public static final String	TOOL_NAME	"jsicko"