java.lang.Object
- ch.usi.si.codelounge.jsicko.plugin.Constants

```
public final class Constants
extends Object
```
Holds some constants needed for code generation.

Field Summary

Fields
Modifier and Type	Field	Description
`static String`	`INSTANCE_OLD_METHOD_IDENTIFIER_STRING`	The name of the method called to retrieve old values in instance method calls.
`static String`	`KRYO_CLONE_METHOD_QUALIFIED_IDENTIFIER`	The name of the method called to clone objects with Kryo.
`static String`	`OLD_FIELD_IDENTIFIER_STRING`	The name of the synthetic instance field used to store the old values table for instance method calls.
`static String`	`RAISES_CLAUSE_PARAMETER_IDENTIFIER_STRING`	A special identifier to be used in clause methods to refer to the exception value raised/thrown by a method.
`static String`	`RAISES_SYNTHETIC_IDENTIFIER_STRING`	The synthetic local variable for the variable holding the raised exception value in an instrumented method.
`static String`	`RETURNS_CLAUSE_PARAMETER_IDENTIFIER_STRING`	A special identifier to be used in clause methods to refer to the value returned by a method.
`static String`	`RETURNS_SYNTHETIC_IDENTIFIER_STRING`	The synthetic local variable for the variable holding the return value in an instrumented method.
`static String`	`STATIC_OLD_FIELD_IDENTIFIER_STRING`	The name of the synthetic static field used to store the old values table for static method calls.
`static String`	`STATIC_OLD_METHOD_IDENTIFIER_STRING`	The name of the method called to retrieve old values in static method calls.
`static String`	`THROWN_SYNTHETIC_IDENTIFIER_STRING`	The synthetic variable for the captured exception in the try-catch-finally block that implements the semantics of contract checking.

Method Summary
- Methods inherited from class java.lang.Object
  clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Field Detail
  - RETURNS_SYNTHETIC_IDENTIFIER_STRING
```
public static final String RETURNS_SYNTHETIC_IDENTIFIER_STRING
```
    The synthetic local variable for the variable holding the return value in an instrumented method. This variable is essential check post-conditions for query/ hybrid command/query methods.
    
    See Also:
    
    Constant Field Values
  - RETURNS_CLAUSE_PARAMETER_IDENTIFIER_STRING
```
public static final String RETURNS_CLAUSE_PARAMETER_IDENTIFIER_STRING
```
    A special identifier to be used in clause methods to refer to the value returned by a method.
    
    See Also:
    
    Constant Field Values
  - RAISES_SYNTHETIC_IDENTIFIER_STRING
```
public static final String RAISES_SYNTHETIC_IDENTIFIER_STRING
```
    The synthetic local variable for the variable holding the raised exception value in an instrumented method. This variable is essential check exceptional post-conditions for query/ hybrid command/query methods.
    
    See Also:
    
    Constant Field Values
  - THROWN_SYNTHETIC_IDENTIFIER_STRING
```
public static final String THROWN_SYNTHETIC_IDENTIFIER_STRING
```
    The synthetic variable for the captured exception in the try-catch-finally block that implements the semantics of contract checking.
    
    See Also:
    
    Constant Field Values
  - RAISES_CLAUSE_PARAMETER_IDENTIFIER_STRING
```
public static final String RAISES_CLAUSE_PARAMETER_IDENTIFIER_STRING
```
    A special identifier to be used in clause methods to refer to the exception value raised/thrown by a method.
    
    See Also:
    
    Constant Field Values
  - OLD_FIELD_IDENTIFIER_STRING
```
public static final String OLD_FIELD_IDENTIFIER_STRING
```
    The name of the synthetic instance field used to store the old values table for instance method calls.
    
    See Also:
    
    Constant Field Values
  - STATIC_OLD_FIELD_IDENTIFIER_STRING
```
public static final String STATIC_OLD_FIELD_IDENTIFIER_STRING
```
    The name of the synthetic static field used to store the old values table for static method calls.
    
    See Also:
    
    Constant Field Values
  - INSTANCE_OLD_METHOD_IDENTIFIER_STRING
```
public static final String INSTANCE_OLD_METHOD_IDENTIFIER_STRING
```
    The name of the method called to retrieve old values in instance method calls. Calls to the static old method of Contract are rewritten to this method in the case of instance method calls.
    
    See Also:
    
    Contract.old(Object), Contract.instanceOld(String, Object), Constant Field Values
  - STATIC_OLD_METHOD_IDENTIFIER_STRING
```
public static final String STATIC_OLD_METHOD_IDENTIFIER_STRING
```
    The name of the method called to retrieve old values in static method calls. Calls to the static old method of Contract are rewritten to this method in the case of static method calls.
    
    See Also:
    
    s, Contract.staticOld(Class, String, Object), Constant Field Values
  - KRYO_CLONE_METHOD_QUALIFIED_IDENTIFIER
```
public static final String KRYO_CLONE_METHOD_QUALIFIED_IDENTIFIER
```
    The name of the method called to clone objects with Kryo.
    
    See Also:
    
    kryoClone, Constant Field Values

Class Constants

Field Summary

Method Summary

Methods inherited from class java.lang.Object

Field Detail

RETURNS_SYNTHETIC_IDENTIFIER_STRING

RETURNS_CLAUSE_PARAMETER_IDENTIFIER_STRING

RAISES_SYNTHETIC_IDENTIFIER_STRING

THROWN_SYNTHETIC_IDENTIFIER_STRING

RAISES_CLAUSE_PARAMETER_IDENTIFIER_STRING

OLD_FIELD_IDENTIFIER_STRING

STATIC_OLD_FIELD_IDENTIFIER_STRING

INSTANCE_OLD_METHOD_IDENTIFIER_STRING

STATIC_OLD_METHOD_IDENTIFIER_STRING

KRYO_CLONE_METHOD_QUALIFIED_IDENTIFIER