code: public void checkcast(TypeElement objectref) throws IOException
      {
          int index = subClass.resolveClassIndex(objectref);
          checkcast(index);
      }
docs: Check whether object is of given type
  <p>Stack: ..., objectref =&gt; ..., objectref
  @param objectref
  @throws IOException