import org.checkerframework.checker.signature.qual.*; | |
// Not on classpath when running the Checker Framework tests. | |
// import org.apache.bcel.generic.ClassGen; | |
public class StubLibraryTest { | |
void testJdk() { | |
@ClassGetName String s3 = String.class.getName(); | |
} | |
// void testBcel(ClassGen cg) { | |
// @ClassGetName String cgn = cg.getClassName(); | |
// @BinaryName String bn = cg.getClassName(); | |
// } | |
} |