|
|
@ -40,14 +40,14 @@ public class GlobalOptions { |
|
|
|
public static final int DEBUG_LVT = 0x040; |
|
|
|
public static final int DEBUG_LVT = 0x040; |
|
|
|
public static final int DEBUG_CHECK = 0x080; |
|
|
|
public static final int DEBUG_CHECK = 0x080; |
|
|
|
public static final int DEBUG_LOCALS = 0x100; |
|
|
|
public static final int DEBUG_LOCALS = 0x100; |
|
|
|
|
|
|
|
public static final int DEBUG_CONSTRS = 0x200; |
|
|
|
|
|
|
|
|
|
|
|
public static final String[] debuggingNames = { |
|
|
|
public static final String[] debuggingNames = { |
|
|
|
"bytecode", "verifier", "types", "flow", |
|
|
|
"bytecode", "verifier", "types", "flow", |
|
|
|
"inout", "analyze", "lvt", "check", "locals" |
|
|
|
"inout", "analyze", "lvt", "check", "locals", |
|
|
|
|
|
|
|
"constructors", |
|
|
|
}; |
|
|
|
}; |
|
|
|
|
|
|
|
|
|
|
|
public static boolean sanityChecks = false; |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
public static void usageDebugging() { |
|
|
|
public static void usageDebugging() { |
|
|
|
err.println("Debugging option: --debug=flag1,flag2,..."); |
|
|
|
err.println("Debugging option: --debug=flag1,flag2,..."); |
|
|
|
err.println("possible flags:"); |
|
|
|
err.println("possible flags:"); |
|
|
@ -67,6 +67,10 @@ public class GlobalOptions { |
|
|
|
"dump LocalVariableTable."); |
|
|
|
"dump LocalVariableTable."); |
|
|
|
err.println("\tcheck " + |
|
|
|
err.println("\tcheck " + |
|
|
|
"do time consuming sanity checks."); |
|
|
|
"do time consuming sanity checks."); |
|
|
|
|
|
|
|
err.println("\tlocals " + |
|
|
|
|
|
|
|
"dump local merging information."); |
|
|
|
|
|
|
|
err.println("\tconstructors " + |
|
|
|
|
|
|
|
"dump constructor simplification."); |
|
|
|
System.exit(0); |
|
|
|
System.exit(0); |
|
|
|
} |
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|