Sable/soot — pull request #202 by dacongy (2014-04-30 15:19:02+00:00)
Title: Makes dava to print ClassConst as pkg.ClassName.class

Right now, it uses the same format as in Jimple:
class "pkg.ClassName"
which makes the generated .java code uncompilable.

Here's a test case.

ClassConst.java:

public class ClassConst {
public static void main(String[] args) {
print(ClassConst.class);
}

static void print(Class c) {
System.out.println(c);
}
}

Run "soot -f d ClassConst" and look at sootOutput/ClassConst.java. The line print(ClassConst.class); will become print(class "ClassConst"); --- not compilable!