src/main/gov/nasa/jpf/jvm/ClassFileReaderAdapter.java

   1 /*
   2  * Copyright (C) 2014, United States Government, as represented by the
   3  * Administrator of the National Aeronautics and Space Administration.
   4  * All rights reserved.
   5  *
   6  * The Java Pathfinder core (jpf-core) platform is licensed under the
   7  * Apache License, Version 2.0 (the "License"); you may not use this file except
   8  * in compliance with the License. You may obtain a copy of the License at
   9  *
  10  *        http://www.apache.org/licenses/LICENSE-2.0.
  11  *
  12  * Unless required by applicable law or agreed to in writing, software
  13  * distributed under the License is distributed on an "AS IS" BASIS,
  14  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
  15  * See the License for the specific language governing permissions and
  16  * limitations under the License.
  17  */
  18
  19 package gov.nasa.jpf.jvm;
  20
  21 import gov.nasa.jpf.vm.ClassParseException;
  22
  23 /**
  24  * adapter class implementing the ClassFileReader interface
  25  */
  26 public class ClassFileReaderAdapter implements ClassFileReader {
  27
  28   @Override
  29   public void setClass(ClassFile cf, String clsName, String superClsName, int flags, int cpCount) throws ClassParseException {}
  30
  31   @Override
  32   public void setInterfaceCount(ClassFile cf, int ifcCount) {}
  33
  34   @Override
  35   public void setInterface(ClassFile cf, int ifcIndex, String ifcName) {}
  36
  37   @Override
  38   public void setInterfacesDone(ClassFile cf) {};
  39
  40   @Override
  41   public void setFieldCount(ClassFile cf, int fieldCount) {}
  42
  43   @Override
  44   public void setField(ClassFile cf, int fieldIndex, int accessFlags, String name, String descriptor) {}
  45
  46   @Override
  47   public void setFieldAttributeCount(ClassFile cf, int fieldIndex, int attrCount) {}
  48
  49   @Override
  50   public void setFieldAttribute(ClassFile cf, int fieldIndex, int attrIndex, String name, int attrLength) {}
  51
  52   @Override
  53   public void setFieldAttributesDone(ClassFile cf, int fieldIndex) {}
  54
  55   @Override
  56   public void setFieldDone(ClassFile cf, int fieldIndex) {}
  57
  58   @Override
  59   public void setFieldsDone(ClassFile cf) {}
  60
  61   @Override
  62   public void setConstantValue(ClassFile cf, Object tag, Object value) {}
  63
  64   @Override
  65   public void setMethodCount(ClassFile cf, int methodCount) {}
  66
  67   @Override
  68   public void setMethod(ClassFile cf, int methodIndex, int accessFlags, String name, String descriptor) {}
  69
  70   @Override
  71   public void setMethodAttributeCount(ClassFile cf, int methodIndex, int attrCount) {}
  72
  73   @Override
  74   public void setMethodAttribute(ClassFile cf, int methodIndex, int attrIndex, String name, int attrLength) {}
  75
  76   @Override
  77   public void setMethodAttributesDone(ClassFile cf, int methodIndex){}
  78
  79   @Override
  80   public void setMethodDone(ClassFile cf, int methodIndex) {}
  81
  82   @Override
  83   public void setMethodsDone(ClassFile cf) {}
  84
  85   @Override
  86   public void setExceptionCount(ClassFile cf, Object tag, int exceptionCount) {}
  87
  88   @Override
  89   public void setException(ClassFile cf, Object tag, int exceptionIndex, String exceptionType) {}
  90
  91   @Override
  92   public void setExceptionsDone(ClassFile cf, Object tag) {}
  93
  94   @Override
  95   public void setCode(ClassFile cf, Object tag, int maxStack, int maxLocals, int codeLength) {}
  96
  97   @Override
  98   public void setExceptionHandlerTableCount(ClassFile cf, Object tag, int exceptionTableCount) {}
  99
 100   @Override
 101   public void setExceptionHandler(ClassFile cf, Object tag, int exceptionIndex,
 102           int startPc, int endPc, int handlerPc, String catchType) {}
 103
 104   @Override
 105   public void setExceptionHandlerTableDone(ClassFile cf, Object tag) {}
 106
 107   @Override
 108   public void setCodeAttributeCount(ClassFile cf, Object tag, int attrCount) {}
 109
 110   @Override
 111   public void setCodeAttribute(ClassFile cf, Object tag, int attrIndex, String name, int attrLength) {}
 112
 113   @Override
 114   public void setCodeAttributesDone (ClassFile cf, Object tag) {}
 115
 116   @Override
 117   public void setLineNumberTableCount(ClassFile cf, Object tag, int lineNumberCount) {}
 118
 119   @Override
 120   public void setLineNumber(ClassFile cf, Object tag, int lineIndex, int lineNumber, int startPc) {}
 121
 122   @Override
 123   public void setLineNumberTableDone(ClassFile cf, Object tag) {}
 124
 125   @Override
 126   public void setLocalVarTableCount(ClassFile cf, Object tag, int localVarCount) {}
 127
 128   @Override
 129   public void setLocalVar(ClassFile cf, Object tag, int localVarIndex,
 130           String varName, String descriptor, int scopeStartPc, int scopeEndPc, int slotIndex) {}
 131
 132   @Override
 133   public void setLocalVarTableDone (ClassFile cf, Object tag) {}
 134
 135   @Override
 136   public void setClassAttributeCount(ClassFile cf, int attrCount) {}
 137
 138   @Override
 139   public void setClassAttribute(ClassFile cf, int attrIndex, String name, int attrLength) {}
 140
 141   @Override
 142   public void setClassAttributesDone(ClassFile cf) {}
 143
 144   @Override
 145   public void setSourceFile(ClassFile cf, Object tag, String pathName) {}
 146
 147   @Override
 148   public void setInnerClassCount(ClassFile cf, Object tag, int innerClsCount) {}
 149
 150   @Override
 151   public void setInnerClass(ClassFile cf, Object tag, int innerClsIndex,
 152           String outerName, String innerName, String innerSimpleName, int accessFlags) {}
 153
 154   @Override
 155   public void setInnerClassesDone(ClassFile cf, Object tag) {}
 156
 157   @Override
 158   public void setBootstrapMethodCount (ClassFile cf, Object tag, int count) {}
 159
 160   @Override
 161   public void setBootstrapMethod (ClassFile cf, Object tag, int idx, int refKind, String cls, String mth, String descriptor, int[] cpArgs){}
 162
 163   @Override
 164   public void setBootstrapMethodsDone (ClassFile cf, Object tag) {}
 165
 166   @Override
 167   public void setEnclosingMethod(ClassFile cf, Object tag, String enclosingClass, String enclosingMethod, String descriptor) {}
 168
 169   @Override
 170   public void setAnnotationCount(ClassFile cf, Object tag, int annotationCount){}
 171   @Override
 172   public void setAnnotation(ClassFile cf, Object tag, int annotationIndex, String annotationType){}
 173   @Override
 174   public void setAnnotationsDone(ClassFile cf, Object tag) {}
 175
 176   //--- Java 8 type annotations
 177   @Override
 178   public void setTypeAnnotationCount(ClassFile cf, Object tag, int annotationCount){}
 179   @Override
 180   public void setTypeParameterAnnotation(ClassFile cf, Object tag, int annotationIndex, int targetType, int typeIndex, short[] typePath, String annotationType){}
 181   @Override
 182   public void setSuperTypeAnnotation(ClassFile cf, Object tag, int annotationIndex, int targetType, int superTypeIdx, short[] typePath, String annotationType){}
 183   @Override
 184   public void setTypeParameterBoundAnnotation(ClassFile cf, Object tag, int annotationIndex, int targetType, int typeParamIdx, int boundIdx, short[] typePath, String annotationType){}
 185   @Override
 186   public void setTypeAnnotation(ClassFile cf, Object tag, int annotationIndex, int targetType, short[] typePath, String annotationType){}
 187   @Override
 188   public void setFormalParameterAnnotation(ClassFile cf, Object tag, int annotationIndex, int targetType, int formalParamIdx, short[] typePath, String annotationType){}
 189   @Override
 190   public void setThrowsAnnotation(ClassFile cf, Object tag, int annotationIndex, int targetType, int throwsTypeIdx, short[] typePath, String annotationType){}
 191   @Override
 192   public void setVariableAnnotation(ClassFile cf, Object tag, int annotationIndex, int targetType, long[] scopeEntries, short[] typePath, String annotationType){}
 193   @Override
 194   public void setExceptionParameterAnnotation(ClassFile cf, Object tag, int annotationIndex, int targetType, int exceptionIndex, short[] typePath, String annotationType){}
 195   @Override
 196   public void setBytecodeAnnotation(ClassFile cf, Object tag, int annotationIndex, int targetType, int offset, short[] typePath, String annotationType){}
 197   @Override
 198   public void setBytecodeTypeParameterAnnotation(ClassFile cf, Object tag, int annotationIndex, int targetType, int offset, int typeArgIdx, short[] typePath, String annotationType){}
 199   @Override
 200   public void setTypeAnnotationsDone(ClassFile cf, Object tag) {}
 201
 202   @Override
 203   public void setAnnotationValueCount(ClassFile cf, Object tag, int annotationIndex, int annotationCount) {}
 204
 205   @Override
 206   public void setPrimitiveAnnotationValue(ClassFile cf, Object tag, int annotationIndex, int valueIndex,
 207           String elementName, int arrayIndex, Object val){}
 208
 209   @Override
 210   public void setStringAnnotationValue(ClassFile cf, Object tag, int annotationIndex, int valueIndex,
 211           String elementName, int arrayIndex, String s){}
 212
 213   @Override
 214   public void setClassAnnotationValue(ClassFile cf, Object tag, int annotationIndex, int valueIndex,
 215           String elementName, int arrayIndex, String typeName){}
 216
 217   @Override
 218   public void setEnumAnnotationValue(ClassFile cf, Object tag, int annotationIndex, int valueIndex,
 219           String elementName, int arrayIndex, String enumType, String enumValue){}
 220
 221   @Override
 222   public void setAnnotationValueElementCount(ClassFile cf, Object tag, int annotationIndex, int valueIndex,
 223           String elementName, int elementCount) {}
 224
 225   @Override
 226   public void setAnnotationValueElementsDone(ClassFile cf, Object tag, int annotationIndex, int valueIndex,
 227           String elementName) {}
 228
 229   @Override
 230   public void setAnnotationValuesDone(ClassFile cf, Object tag, int annotationIndex) {}
 231
 232   @Override
 233   public void setParameterCount(ClassFile cf, Object tag, int parameterCount) {}
 234
 235   @Override
 236   public void setParameterAnnotationCount(ClassFile cf, Object tag, int paramIndex, int annotationCount) {}
 237
 238   @Override
 239   public void setParameterAnnotation(ClassFile cf, Object tag, int annotationIndex, String annotationType) {}
 240
 241   @Override
 242   public void setParameterAnnotationsDone(ClassFile cf, Object tag, int paramIndex) {}
 243
 244   @Override
 245   public void setParametersDone(ClassFile cf, Object tag) {}
 246
 247   @Override
 248   public void setSignature(ClassFile cf, Object tag, String signature) {}
 249 }