DEBSOURCES
Skip Quicknav
sources / checker-framework-java / 3.0.1%2Bds2-3 / framework / tests / report / TestStub.java
123456789
class TestStub { void demo() { try { // :: error: (methodcall) Class.forName("Evil"); } catch (Exception e) { } } }