Class Function

src/main/java/wyil/lang/WyilFile.java:918–955

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

		 *
		 */
		public static class Function extends FunctionOrMethod {

			public Function(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_function, modifiers, name, template, parameters, returns, requires, ensures, body);
			}

			@Override
			public WyilFile.Type.Function getType() {
				return new WyilFile.Type.Function(project(getParameters()),project(getReturns()));
			}

			@Override
			@SuppressWarnings("unchecked")
			public Function clone(Syntactic.Item[] operands) {
				return new Function((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 "function " + getName() + " : " + getType();
			}

			public static final Descriptor DESCRIPTOR_0 = new Descriptor(Operands.EIGHT, Data.ZERO, "DECL_function") {
				@SuppressWarnings("unchecked")
				@Override
				public Syntactic.Item construct(int opcode, Syntactic.Item[] operands, byte[] data) {
					return new Function((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>