DispelExecutionHelper.addAssertions(mType, mDescriptor, with);
}
else
{
// if the type is not a PE or PE type
throw new UnsupportedAnnotationException(
"Cannot annotate object of type " + mType);
}
break;
case GENERIC_PE:
// we have to have an array, generic PEs can't be instantiated