Java Code Examples for org.objectweb.asm.TypeReference#LOCAL_VARIABLE

The following examples show how to use org.objectweb.asm.TypeReference#LOCAL_VARIABLE . You can vote up the ones you like or vote down the ones you don't like, and go to the original project or source file by following the links above each example. You may check out the related API usage on the sidebar.
Example 1
Source File: CheckMethodAdapter.java    From JByteMod-Beta with GNU General Public License v2.0 6 votes vote down vote up 
@Override
public AnnotationVisitor visitLocalVariableAnnotation(int typeRef, TypePath typePath, Label[] start, Label[] end, int[] index, String desc,
    boolean visible) {
  checkStartCode();
  checkEndCode();
  int sort = typeRef >>> 24;
  if (sort != TypeReference.LOCAL_VARIABLE && sort != TypeReference.RESOURCE_VARIABLE) {
    throw new IllegalArgumentException("Invalid type reference sort 0x" + Integer.toHexString(sort));
  }
  CheckClassAdapter.checkTypeRefAndPath(typeRef, typePath);
  checkDesc(desc, false);
  if (start == null || end == null || index == null || end.length != start.length || index.length != start.length) {
    throw new IllegalArgumentException("Invalid start, end and index arrays (must be non null and of identical length");
  }
  for (int i = 0; i < start.length; ++i) {
    checkLabel(start[i], true, "start label");
    checkLabel(end[i], true, "end label");
    checkUnsignedShort(index[i], "Invalid variable index");
    int s = labels.get(start[i]).intValue();
    int e = labels.get(end[i]).intValue();
    if (e < s) {
      throw new IllegalArgumentException("Invalid start and end labels (end must be greater than start)");
    }
  }
  return super.visitLocalVariableAnnotation(typeRef, typePath, start, end, index, desc, visible);
}
Example 2
Source File: CheckMethodAdapter.java    From Concurnas with MIT License 5 votes vote down vote up 
@Override
public AnnotationVisitor visitLocalVariableAnnotation(
    final int typeRef,
    final TypePath typePath,
    final Label[] start,
    final Label[] end,
    final int[] index,
    final String descriptor,
    final boolean visible) {
  checkVisitCodeCalled();
  checkVisitMaxsNotCalled();
  int sort = new TypeReference(typeRef).getSort();
  if (sort != TypeReference.LOCAL_VARIABLE && sort != TypeReference.RESOURCE_VARIABLE) {
    throw new IllegalArgumentException(INVALID_TYPE_REFERENCE + Integer.toHexString(sort));
  }
  CheckClassAdapter.checkTypeRef(typeRef);
  checkDescriptor(version, descriptor, false);
  if (start == null
      || end == null
      || index == null
      || end.length != start.length
      || index.length != start.length) {
    throw new IllegalArgumentException(
        "Invalid start, end and index arrays (must be non null and of identical length");
  }
  for (int i = 0; i < start.length; ++i) {
    checkLabel(start[i], true, START_LABEL);
    checkLabel(end[i], true, END_LABEL);
    checkUnsignedShort(index[i], INVALID_LOCAL_VARIABLE_INDEX);
    int startInsnIndex = labelInsnIndices.get(start[i]).intValue();
    int endInsnIndex = labelInsnIndices.get(end[i]).intValue();
    if (endInsnIndex < startInsnIndex) {
      throw new IllegalArgumentException(
          "Invalid start and end labels (end must be greater than start)");
    }
  }
  return super.visitLocalVariableAnnotation(
      typeRef, typePath, start, end, index, descriptor, visible);
}
Example 3
Source File: CheckMethodAdapter.java    From JReFrameworker with MIT License 5 votes vote down vote up 
@Override
public AnnotationVisitor visitLocalVariableAnnotation(
    final int typeRef,
    final TypePath typePath,
    final Label[] start,
    final Label[] end,
    final int[] index,
    final String descriptor,
    final boolean visible) {
  checkVisitCodeCalled();
  checkVisitMaxsNotCalled();
  int sort = new TypeReference(typeRef).getSort();
  if (sort != TypeReference.LOCAL_VARIABLE && sort != TypeReference.RESOURCE_VARIABLE) {
    throw new IllegalArgumentException(INVALID_TYPE_REFERENCE + Integer.toHexString(sort));
  }
  CheckClassAdapter.checkTypeRef(typeRef);
  checkDescriptor(version, descriptor, false);
  if (start == null
      || end == null
      || index == null
      || end.length != start.length
      || index.length != start.length) {
    throw new IllegalArgumentException(
        "Invalid start, end and index arrays (must be non null and of identical length");
  }
  for (int i = 0; i < start.length; ++i) {
    checkLabel(start[i], true, START_LABEL);
    checkLabel(end[i], true, END_LABEL);
    checkUnsignedShort(index[i], INVALID_LOCAL_VARIABLE_INDEX);
    int startInsnIndex = labelInsnIndices.get(start[i]).intValue();
    int endInsnIndex = labelInsnIndices.get(end[i]).intValue();
    if (endInsnIndex < startInsnIndex) {
      throw new IllegalArgumentException(
          "Invalid start and end labels (end must be greater than start)");
    }
  }
  return super.visitLocalVariableAnnotation(
      typeRef, typePath, start, end, index, descriptor, visible);
}
Example 4
Source File: CheckMethodAdapter.java    From JReFrameworker with MIT License 5 votes vote down vote up 
@Override
public AnnotationVisitor visitLocalVariableAnnotation(
    final int typeRef,
    final TypePath typePath,
    final Label[] start,
    final Label[] end,
    final int[] index,
    final String descriptor,
    final boolean visible) {
  checkVisitCodeCalled();
  checkVisitMaxsNotCalled();
  int sort = new TypeReference(typeRef).getSort();
  if (sort != TypeReference.LOCAL_VARIABLE && sort != TypeReference.RESOURCE_VARIABLE) {
    throw new IllegalArgumentException(INVALID_TYPE_REFERENCE + Integer.toHexString(sort));
  }
  CheckClassAdapter.checkTypeRef(typeRef);
  checkDescriptor(version, descriptor, false);
  if (start == null
      || end == null
      || index == null
      || end.length != start.length
      || index.length != start.length) {
    throw new IllegalArgumentException(
        "Invalid start, end and index arrays (must be non null and of identical length");
  }
  for (int i = 0; i < start.length; ++i) {
    checkLabel(start[i], true, START_LABEL);
    checkLabel(end[i], true, END_LABEL);
    checkUnsignedShort(index[i], INVALID_LOCAL_VARIABLE_INDEX);
    int startInsnIndex = labelInsnIndices.get(start[i]).intValue();
    int endInsnIndex = labelInsnIndices.get(end[i]).intValue();
    if (endInsnIndex < startInsnIndex) {
      throw new IllegalArgumentException(
          "Invalid start and end labels (end must be greater than start)");
    }
  }
  return super.visitLocalVariableAnnotation(
      typeRef, typePath, start, end, index, descriptor, visible);
}
Example 5
Source File: CheckClassAdapter.java    From Concurnas with MIT License 4 votes vote down vote up 
/**
 * Checks the reference to a type in a type annotation.
 *
 * @param typeRef a reference to an annotated type.
 */
static void checkTypeRef(final int typeRef) {
  int mask = 0;
  switch (typeRef >>> 24) {
    case TypeReference.CLASS_TYPE_PARAMETER:
    case TypeReference.METHOD_TYPE_PARAMETER:
    case TypeReference.METHOD_FORMAL_PARAMETER:
      mask = 0xFFFF0000;
      break;
    case TypeReference.FIELD:
    case TypeReference.METHOD_RETURN:
    case TypeReference.METHOD_RECEIVER:
    case TypeReference.LOCAL_VARIABLE:
    case TypeReference.RESOURCE_VARIABLE:
    case TypeReference.INSTANCEOF:
    case TypeReference.NEW:
    case TypeReference.CONSTRUCTOR_REFERENCE:
    case TypeReference.METHOD_REFERENCE:
      mask = 0xFF000000;
      break;
    case TypeReference.CLASS_EXTENDS:
    case TypeReference.CLASS_TYPE_PARAMETER_BOUND:
    case TypeReference.METHOD_TYPE_PARAMETER_BOUND:
    case TypeReference.THROWS:
    case TypeReference.EXCEPTION_PARAMETER:
      mask = 0xFFFFFF00;
      break;
    case TypeReference.CAST:
    case TypeReference.CONSTRUCTOR_INVOCATION_TYPE_ARGUMENT:
    case TypeReference.METHOD_INVOCATION_TYPE_ARGUMENT:
    case TypeReference.CONSTRUCTOR_REFERENCE_TYPE_ARGUMENT:
    case TypeReference.METHOD_REFERENCE_TYPE_ARGUMENT:
      mask = 0xFF0000FF;
      break;
    default:
      throw new AssertionError();
  }
  if ((typeRef & ~mask) != 0) {
    throw new IllegalArgumentException(
        "Invalid type reference 0x" + Integer.toHexString(typeRef));
  }
}
Example 6
Source File: Textifier.java    From Concurnas with MIT License 4 votes vote down vote up 
/**
 * Appends a string representation of the given type reference to {@link #stringBuilder}.
 *
 * @param typeRef a type reference. See {@link TypeReference}.
 */
private void appendTypeReference(final int typeRef) {
  TypeReference typeReference = new TypeReference(typeRef);
  switch (typeReference.getSort()) {
    case TypeReference.CLASS_TYPE_PARAMETER:
      stringBuilder.append("CLASS_TYPE_PARAMETER ").append(typeReference.getTypeParameterIndex());
      break;
    case TypeReference.METHOD_TYPE_PARAMETER:
      stringBuilder
          .append("METHOD_TYPE_PARAMETER ")
          .append(typeReference.getTypeParameterIndex());
      break;
    case TypeReference.CLASS_EXTENDS:
      stringBuilder.append("CLASS_EXTENDS ").append(typeReference.getSuperTypeIndex());
      break;
    case TypeReference.CLASS_TYPE_PARAMETER_BOUND:
      stringBuilder
          .append("CLASS_TYPE_PARAMETER_BOUND ")
          .append(typeReference.getTypeParameterIndex())
          .append(", ")
          .append(typeReference.getTypeParameterBoundIndex());
      break;
    case TypeReference.METHOD_TYPE_PARAMETER_BOUND:
      stringBuilder
          .append("METHOD_TYPE_PARAMETER_BOUND ")
          .append(typeReference.getTypeParameterIndex())
          .append(", ")
          .append(typeReference.getTypeParameterBoundIndex());
      break;
    case TypeReference.FIELD:
      stringBuilder.append("FIELD");
      break;
    case TypeReference.METHOD_RETURN:
      stringBuilder.append("METHOD_RETURN");
      break;
    case TypeReference.METHOD_RECEIVER:
      stringBuilder.append("METHOD_RECEIVER");
      break;
    case TypeReference.METHOD_FORMAL_PARAMETER:
      stringBuilder
          .append("METHOD_FORMAL_PARAMETER ")
          .append(typeReference.getFormalParameterIndex());
      break;
    case TypeReference.THROWS:
      stringBuilder.append("THROWS ").append(typeReference.getExceptionIndex());
      break;
    case TypeReference.LOCAL_VARIABLE:
      stringBuilder.append("LOCAL_VARIABLE");
      break;
    case TypeReference.RESOURCE_VARIABLE:
      stringBuilder.append("RESOURCE_VARIABLE");
      break;
    case TypeReference.EXCEPTION_PARAMETER:
      stringBuilder.append("EXCEPTION_PARAMETER ").append(typeReference.getTryCatchBlockIndex());
      break;
    case TypeReference.INSTANCEOF:
      stringBuilder.append("INSTANCEOF");
      break;
    case TypeReference.NEW:
      stringBuilder.append("NEW");
      break;
    case TypeReference.CONSTRUCTOR_REFERENCE:
      stringBuilder.append("CONSTRUCTOR_REFERENCE");
      break;
    case TypeReference.METHOD_REFERENCE:
      stringBuilder.append("METHOD_REFERENCE");
      break;
    case TypeReference.CAST:
      stringBuilder.append("CAST ").append(typeReference.getTypeArgumentIndex());
      break;
    case TypeReference.CONSTRUCTOR_INVOCATION_TYPE_ARGUMENT:
      stringBuilder
          .append("CONSTRUCTOR_INVOCATION_TYPE_ARGUMENT ")
          .append(typeReference.getTypeArgumentIndex());
      break;
    case TypeReference.METHOD_INVOCATION_TYPE_ARGUMENT:
      stringBuilder
          .append("METHOD_INVOCATION_TYPE_ARGUMENT ")
          .append(typeReference.getTypeArgumentIndex());
      break;
    case TypeReference.CONSTRUCTOR_REFERENCE_TYPE_ARGUMENT:
      stringBuilder
          .append("CONSTRUCTOR_REFERENCE_TYPE_ARGUMENT ")
          .append(typeReference.getTypeArgumentIndex());
      break;
    case TypeReference.METHOD_REFERENCE_TYPE_ARGUMENT:
      stringBuilder
          .append("METHOD_REFERENCE_TYPE_ARGUMENT ")
          .append(typeReference.getTypeArgumentIndex());
      break;
    default:
      throw new IllegalArgumentException();
  }
}
Example 7
Source File: CheckClassAdapter.java    From JByteMod-Beta with GNU General Public License v2.0 4 votes vote down vote up 
/**
 * Checks the reference to a type in a type annotation.
 * 
 * @param typeRef
 *          a reference to an annotated type.
 * @param typePath
 *          the path to the annotated type argument, wildcard bound, array
 *          element type, or static inner type within 'typeRef'. May be
 *          <tt>null</tt> if the annotation targets 'typeRef' as a whole.
 */
static void checkTypeRefAndPath(int typeRef, TypePath typePath) {
  int mask = 0;
  switch (typeRef >>> 24) {
  case TypeReference.CLASS_TYPE_PARAMETER:
  case TypeReference.METHOD_TYPE_PARAMETER:
  case TypeReference.METHOD_FORMAL_PARAMETER:
    mask = 0xFFFF0000;
    break;
  case TypeReference.FIELD:
  case TypeReference.METHOD_RETURN:
  case TypeReference.METHOD_RECEIVER:
  case TypeReference.LOCAL_VARIABLE:
  case TypeReference.RESOURCE_VARIABLE:
  case TypeReference.INSTANCEOF:
  case TypeReference.NEW:
  case TypeReference.CONSTRUCTOR_REFERENCE:
  case TypeReference.METHOD_REFERENCE:
    mask = 0xFF000000;
    break;
  case TypeReference.CLASS_EXTENDS:
  case TypeReference.CLASS_TYPE_PARAMETER_BOUND:
  case TypeReference.METHOD_TYPE_PARAMETER_BOUND:
  case TypeReference.THROWS:
  case TypeReference.EXCEPTION_PARAMETER:
    mask = 0xFFFFFF00;
    break;
  case TypeReference.CAST:
  case TypeReference.CONSTRUCTOR_INVOCATION_TYPE_ARGUMENT:
  case TypeReference.METHOD_INVOCATION_TYPE_ARGUMENT:
  case TypeReference.CONSTRUCTOR_REFERENCE_TYPE_ARGUMENT:
  case TypeReference.METHOD_REFERENCE_TYPE_ARGUMENT:
    mask = 0xFF0000FF;
    break;
  default:
    throw new IllegalArgumentException("Invalid type reference sort 0x" + Integer.toHexString(typeRef >>> 24));
  }
  if ((typeRef & ~mask) != 0) {
    throw new IllegalArgumentException("Invalid type reference 0x" + Integer.toHexString(typeRef));
  }
  if (typePath != null) {
    for (int i = 0; i < typePath.getLength(); ++i) {
      int step = typePath.getStep(i);
      if (step != TypePath.ARRAY_ELEMENT && step != TypePath.INNER_TYPE && step != TypePath.TYPE_ARGUMENT && step != TypePath.WILDCARD_BOUND) {
        throw new IllegalArgumentException("Invalid type path step " + i + " in " + typePath);
      }
      if (step != TypePath.TYPE_ARGUMENT && typePath.getStepArgument(i) != 0) {
        throw new IllegalArgumentException("Invalid type path step argument for step " + i + " in " + typePath);
      }
    }
  }
}
Example 8
Source File: Textifier.java    From JByteMod-Beta with GNU General Public License v2.0 4 votes vote down vote up 
private void appendTypeReference(final int typeRef) {
  TypeReference ref = new TypeReference(typeRef);
  switch (ref.getSort()) {
  case TypeReference.CLASS_TYPE_PARAMETER:
    buf.append("CLASS_TYPE_PARAMETER ").append(ref.getTypeParameterIndex());
    break;
  case TypeReference.METHOD_TYPE_PARAMETER:
    buf.append("METHOD_TYPE_PARAMETER ").append(ref.getTypeParameterIndex());
    break;
  case TypeReference.CLASS_EXTENDS:
    buf.append("CLASS_EXTENDS ").append(ref.getSuperTypeIndex());
    break;
  case TypeReference.CLASS_TYPE_PARAMETER_BOUND:
    buf.append("CLASS_TYPE_PARAMETER_BOUND ").append(ref.getTypeParameterIndex()).append(", ").append(ref.getTypeParameterBoundIndex());
    break;
  case TypeReference.METHOD_TYPE_PARAMETER_BOUND:
    buf.append("METHOD_TYPE_PARAMETER_BOUND ").append(ref.getTypeParameterIndex()).append(", ").append(ref.getTypeParameterBoundIndex());
    break;
  case TypeReference.FIELD:
    buf.append("FIELD");
    break;
  case TypeReference.METHOD_RETURN:
    buf.append("METHOD_RETURN");
    break;
  case TypeReference.METHOD_RECEIVER:
    buf.append("METHOD_RECEIVER");
    break;
  case TypeReference.METHOD_FORMAL_PARAMETER:
    buf.append("METHOD_FORMAL_PARAMETER ").append(ref.getFormalParameterIndex());
    break;
  case TypeReference.THROWS:
    buf.append("THROWS ").append(ref.getExceptionIndex());
    break;
  case TypeReference.LOCAL_VARIABLE:
    buf.append("LOCAL_VARIABLE");
    break;
  case TypeReference.RESOURCE_VARIABLE:
    buf.append("RESOURCE_VARIABLE");
    break;
  case TypeReference.EXCEPTION_PARAMETER:
    buf.append("EXCEPTION_PARAMETER ").append(ref.getTryCatchBlockIndex());
    break;
  case TypeReference.INSTANCEOF:
    buf.append("INSTANCEOF");
    break;
  case TypeReference.NEW:
    buf.append("NEW");
    break;
  case TypeReference.CONSTRUCTOR_REFERENCE:
    buf.append("CONSTRUCTOR_REFERENCE");
    break;
  case TypeReference.METHOD_REFERENCE:
    buf.append("METHOD_REFERENCE");
    break;
  case TypeReference.CAST:
    buf.append("CAST ").append(ref.getTypeArgumentIndex());
    break;
  case TypeReference.CONSTRUCTOR_INVOCATION_TYPE_ARGUMENT:
    buf.append("CONSTRUCTOR_INVOCATION_TYPE_ARGUMENT ").append(ref.getTypeArgumentIndex());
    break;
  case TypeReference.METHOD_INVOCATION_TYPE_ARGUMENT:
    buf.append("METHOD_INVOCATION_TYPE_ARGUMENT ").append(ref.getTypeArgumentIndex());
    break;
  case TypeReference.CONSTRUCTOR_REFERENCE_TYPE_ARGUMENT:
    buf.append("CONSTRUCTOR_REFERENCE_TYPE_ARGUMENT ").append(ref.getTypeArgumentIndex());
    break;
  case TypeReference.METHOD_REFERENCE_TYPE_ARGUMENT:
    buf.append("METHOD_REFERENCE_TYPE_ARGUMENT ").append(ref.getTypeArgumentIndex());
    break;
  }
}
Example 9
Source File: CheckClassAdapter.java    From JReFrameworker with MIT License 4 votes vote down vote up 
/**
 * Checks the reference to a type in a type annotation.
 *
 * @param typeRef a reference to an annotated type.
 */
static void checkTypeRef(final int typeRef) {
  int mask = 0;
  switch (typeRef >>> 24) {
    case TypeReference.CLASS_TYPE_PARAMETER:
    case TypeReference.METHOD_TYPE_PARAMETER:
    case TypeReference.METHOD_FORMAL_PARAMETER:
      mask = 0xFFFF0000;
      break;
    case TypeReference.FIELD:
    case TypeReference.METHOD_RETURN:
    case TypeReference.METHOD_RECEIVER:
    case TypeReference.LOCAL_VARIABLE:
    case TypeReference.RESOURCE_VARIABLE:
    case TypeReference.INSTANCEOF:
    case TypeReference.NEW:
    case TypeReference.CONSTRUCTOR_REFERENCE:
    case TypeReference.METHOD_REFERENCE:
      mask = 0xFF000000;
      break;
    case TypeReference.CLASS_EXTENDS:
    case TypeReference.CLASS_TYPE_PARAMETER_BOUND:
    case TypeReference.METHOD_TYPE_PARAMETER_BOUND:
    case TypeReference.THROWS:
    case TypeReference.EXCEPTION_PARAMETER:
      mask = 0xFFFFFF00;
      break;
    case TypeReference.CAST:
    case TypeReference.CONSTRUCTOR_INVOCATION_TYPE_ARGUMENT:
    case TypeReference.METHOD_INVOCATION_TYPE_ARGUMENT:
    case TypeReference.CONSTRUCTOR_REFERENCE_TYPE_ARGUMENT:
    case TypeReference.METHOD_REFERENCE_TYPE_ARGUMENT:
      mask = 0xFF0000FF;
      break;
    default:
      throw new AssertionError();
  }
  if ((typeRef & ~mask) != 0) {
    throw new IllegalArgumentException(
        "Invalid type reference 0x" + Integer.toHexString(typeRef));
  }
}
Example 10
Source File: Textifier.java    From JReFrameworker with MIT License 4 votes vote down vote up 
/**
 * Appends a string representation of the given type reference to {@link #stringBuilder}.
 *
 * @param typeRef a type reference. See {@link TypeReference}.
 */
private void appendTypeReference(final int typeRef) {
  TypeReference typeReference = new TypeReference(typeRef);
  switch (typeReference.getSort()) {
    case TypeReference.CLASS_TYPE_PARAMETER:
      stringBuilder.append("CLASS_TYPE_PARAMETER ").append(typeReference.getTypeParameterIndex());
      break;
    case TypeReference.METHOD_TYPE_PARAMETER:
      stringBuilder
          .append("METHOD_TYPE_PARAMETER ")
          .append(typeReference.getTypeParameterIndex());
      break;
    case TypeReference.CLASS_EXTENDS:
      stringBuilder.append("CLASS_EXTENDS ").append(typeReference.getSuperTypeIndex());
      break;
    case TypeReference.CLASS_TYPE_PARAMETER_BOUND:
      stringBuilder
          .append("CLASS_TYPE_PARAMETER_BOUND ")
          .append(typeReference.getTypeParameterIndex())
          .append(", ")
          .append(typeReference.getTypeParameterBoundIndex());
      break;
    case TypeReference.METHOD_TYPE_PARAMETER_BOUND:
      stringBuilder
          .append("METHOD_TYPE_PARAMETER_BOUND ")
          .append(typeReference.getTypeParameterIndex())
          .append(", ")
          .append(typeReference.getTypeParameterBoundIndex());
      break;
    case TypeReference.FIELD:
      stringBuilder.append("FIELD");
      break;
    case TypeReference.METHOD_RETURN:
      stringBuilder.append("METHOD_RETURN");
      break;
    case TypeReference.METHOD_RECEIVER:
      stringBuilder.append("METHOD_RECEIVER");
      break;
    case TypeReference.METHOD_FORMAL_PARAMETER:
      stringBuilder
          .append("METHOD_FORMAL_PARAMETER ")
          .append(typeReference.getFormalParameterIndex());
      break;
    case TypeReference.THROWS:
      stringBuilder.append("THROWS ").append(typeReference.getExceptionIndex());
      break;
    case TypeReference.LOCAL_VARIABLE:
      stringBuilder.append("LOCAL_VARIABLE");
      break;
    case TypeReference.RESOURCE_VARIABLE:
      stringBuilder.append("RESOURCE_VARIABLE");
      break;
    case TypeReference.EXCEPTION_PARAMETER:
      stringBuilder.append("EXCEPTION_PARAMETER ").append(typeReference.getTryCatchBlockIndex());
      break;
    case TypeReference.INSTANCEOF:
      stringBuilder.append("INSTANCEOF");
      break;
    case TypeReference.NEW:
      stringBuilder.append("NEW");
      break;
    case TypeReference.CONSTRUCTOR_REFERENCE:
      stringBuilder.append("CONSTRUCTOR_REFERENCE");
      break;
    case TypeReference.METHOD_REFERENCE:
      stringBuilder.append("METHOD_REFERENCE");
      break;
    case TypeReference.CAST:
      stringBuilder.append("CAST ").append(typeReference.getTypeArgumentIndex());
      break;
    case TypeReference.CONSTRUCTOR_INVOCATION_TYPE_ARGUMENT:
      stringBuilder
          .append("CONSTRUCTOR_INVOCATION_TYPE_ARGUMENT ")
          .append(typeReference.getTypeArgumentIndex());
      break;
    case TypeReference.METHOD_INVOCATION_TYPE_ARGUMENT:
      stringBuilder
          .append("METHOD_INVOCATION_TYPE_ARGUMENT ")
          .append(typeReference.getTypeArgumentIndex());
      break;
    case TypeReference.CONSTRUCTOR_REFERENCE_TYPE_ARGUMENT:
      stringBuilder
          .append("CONSTRUCTOR_REFERENCE_TYPE_ARGUMENT ")
          .append(typeReference.getTypeArgumentIndex());
      break;
    case TypeReference.METHOD_REFERENCE_TYPE_ARGUMENT:
      stringBuilder
          .append("METHOD_REFERENCE_TYPE_ARGUMENT ")
          .append(typeReference.getTypeArgumentIndex());
      break;
    default:
      throw new IllegalArgumentException();
  }
}
Example 11
Source File: CheckClassAdapter.java    From JReFrameworker with MIT License 4 votes vote down vote up 
/**
 * Checks the reference to a type in a type annotation.
 *
 * @param typeRef a reference to an annotated type.
 */
static void checkTypeRef(final int typeRef) {
  int mask = 0;
  switch (typeRef >>> 24) {
    case TypeReference.CLASS_TYPE_PARAMETER:
    case TypeReference.METHOD_TYPE_PARAMETER:
    case TypeReference.METHOD_FORMAL_PARAMETER:
      mask = 0xFFFF0000;
      break;
    case TypeReference.FIELD:
    case TypeReference.METHOD_RETURN:
    case TypeReference.METHOD_RECEIVER:
    case TypeReference.LOCAL_VARIABLE:
    case TypeReference.RESOURCE_VARIABLE:
    case TypeReference.INSTANCEOF:
    case TypeReference.NEW:
    case TypeReference.CONSTRUCTOR_REFERENCE:
    case TypeReference.METHOD_REFERENCE:
      mask = 0xFF000000;
      break;
    case TypeReference.CLASS_EXTENDS:
    case TypeReference.CLASS_TYPE_PARAMETER_BOUND:
    case TypeReference.METHOD_TYPE_PARAMETER_BOUND:
    case TypeReference.THROWS:
    case TypeReference.EXCEPTION_PARAMETER:
      mask = 0xFFFFFF00;
      break;
    case TypeReference.CAST:
    case TypeReference.CONSTRUCTOR_INVOCATION_TYPE_ARGUMENT:
    case TypeReference.METHOD_INVOCATION_TYPE_ARGUMENT:
    case TypeReference.CONSTRUCTOR_REFERENCE_TYPE_ARGUMENT:
    case TypeReference.METHOD_REFERENCE_TYPE_ARGUMENT:
      mask = 0xFF0000FF;
      break;
    default:
      throw new AssertionError();
  }
  if ((typeRef & ~mask) != 0) {
    throw new IllegalArgumentException(
        "Invalid type reference 0x" + Integer.toHexString(typeRef));
  }
}
Example 12
Source File: Textifier.java    From JReFrameworker with MIT License 4 votes vote down vote up 
/**
 * Appends a string representation of the given type reference to {@link #stringBuilder}.
 *
 * @param typeRef a type reference. See {@link TypeReference}.
 */
private void appendTypeReference(final int typeRef) {
  TypeReference typeReference = new TypeReference(typeRef);
  switch (typeReference.getSort()) {
    case TypeReference.CLASS_TYPE_PARAMETER:
      stringBuilder.append("CLASS_TYPE_PARAMETER ").append(typeReference.getTypeParameterIndex());
      break;
    case TypeReference.METHOD_TYPE_PARAMETER:
      stringBuilder
          .append("METHOD_TYPE_PARAMETER ")
          .append(typeReference.getTypeParameterIndex());
      break;
    case TypeReference.CLASS_EXTENDS:
      stringBuilder.append("CLASS_EXTENDS ").append(typeReference.getSuperTypeIndex());
      break;
    case TypeReference.CLASS_TYPE_PARAMETER_BOUND:
      stringBuilder
          .append("CLASS_TYPE_PARAMETER_BOUND ")
          .append(typeReference.getTypeParameterIndex())
          .append(", ")
          .append(typeReference.getTypeParameterBoundIndex());
      break;
    case TypeReference.METHOD_TYPE_PARAMETER_BOUND:
      stringBuilder
          .append("METHOD_TYPE_PARAMETER_BOUND ")
          .append(typeReference.getTypeParameterIndex())
          .append(", ")
          .append(typeReference.getTypeParameterBoundIndex());
      break;
    case TypeReference.FIELD:
      stringBuilder.append("FIELD");
      break;
    case TypeReference.METHOD_RETURN:
      stringBuilder.append("METHOD_RETURN");
      break;
    case TypeReference.METHOD_RECEIVER:
      stringBuilder.append("METHOD_RECEIVER");
      break;
    case TypeReference.METHOD_FORMAL_PARAMETER:
      stringBuilder
          .append("METHOD_FORMAL_PARAMETER ")
          .append(typeReference.getFormalParameterIndex());
      break;
    case TypeReference.THROWS:
      stringBuilder.append("THROWS ").append(typeReference.getExceptionIndex());
      break;
    case TypeReference.LOCAL_VARIABLE:
      stringBuilder.append("LOCAL_VARIABLE");
      break;
    case TypeReference.RESOURCE_VARIABLE:
      stringBuilder.append("RESOURCE_VARIABLE");
      break;
    case TypeReference.EXCEPTION_PARAMETER:
      stringBuilder.append("EXCEPTION_PARAMETER ").append(typeReference.getTryCatchBlockIndex());
      break;
    case TypeReference.INSTANCEOF:
      stringBuilder.append("INSTANCEOF");
      break;
    case TypeReference.NEW:
      stringBuilder.append("NEW");
      break;
    case TypeReference.CONSTRUCTOR_REFERENCE:
      stringBuilder.append("CONSTRUCTOR_REFERENCE");
      break;
    case TypeReference.METHOD_REFERENCE:
      stringBuilder.append("METHOD_REFERENCE");
      break;
    case TypeReference.CAST:
      stringBuilder.append("CAST ").append(typeReference.getTypeArgumentIndex());
      break;
    case TypeReference.CONSTRUCTOR_INVOCATION_TYPE_ARGUMENT:
      stringBuilder
          .append("CONSTRUCTOR_INVOCATION_TYPE_ARGUMENT ")
          .append(typeReference.getTypeArgumentIndex());
      break;
    case TypeReference.METHOD_INVOCATION_TYPE_ARGUMENT:
      stringBuilder
          .append("METHOD_INVOCATION_TYPE_ARGUMENT ")
          .append(typeReference.getTypeArgumentIndex());
      break;
    case TypeReference.CONSTRUCTOR_REFERENCE_TYPE_ARGUMENT:
      stringBuilder
          .append("CONSTRUCTOR_REFERENCE_TYPE_ARGUMENT ")
          .append(typeReference.getTypeArgumentIndex());
      break;
    case TypeReference.METHOD_REFERENCE_TYPE_ARGUMENT:
      stringBuilder
          .append("METHOD_REFERENCE_TYPE_ARGUMENT ")
          .append(typeReference.getTypeArgumentIndex());
      break;
    default:
      throw new IllegalArgumentException();
  }
}