Class Selector

src/main/java/wyil/lang/WyilFile.java:6733–6922

A type selector provides a form of refinement for a give type. More specifically, it determines which type tags are active for a given type. @author David J. Pearce

		 *
		 */
		public static class Selector {
			/**
			 * Indicates that the given element is not selected.
			 */
			public static final Selector BOTTOM = new Selector() {
				@Override
				public String toString(Type t) {
					return "...";
				}
				@Override
				public String toString() {
					return "_";
				}
				@Override
				public Type apply(Type source) {
					return Type.Void;
				}
			};
			/**
			 * Indicates that the given element is selected entirely.
			 */
			public static final Selector TOP = new Selector() {
				@Override
				public String toString(Type t) {
					return t.toString();
				}
				@Override
				public Type apply(Type source) {
					return source;
				}
				@Override
				public String toString() {
					return "*";
				}
			};

			private final Selector[] children;

			public Selector(Selector... nodes) {
				this.children = nodes;
			}

			public int size() {
				return children.length;
			}

			public Selector get(int ith) {
				return children[ith];
			}

			@Override
			public String toString() {
				String r = "";
				for(int i=0;i!=children.length;++i) {
					if(i != 0) { r += ","; }
					r += children[i].toString();
				}
				return "(" + r + ")";