Class For

src/main/java/wyil/lang/WyilFile.java:2148–2187

Represents a for statement made up of variable initialisers and a block of statements referred to as the body . The following illustrates: function sum(int[] xs) -> int: int r = 0 for i in 0..|xs|: r = r + xs[i] return r @author David J. Pearce

		 *
		 */
		public static class For extends AbstractItem implements Loop {
			public For(Decl.StaticVariable var, Tuple<Expr> invariant, Tuple<Decl.Variable> modified, Stmt.Block trueBranch) {
				super(STMT_for, var, invariant, modified, trueBranch);
			}

			@Override
			public Syntactic.Item clone(Syntactic.Item[] operands) {
				return new For((Decl.StaticVariable) operands[0], (Tuple<Expr>) operands[1], (Tuple<Decl.Variable>) operands[2], (Stmt.Block) operands[2]);
			}

			public Decl.StaticVariable getVariable() {
				return (Decl.StaticVariable) operands[0];
			}

			@Override
			public Tuple<Expr> getInvariant() {
				return (Tuple<Expr>) operands[1];
			}

			@Override
			public Tuple<Decl.Variable> getModified() {
				return (Tuple<Decl.Variable>)operands[2];
			}

			public void setModified(Tuple<Decl.Variable> modified) {
				operands[2] = modified;
			}

			@Override
			public Stmt.Block getBody() {
				return (Stmt.Block) operands[3];
			}

			public static final Descriptor DESCRIPTOR_0 = new Descriptor(Operands.FOUR, Data.ZERO, "STMT_for") {
				@Override
				public Syntactic.Item construct(int opcode, Syntactic.Item[] operands, byte[] data) {
					return new For((Decl.StaticVariable) operands[0], (Tuple<Expr>) operands[1], (Tuple<Decl.Variable>) operands[2], (Stmt.Block) operands[2]);
				}
			};
		}

		/**
		 * <p>