src/peers/gov/nasa/jpf/vm/LoggablePeer.java

   1 package gov.nasa.jpf.vm;
   2
   3 import gov.nasa.jpf.JPF;
   4 import gov.nasa.jpf.annotation.MJI;
   5 import gov.nasa.jpf.util.JPFLogger;
   6
   7 /**
   8  * abstract base for Loggable peers
   9  */
  10 public abstract class LoggablePeer extends NativePeer {
  11
  12   final JPFLogger delegatee;
  13
  14   protected LoggablePeer (String loggerId) {
  15     delegatee = JPF.getLogger(loggerId);
  16   }
  17
  18
  19   @MJI
  20   public void severe__Ljava_lang_String_2__V (MJIEnv env, int objRef, int sRef) {
  21     delegatee.severe(env.getStringObject(sRef));
  22   }
  23   @MJI public void severe__Ljava_lang_String_2Ljava_lang_String_2__V (MJIEnv env, int objRef, int s1Ref, int s2Ref) {
  24     delegatee.severe(env.getStringObject(s1Ref), env.getStringObject(s2Ref));
  25   }
  26   @MJI public void severe__Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2__V (MJIEnv env, int objRef, int s1Ref, int s2Ref, int s3Ref) {
  27     delegatee.severe(env.getStringObject(s1Ref), env.getStringObject(s2Ref), env.getStringObject(s3Ref));
  28   }
  29   @MJI public void severe__Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2__V (MJIEnv env, int objRef, int s1Ref, int s2Ref, int s3Ref, int s4Ref) {
  30     delegatee.severe(env.getStringObject(s1Ref), env.getStringObject(s2Ref), env.getStringObject(s3Ref), env.getStringObject(s4Ref));
  31   }
  32   @MJI public void severe__Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2__V (MJIEnv env, int objRef, int s1Ref, int s2Ref, int s3Ref, int s4Ref, int s5Ref) {
  33     delegatee.severe(env.getStringObject(s1Ref), env.getStringObject(s2Ref), env.getStringObject(s3Ref), env.getStringObject(s4Ref), env.getStringObject(s5Ref));
  34   }
  35   @MJI public void severe___3Ljava_lang_String_2__V (MJIEnv env, int objRef, int aRef) {
  36     delegatee.severe((Object[]) env.getStringArrayObject(aRef));
  37   }
  38
  39   @MJI public void warning__Ljava_lang_String_2__V (MJIEnv env, int objRef, int sRef) {
  40     delegatee.warning(env.getStringObject(sRef));
  41   }
  42   @MJI public void warning__Ljava_lang_String_2Ljava_lang_String_2__V (MJIEnv env, int objRef, int s1Ref, int s2Ref) {
  43     delegatee.warning(env.getStringObject(s1Ref), env.getStringObject(s2Ref));
  44   }
  45   @MJI public void warning__Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2__V (MJIEnv env, int objRef, int s1Ref, int s2Ref, int s3Ref) {
  46     delegatee.warning(env.getStringObject(s1Ref), env.getStringObject(s2Ref), env.getStringObject(s3Ref));
  47   }
  48   @MJI public void warning__Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2__V (MJIEnv env, int objRef, int s1Ref, int s2Ref, int s3Ref, int s4Ref) {
  49     delegatee.warning(env.getStringObject(s1Ref), env.getStringObject(s2Ref), env.getStringObject(s3Ref), env.getStringObject(s4Ref));
  50   }
  51   @MJI public void warning__Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2__V (MJIEnv env, int objRef, int s1Ref, int s2Ref, int s3Ref, int s4Ref, int s5Ref) {
  52     delegatee.warning(env.getStringObject(s1Ref), env.getStringObject(s2Ref), env.getStringObject(s3Ref), env.getStringObject(s4Ref), env.getStringObject(s5Ref));
  53   }
  54   @MJI public void warning___3Ljava_lang_String_2__V (MJIEnv env, int objRef, int aRef) {
  55     delegatee.warning((Object[]) env.getStringArrayObject(aRef));
  56   }
  57
  58   @MJI public void info__Ljava_lang_String_2__V (MJIEnv env, int objRef, int sRef) {
  59     delegatee.info(env.getStringObject(sRef));
  60   }
  61   @MJI public void info__Ljava_lang_String_2Ljava_lang_String_2__V (MJIEnv env, int objRef, int s1Ref, int s2Ref) {
  62     delegatee.info(env.getStringObject(s1Ref), env.getStringObject(s2Ref));
  63   }
  64   @MJI public void info__Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2__V (MJIEnv env, int objRef, int s1Ref, int s2Ref, int s3Ref) {
  65     delegatee.info(env.getStringObject(s1Ref), env.getStringObject(s2Ref), env.getStringObject(s3Ref));
  66   }
  67   @MJI public void info__Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2__V (MJIEnv env, int objRef, int s1Ref, int s2Ref, int s3Ref, int s4Ref) {
  68     delegatee.info(env.getStringObject(s1Ref), env.getStringObject(s2Ref), env.getStringObject(s3Ref), env.getStringObject(s4Ref));
  69   }
  70   @MJI public void info__Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2__V (MJIEnv env, int objRef, int s1Ref, int s2Ref, int s3Ref, int s4Ref, int s5Ref) {
  71     delegatee.info(env.getStringObject(s1Ref), env.getStringObject(s2Ref), env.getStringObject(s3Ref), env.getStringObject(s4Ref), env.getStringObject(s5Ref));
  72   }
  73   @MJI public void info___3Ljava_lang_String_2__V (MJIEnv env, int objRef, int aRef) {
  74     delegatee.info((Object[]) env.getStringArrayObject(aRef));
  75   }
  76
  77   @MJI public void fine__Ljava_lang_String_2__V (MJIEnv env, int objRef, int sRef) {
  78     delegatee.fine(env.getStringObject(sRef));
  79   }
  80   @MJI public void fine__Ljava_lang_String_2Ljava_lang_String_2__V (MJIEnv env, int objRef, int s1Ref, int s2Ref) {
  81     delegatee.fine(env.getStringObject(s1Ref), env.getStringObject(s2Ref));
  82   }
  83   @MJI public void fine__Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2__V (MJIEnv env, int objRef, int s1Ref, int s2Ref, int s3Ref) {
  84     delegatee.fine(env.getStringObject(s1Ref), env.getStringObject(s2Ref), env.getStringObject(s3Ref));
  85   }
  86   @MJI public void fine__Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2__V (MJIEnv env, int objRef, int s1Ref, int s2Ref, int s3Ref, int s4Ref) {
  87     delegatee.fine(env.getStringObject(s1Ref), env.getStringObject(s2Ref), env.getStringObject(s3Ref), env.getStringObject(s4Ref));
  88   }
  89   @MJI public void fine__Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2__V (MJIEnv env, int objRef, int s1Ref, int s2Ref, int s3Ref, int s4Ref, int s5Ref) {
  90     delegatee.fine(env.getStringObject(s1Ref), env.getStringObject(s2Ref), env.getStringObject(s3Ref), env.getStringObject(s4Ref), env.getStringObject(s5Ref));
  91   }
  92   @MJI public void fine___3Ljava_lang_String_2__V (MJIEnv env, int objRef, int aRef) {
  93     delegatee.fine((Object[]) env.getStringArrayObject(aRef));
  94   }
  95
  96   @MJI public void finer__Ljava_lang_String_2__V (MJIEnv env, int objRef, int sRef) {
  97     delegatee.finer(env.getStringObject(sRef));
  98   }
  99   @MJI public void finer__Ljava_lang_String_2Ljava_lang_String_2__V (MJIEnv env, int objRef, int s1Ref, int s2Ref) {
 100     delegatee.finer(env.getStringObject(s1Ref), env.getStringObject(s2Ref));
 101   }
 102   @MJI public void finer__Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2__V (MJIEnv env, int objRef, int s1Ref, int s2Ref, int s3Ref) {
 103     delegatee.finer(env.getStringObject(s1Ref), env.getStringObject(s2Ref), env.getStringObject(s3Ref));
 104   }
 105   @MJI public void finer__Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2__V (MJIEnv env, int objRef, int s1Ref, int s2Ref, int s3Ref, int s4Ref) {
 106     delegatee.finer(env.getStringObject(s1Ref), env.getStringObject(s2Ref), env.getStringObject(s3Ref), env.getStringObject(s4Ref));
 107   }
 108   @MJI public void finer__Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2__V (MJIEnv env, int objRef, int s1Ref, int s2Ref, int s3Ref, int s4Ref, int s5Ref) {
 109     delegatee.finer(env.getStringObject(s1Ref), env.getStringObject(s2Ref), env.getStringObject(s3Ref), env.getStringObject(s4Ref), env.getStringObject(s5Ref));
 110   }
 111   @MJI public void finer___3Ljava_lang_String_2__V (MJIEnv env, int objRef, int aRef) {
 112     delegatee.finer((Object[]) env.getStringArrayObject(aRef));
 113   }
 114
 115   @MJI public void finest__Ljava_lang_String_2__V (MJIEnv env, int objRef, int sRef) {
 116     delegatee.finest(env.getStringObject(sRef));
 117   }
 118   @MJI public void finest__Ljava_lang_String_2Ljava_lang_String_2__V (MJIEnv env, int objRef, int s1Ref, int s2Ref) {
 119     delegatee.finest(env.getStringObject(s1Ref), env.getStringObject(s2Ref));
 120   }
 121   @MJI public void finest__Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2__V (MJIEnv env, int objRef, int s1Ref, int s2Ref, int s3Ref) {
 122     delegatee.finest(env.getStringObject(s1Ref), env.getStringObject(s2Ref), env.getStringObject(s3Ref));
 123   }
 124   @MJI public void finest__Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2__V (MJIEnv env, int objRef, int s1Ref, int s2Ref, int s3Ref, int s4Ref) {
 125     delegatee.finest(env.getStringObject(s1Ref), env.getStringObject(s2Ref), env.getStringObject(s3Ref), env.getStringObject(s4Ref));
 126   }
 127   @MJI public void finest__Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2__V (MJIEnv env, int objRef, int s1Ref, int s2Ref, int s3Ref, int s4Ref, int s5Ref) {
 128     delegatee.finest(env.getStringObject(s1Ref), env.getStringObject(s2Ref), env.getStringObject(s3Ref), env.getStringObject(s4Ref), env.getStringObject(s5Ref));
 129   }
 130   @MJI public void finest___3Ljava_lang_String_2__V (MJIEnv env, int objRef, int aRef) {
 131     delegatee.finest((Object[]) env.getStringArrayObject(aRef));
 132   }
 133
 134 }