Method main

src/test/resources/pta/contextsensitivity/TypeSens.java:3–8

(String[] args)

class TypeSens {

    public static void main(String[] args) {
        String s = "xxx";
        s.hashCode();
        Class c = TypeSens.class;
        c.getName();
    }
}