leodbc.javaagent.res
Class Constants

java.lang.Object
  extended by leodbc.javaagent.res.Constants

public class Constants
extends java.lang.Object

Constanti in uso dell'agente java di LeoDbC

Author:
Leonardo Cecchi

Field Summary
static java.lang.String CHECK_ILLEGAL_ARGUMENT
          Schema di un check di una precondizione in un costruttore
static java.lang.String CHECK_POSTCONDITION_CONSTRUCTOR
          Schema di un check di una precondizione in un costruttore
static java.lang.String CHECK_PRECONDITION_CONSTRUCTOR
          Schema di un check di una precondizione in un costruttore
static java.lang.String CONDITION_MARKER
          Marcatore delle condizioni
static boolean INTERNAL_DEBUGGING
          Debugging interno
static java.lang.String INVARIANT_METHOD
          Schema di un metodo di invariante
static java.lang.String INVARIANT_METHOD_NAME
          Nome del metodo di invariante
static java.lang.String LAUNCH_SUPERCLASS_MARKER
          Marcatore del lanciatore del metodo nella superclasse
static java.lang.String POSTMETHOD_PREFIX
          Prefisso di un metodo di precondizione
static java.lang.String POSTMETHOD_SCHEMA
          Schema di un premetodo
static java.lang.String PREMETHOD_PREFIX
          Prefisso di un metodo di precondizione
static java.lang.String PREMETHOD_SCHEMA
          Schema di un premetodo
static java.lang.String VERSION
          Versione
 
Constructor Summary
Constants()
           
 
Method Summary
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

INTERNAL_DEBUGGING

public static boolean INTERNAL_DEBUGGING
Debugging interno


VERSION

public static java.lang.String VERSION
Versione


CONDITION_MARKER

public static java.lang.String CONDITION_MARKER
Marcatore delle condizioni


LAUNCH_SUPERCLASS_MARKER

public static java.lang.String LAUNCH_SUPERCLASS_MARKER
Marcatore del lanciatore del metodo nella superclasse


INVARIANT_METHOD_NAME

public static java.lang.String INVARIANT_METHOD_NAME
Nome del metodo di invariante


PREMETHOD_PREFIX

public static java.lang.String PREMETHOD_PREFIX
Prefisso di un metodo di precondizione


POSTMETHOD_PREFIX

public static java.lang.String POSTMETHOD_PREFIX
Prefisso di un metodo di precondizione


PREMETHOD_SCHEMA

public static java.lang.String PREMETHOD_SCHEMA
Schema di un premetodo


POSTMETHOD_SCHEMA

public static java.lang.String POSTMETHOD_SCHEMA
Schema di un premetodo


INVARIANT_METHOD

public static java.lang.String INVARIANT_METHOD
Schema di un metodo di invariante


CHECK_PRECONDITION_CONSTRUCTOR

public static java.lang.String CHECK_PRECONDITION_CONSTRUCTOR
Schema di un check di una precondizione in un costruttore


CHECK_POSTCONDITION_CONSTRUCTOR

public static java.lang.String CHECK_POSTCONDITION_CONSTRUCTOR
Schema di un check di una precondizione in un costruttore


CHECK_ILLEGAL_ARGUMENT

public static java.lang.String CHECK_ILLEGAL_ARGUMENT
Schema di un check di una precondizione in un costruttore

Constructor Detail

Constants

public Constants()