public String format_using(OutputFormat format) { if (format.isJavaFamily()) return format_java_family(format); if (format == OutputFormat.DAIKON) return format_daikon(); if (format == OutputFormat.ESCJAVA) return format_esc(); if (format == OutputFormat.SIMPLIFY) return format_simplify(); return format_unimplemented(format); }
public String format_using(OutputFormat format) { if (format == OutputFormat.DAIKON) return format_daikon(); if (format == OutputFormat.IOA) return format_ioa(); if (format == OutputFormat.SIMPLIFY) return format_simplify(); if (format.isJavaFamily()) { return format_unimplemented(format); } return format_unimplemented(format); }