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