/**
* Like <code>klass</code> must not yet be converted and it must not be a {@link
* Klass#isSynthetic() synthetic} class.
*
* @param klass the instance class for which a class file is requested
* @return the class file for <code>klass</code>, or null if that ClassFile has not been
* translated by this translator.
*/
ClassFile lookupClassFile(Klass klass) {
Assert.that(!klass.isSynthetic(), "synthethic class has no classfile");
ClassFile classFile = (ClassFile) classFiles.get(klass.getInternalName());
return classFile;
}
