Beispiel #1
0
 @Override
 public String toString() {
   return "(cases "
       + exp
       + " :\n"
       + Utils.listToString("", cases, ",\n", "")
       + (others == null ? "\n" : "\nothers " + others + "\n")
       + "end)";
 }
  @Override
  public String toString() {
    StringBuilder params = new StringBuilder();

    for (TCPatternList plist : paramPatternList) {
      params.append("(" + Utils.listToString(plist) + ")");
    }

    return accessSpecifier.ifSet(" ")
        + name
        + (typeParams == null ? ": " : "[" + typeParams + "]: ")
        + type
        + "\n\t"
        + name
        + params
        + " ==\n"
        + body
        + (precondition == null ? "" : "\n\tpre " + precondition)
        + (postcondition == null ? "" : "\n\tpost " + postcondition);
  }
Beispiel #3
0
 @Override
 public String toString() {
   return Utils.listToString(this);
 }