Class Nominal

src/main/java/wyil/lang/WyilFile.java:6013–6142

Represents a nominal type, which is of the form: NominalType ::= Identifier ('.' Identifier) A nominal type specifies the name of a type defined elsewhere. In some cases, this type can be expanded (or "inlined"). However, visibility modifiers can prevent this and, thus, give rise to

		 * @return
		 */
		public static class Nominal extends AbstractItem implements Type, Linkable {

			public Nominal(Decl.Link<Decl.Type> name, WyilFile.Tuple<Type> parameters) {
				super(TYPE_nominal, name, parameters);
				if(parameters != null) {
					for(Type t : parameters) {
						if(t == null) {
							throw new IllegalArgumentException("invalid parameter types");
						}
					}
				}
			}

			@Override
			public int shape() {
				// NOTE: Don't believe we need to use the concrete type here as shape is not
				// affected by substitution.
				return getLink().getTarget().getType().shape();
			}

			@Override
			public Type dimension(int nth) {
				if(shape() == 1) {
					// In the special case we have unit shape, then return ourself. This gives
					// better error messages by retaining the nominal name.
					return this;
				} else {
					// NOTE: Don't believe we need to use the concrete type here as shape is not
					// affected by substitution.
					return getLink().getTarget().getType().dimension(nth);
				}
			}

			public boolean isAlias() {
				return getLink().getTarget().getInvariant().size() == 0;
			}

			@Override
			public boolean isWriteable() {
				return getConcreteType().isWriteable();
			}

			@Override
			public boolean isReadable() {
				return getConcreteType().isReadable();
			}

			@Override
			public Decl.Link<Decl.Type> getLink() {
				return (Decl.Link<Decl.Type>) get(0);
			}

			public WyilFile.Tuple<Type> getParameters() {
				return (WyilFile.Tuple<Type>) get(1);
			}

			@Override
			public <T extends Type> T as(Class<T> kind) {