@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);
}
@Override
public String toString() {
return Utils.listToString(this);
}