Class Binding

src/main/java/wyil/lang/WyilFile.java:1537–1602

Represents a binding between a Linkable item and the corresponding declaration. @author David J. Pearce @param

		 * @param <T>
		 */
		public static class Binding<S extends WyilFile.Type, T extends Decl.Named<S>> extends AbstractItem {
			private S concreteType;

			public Binding(Link<T> link, Tuple<WyilFile.Type> arguments) {
				super(DECL_binding, link, arguments);
			}

			@SuppressWarnings("unchecked")
			public Link<T> getLink() {
				return (Link<T>) get(0);
			}

			public S getConcreteType() {
				if(concreteType == null) {
					T decl = getLink().getTarget();
					S type = decl.getType();
					//
					// Substitute type parameters
					if(type instanceof WyilFile.Type.Callable) {
						concreteType = (S) WyilFile.substituteTypeCallable((WyilFile.Type.Callable) type, decl.getTemplate(),
								getArguments());
					} else {
						concreteType = (S) type.substitute(bindingFunction(decl.getTemplate(), getArguments()));
					}
				}
				return concreteType;
			}

			public T getDeclaration() {
				return getLink().getTarget();
			}

			/**
			 * Get the provided template arguments.
			 *
			 * @return
			 */
			public Tuple<WyilFile.Type> getArguments() {
				return (Tuple<WyilFile.Type>) get(1);
			}

			public void setArguments(Tuple<WyilFile.Type> arguments) {
				operands[1] = getHeap().allocate(arguments);
				concreteType = null;
			}

			@Override
			public Syntactic.Item clone(Syntactic.Item[] operands) {
				return new Binding((Link) operands[0], (Tuple<Type>) operands[1]);
			}

			@Override
			public String toString() {
				Identifier name = getDeclaration().getName();
				String arguments = getArguments().toBareString();
				return name + "<" + arguments + ">";
			}