Class Method

src/main/java/wyil/lang/WyilFile.java:989–1029

Represents a method declaration in a Whiley source file. For example: method m(int x) -> (int y) // Parameter must be positive requires x > 0 // Return must be negative ensures $ < 0: // body return -x Here, a method m is defined which accepts only posi

		 *
		 */
		public static class Method extends FunctionOrMethod {

			public Method(Tuple<Modifier> modifiers, Identifier name, Tuple<Template.Variable> template,
					Tuple<Decl.Variable> parameters, Tuple<Decl.Variable> returns, Tuple<Expr> requires,
					Tuple<Expr> ensures, Stmt.Block body) {
				super(DECL_method, modifiers, name, template, parameters, returns, requires, ensures, body);
			}

			@Override
			public WyilFile.Type.Method getType() {
				// FIXME: This just feels wrong as we are throwing away other template
				// variables. The issue is that callable types do not declare template variables
				// as they are compiled away.
				return new WyilFile.Type.Method(project(getParameters()), project(getReturns()));
			}

			@SuppressWarnings("unchecked")
			@Override
			public Method clone(Syntactic.Item[] operands) {
				return new Method((Tuple<Modifier>) operands[0], (Identifier) operands[1],
						(Tuple<Template.Variable>) operands[2], (Tuple<Decl.Variable>) operands[3],
						(Tuple<Decl.Variable>) operands[4], (Tuple<Expr>) operands[5], (Tuple<Expr>) operands[6],
						(Stmt.Block) operands[7]);
			}

			@Override
			public String toString() {
				return "method " + getName() + " : " + getType();
			}

			public static final Descriptor DESCRIPTOR_0 = new Descriptor(Operands.EIGHT, Data.ZERO, "DECL_method") {
				@SuppressWarnings("unchecked")
				@Override
				public Syntactic.Item construct(int opcode, Syntactic.Item[] operands, byte[] data) {
					return new Method((Tuple<Modifier>) operands[0], (Identifier) operands[1],
							(Tuple<Template.Variable>) operands[2], (Tuple<Decl.Variable>) operands[3],
							(Tuple<Decl.Variable>) operands[4], (Tuple<Expr>) operands[5], (Tuple<Expr>) operands[6],
							(Stmt.Block) operands[7]);
				}
			};
		}

		/**
		 * <p>