Method toNameString

src/main/java/wyc/task/QuickCheck.java:706–730

Format the name and signature of a named declaration in a nice fashion for writing to the log file. @param d @return

(Decl.Named<?> d)

	 * @return
	 */
	private static String toNameString(Decl.Named<?> d) {
		String kind;
		String rest;
		if(d instanceof Decl.Function) {
			Type.Callable t = ((Decl.Function)d).getType();
			kind = "function";
			rest = d.getQualifiedName().toString() + t.getParameter() + "->" + t.getReturn();
		} else if(d instanceof Decl.Method) {
			Decl.Method m = (Decl.Method) d;
			Type.Method t = m.getType();
			// FIXME: this needs to be improved!
			kind = "method";
			rest = m.getQualifiedName() + toMethodParametersString(m.getTemplate()) + t.getParameter() + "->" + t.getReturn();

		} else if(d instanceof Decl.Type) {
			kind = "type";
			rest = ((Decl.Type)d).getQualifiedName().toString();
		} else {
			throw new RuntimeException("unknown declaration encountered: " + d);
		}
		// Remove all whitespace
		rest = rest.replace(" ", "_");
		//
		return kind + " " + rest;
	}

	private static String toNameString(Decl.Named<?> d, Tuple<Type> parameters) {
		String name = toNameString(d);