boolean requiresCurrentType();
}
public static void main(String[] args) {
AbstractTreeLogger logger = new PrintWriterTreeLogger();
// See if we should create a gui logger.
// TODO: this was removed to avoid making an SWT dependency from test code
//
// for (int i = 0; i < args.length; i++) {
// if ("-gui".equals(args[i])) {
// logger = TreeLoggerWidget.getAsDetachedWindow(
// "Interactive Type Oracle Log", 700, 600, true);
// break;
// }
// }
String logLevel = System.getProperty("gwt.logLevel");
if (logLevel != null) {
logger.setMaxDetail(TreeLogger.Type.valueOf(logLevel));
}
InputStreamReader isr = new InputStreamReader(System.in);
BufferedReader br = new BufferedReader(isr);