ClassFileReaderAdapter.java example

Explorer
VarexJ-master
/*
 * Copyright (C) 2014, United States Government, as represented by the
 * Administrator of the National Aeronautics and Space Administration.
 * All rights reserved.
 *
 * The Java Pathfinder core (jpf-core) platform is licensed under the
 * Apache License, Version 2.0 (the "License"); you may not use this file except
 * in compliance with the License. You may obtain a copy of the License at
 * 
 *        http://www.apache.org/licenses/LICENSE-2.0. 
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and 
 * limitations under the License.
 */

package gov.nasa.jpf.jvm;

import gov.nasa.jpf.vm.ClassParseException;

/**
 * adapter class implementing the ClassFileReader interface
 */
public class ClassFileReaderAdapter implements ClassFileReader {

  @Override
  public void setClass(ClassFile cf, String clsName, String superClsName, int flags, int cpCount) throws ClassParseException {}

  @Override
  public void setInterfaceCount(ClassFile cf, int ifcCount) {}

  @Override
  public void setInterface(ClassFile cf, int ifcIndex, String ifcName) {}

  @Override
  public void setInterfacesDone(ClassFile cf) {};

  @Override
  public void setFieldCount(ClassFile cf, int fieldCount) {}

  @Override
  public void setField(ClassFile cf, int fieldIndex, int accessFlags, String name, String descriptor) {}

  @Override
  public void setFieldAttributeCount(ClassFile cf, int fieldIndex, int attrCount) {}

  @Override
  public void setFieldAttribute(ClassFile cf, int fieldIndex, int attrIndex, String name, int attrLength) {}

  @Override
  public void setFieldAttributesDone(ClassFile cf, int fieldIndex) {}

  @Override
  public void setFieldDone(ClassFile cf, int fieldIndex) {}

  @Override
  public void setFieldsDone(ClassFile cf) {}

  @Override
  public void setConstantValue(ClassFile cf, Object tag, Object value) {}

  @Override
  public void setMethodCount(ClassFile cf, int methodCount) {}

  @Override
  public void setMethod(ClassFile cf, int methodIndex, int accessFlags, String name, String descriptor) {}

  @Override
  public void setMethodAttributeCount(ClassFile cf, int methodIndex, int attrCount) {}

  @Override
  public void setMethodAttribute(ClassFile cf, int methodIndex, int attrIndex, String name, int attrLength) {}

  @Override
  public void setMethodAttributesDone(ClassFile cf, int methodIndex){}

  @Override
  public void setMethodDone(ClassFile cf, int methodIndex) {}

  @Override
  public void setMethodsDone(ClassFile cf) {}

  @Override
  public void setExceptionCount(ClassFile cf, Object tag, int exceptionCount) {}

  @Override
  public void setException(ClassFile cf, Object tag, int exceptionIndex, String exceptionType) {}

  @Override
  public void setExceptionsDone(ClassFile cf, Object tag) {}

  @Override
  public void setCode(ClassFile cf, Object tag, int maxStack, int maxLocals, int codeLength) {}

  @Override
  public void setExceptionHandlerTableCount(ClassFile cf, Object tag, int exceptionTableCount) {}

  @Override
  public void setExceptionHandler(ClassFile cf, Object tag, int exceptionIndex,
          int startPc, int endPc, int handlerPc, String catchType) {}

  @Override
  public void setExceptionHandlerTableDone(ClassFile cf, Object tag) {}

  @Override
  public void setCodeAttributeCount(ClassFile cf, Object tag, int attrCount) {}

  @Override
  public void setCodeAttribute(ClassFile cf, Object tag, int attrIndex, String name, int attrLength) {}

  @Override
  public void setCodeAttributesDone (ClassFile cf, Object tag) {}

  @Override
  public void setLineNumberTableCount(ClassFile cf, Object tag, int lineNumberCount) {}

  @Override
  public void setLineNumber(ClassFile cf, Object tag, int lineIndex, int lineNumber, int startPc) {}

  @Override
  public void setLineNumberTableDone(ClassFile cf, Object tag) {}

  @Override
  public void setLocalVarTableCount(ClassFile cf, Object tag, int localVarCount) {}

  @Override
  public void setLocalVar(ClassFile cf, Object tag, int localVarIndex,
          String varName, String descriptor, int scopeStartPc, int scopeEndPc, int slotIndex) {}

  @Override
  public void setLocalVarTableDone (ClassFile cf, Object tag) {}

  @Override
  public void setClassAttributeCount(ClassFile cf, int attrCount) {}

  @Override
  public void setClassAttribute(ClassFile cf, int attrIndex, String name, int attrLength) {}

  @Override
  public void setClassAttributesDone(ClassFile cf) {}

  @Override
  public void setSourceFile(ClassFile cf, Object tag, String pathName) {}

  @Override
  public void setInnerClassCount(ClassFile cf, Object tag, int innerClsCount) {}

  @Override
  public void setInnerClass(ClassFile cf, Object tag, int innerClsIndex,
          String outerName, String innerName, String innerSimpleName, int accessFlags) {}

  @Override
  public void setInnerClassesDone(ClassFile cf, Object tag) {}
  
  @Override
  public void setBootstrapMethodCount (ClassFile cf, Object tag, int count) {}
  
  @Override
  public void setBootstrapMethod (ClassFile cf, Object tag, int idx, int refKind, String cls, String mth, String descriptor, int[] cpArgs){}
  
  @Override
  public void setBootstrapMethodsDone (ClassFile cf, Object tag) {}
  
  @Override
  public void setEnclosingMethod(ClassFile cf, Object tag, String enclosingClass, String enclosingMethod, String descriptor) {}

  @Override
  public void setAnnotationCount(ClassFile cf, Object tag, int annotationCount){}
  @Override
  public void setAnnotation(ClassFile cf, Object tag, int annotationIndex, String annotationType){}
  @Override
  public void setAnnotationsDone(ClassFile cf, Object tag) {}

  //--- Java 8 type annotations
  @Override
  public void setTypeAnnotationCount(ClassFile cf, Object tag, int annotationCount){}
  @Override
  public void setTypeParameterAnnotation(ClassFile cf, Object tag, int annotationIndex, int targetType, int typeIndex, short[] typePath, String annotationType){}
  @Override
  public void setSuperTypeAnnotation(ClassFile cf, Object tag, int annotationIndex, int targetType, int superTypeIdx, short[] typePath, String annotationType){}
  @Override
  public void setTypeParameterBoundAnnotation(ClassFile cf, Object tag, int annotationIndex, int targetType, int typeParamIdx, int boundIdx, short[] typePath, String annotationType){}
  @Override
  public void setTypeAnnotation(ClassFile cf, Object tag, int annotationIndex, int targetType, short[] typePath, String annotationType){}
  @Override
  public void setFormalParameterAnnotation(ClassFile cf, Object tag, int annotationIndex, int targetType, int formalParamIdx, short[] typePath, String annotationType){}
  @Override
  public void setThrowsAnnotation(ClassFile cf, Object tag, int annotationIndex, int targetType, int throwsTypeIdx, short[] typePath, String annotationType){}
  @Override
  public void setVariableAnnotation(ClassFile cf, Object tag, int annotationIndex, int targetType, long[] scopeEntries, short[] typePath, String annotationType){}
  @Override
  public void setExceptionParameterAnnotation(ClassFile cf, Object tag, int annotationIndex, int targetType, int exceptionIndex, short[] typePath, String annotationType){}
  @Override
  public void setBytecodeAnnotation(ClassFile cf, Object tag, int annotationIndex, int targetType, int offset, short[] typePath, String annotationType){}
  @Override
  public void setBytecodeTypeParameterAnnotation(ClassFile cf, Object tag, int annotationIndex, int targetType, int offset, int typeArgIdx, short[] typePath, String annotationType){}
  @Override
  public void setTypeAnnotationsDone(ClassFile cf, Object tag) {}

  @Override
  public void setAnnotationValueCount(ClassFile cf, Object tag, int annotationIndex, int annotationCount) {}

  @Override
  public void setPrimitiveAnnotationValue(ClassFile cf, Object tag, int annotationIndex, int valueIndex,
          String elementName, int arrayIndex, Object val){}

  @Override
  public void setStringAnnotationValue(ClassFile cf, Object tag, int annotationIndex, int valueIndex,
          String elementName, int arrayIndex, String s){}

  @Override
  public void setClassAnnotationValue(ClassFile cf, Object tag, int annotationIndex, int valueIndex,
          String elementName, int arrayIndex, String typeName){}

  @Override
  public void setEnumAnnotationValue(ClassFile cf, Object tag, int annotationIndex, int valueIndex,
          String elementName, int arrayIndex, String enumType, String enumValue){}

  @Override
  public void setAnnotationValueElementCount(ClassFile cf, Object tag, int annotationIndex, int valueIndex, 
          String elementName, int elementCount) {}

  @Override
  public void setAnnotationValueElementsDone(ClassFile cf, Object tag, int annotationIndex, int valueIndex,
          String elementName) {}

  @Override
  public void setAnnotationValuesDone(ClassFile cf, Object tag, int annotationIndex) {}

  @Override
  public void setParameterCount(ClassFile cf, Object tag, int parameterCount) {}

  @Override
  public void setParameterAnnotationCount(ClassFile cf, Object tag, int paramIndex, int annotationCount) {}

  @Override
  public void setParameterAnnotation(ClassFile cf, Object tag, int annotationIndex, String annotationType) {}

  @Override
  public void setParameterAnnotationsDone(ClassFile cf, Object tag, int paramIndex) {}

  @Override
  public void setParametersDone(ClassFile cf, Object tag) {}

  @Override
  public void setSignature(ClassFile cf, Object tag, String signature) {}
}