APISonar


daikon.inv.OutputFormat.JAVA

> daikon > inv > OutputFormat > JAVA
daikon APIs inv APIs OutputFormat APIs JAVA APIs

Example 1
public String name_using(OutputFormat format, VarInfo vi) {

    if (format == OutputFormat.DAIKON) return name();
    if (format == OutputFormat.SIMPLIFY) return simplify_name();
    if (format == OutputFormat.ESCJAVA) return esc_name();
    if (format == OutputFormat.JAVA) return java_name(vi);
    if (format == OutputFormat.JML) return jml_name(vi);
    if (format == OutputFormat.DBCJAVA) return dbc_name(vi);
    if (format == OutputFormat.IOA) return ioa_name();
    throw new UnsupportedOperationException
      ("Unknown format requested: " + format);
  }