Class Recursive

src/main/java/wyil/lang/WyilFile.java:6667–6724

Represents a recursive link. That is a backlink into the type itself. @return

		 * @return
		 */
		public static class Recursive extends AbstractType implements Type {

			public Recursive(Ref<Type> reference) {
				super(TYPE_recursive, reference);
			}

			@Override
			public boolean isWriteable() {
				return false;
			}

			@Override
			public boolean isReadable() {
				return false;
			}

			public Type getHead() {
				Ref<Type> r = (Ref<Type>) get(0);
				return r.get();
			}

			public void setHead(Ref<Type> ref) {
				operands[0] = ref;
			}

			@Override
			public Recursive substitute(java.util.function.Function<Object, Syntactic.Item> binding) {
				return this;
			}

			@Override
			public Recursive clone(Syntactic.Item[] operands) {
				return new Recursive((Ref<Type>) operands[0]);
			}

			@Override
			public String toString() {
				Type head = getHead();
				if (head instanceof Type.Atom || head instanceof Type.Nominal) {
					return "?" + head;
				} else if (head.getHeap() != null) {
					return "?" + head.getIndex();
				} else {
					return "?";
				}
			}

			@Override
			public String toCanonicalString() {
				throw new UnsupportedOperationException();
			}
			public static final Descriptor DESCRIPTOR_0 = new Descriptor(Operands.ONE, Data.ZERO, "TYPE_recursive") {
				@Override
				public Syntactic.Item construct(int opcode, Syntactic.Item[] operands, byte[] data) {
					return new Recursive((Ref<Type>) operands[0]);
				}
			};
		}