public PTypeSet(PType t1, PType t2, IAstAssistantFactory af) { super(new PTypeComparator()); assistantFactory = af; add(t1); add(t2); }
public PTypeSet(List<PType> types, IAstAssistantFactory af) { super(new PTypeComparator()); assistantFactory = af; addAll(types); }
@Override public String toString() { return Utils.listToString(this); }
@Override public PTypeSet defaultPStm(PStm statement) throws AnalysisException { return new PTypeSet(af); }
@Override public String toString() { return Utils.setToString(this, ", "); } }
public Object clone() { return new ClonableString(value); } }
public PTypeSet(IAstAssistantFactory af) { super(new PTypeComparator()); assistantFactory = af; }
@Override public String toString() { return Utils.listToString(this, "\n"); }
public PTypeSet(PType t, IAstAssistantFactory af) { super(new PTypeComparator()); assistantFactory = af; add(t); }
private String toTitle(String mname, List<PPattern> paramPatterns) { return mname + Utils.listToString("(", paramPatterns, ", ", ")"); } }
public VDMErrorsException(List<VDMError> errors) { super(Utils.listToString(errors, "\n")); this.errors = errors; }
@Override public String toString() { return Utils.listToString("[", this, ", ", "]"); } }
@Override public String toString() { return "(" + Utils.listToString(this) + ")"; } }
@Override public String toString() { return Utils.listToString("{", this, ", ", "}"); }
@Override public String toString() { return Utils.listToString(this); }
@Override public String toString() { return "mk_(" + Utils.listToString(values) + ")"; }
public String toString() { return "" + "atomic ("+Utils.listToString(_assignments)+")"; }
public String toString() { return "" + "obj_"+_classname+"("+Utils.listToString(_fields)+")"; }
public String toString() { return "" + "MutRec("+Utils.listToString(_funcs)+")"; }
public String toString() { return "" + ""+Utils.listToString(_plist)+" in set "+_set; }