Class While

src/main/java/wyil/lang/WyilFile.java:2493–2538

Represents a while statement made up a condition and a block of statements referred to as the body . The following illustrates: function sum([int] xs) -> int: int r = 0 int i = 0 while i < |xs| where i >= 0: r = r + xs[i] i = i + 1 return r The optio

		 *
		 */
		public static class While extends AbstractItem implements Loop {
			public While(Expr condition, Tuple<Expr> invariant, Tuple<Decl.Variable> modified, Stmt.Block body) {
				super(STMT_while, condition, invariant, modified, body);
			}

			public Expr getCondition() {
				return (Expr) super.get(0);
			}

			@Override
			@SuppressWarnings("unchecked")
			public Tuple<Expr> getInvariant() {
				return (Tuple<Expr>) super.get(1);
			}

			@Override
			@SuppressWarnings("unchecked")
			public Tuple<Decl.Variable> getModified() {
				return (Tuple<Decl.Variable>) super.get(2);
			}

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

			@Override
			public Stmt.Block getBody() {
				return (Stmt.Block) super.get(3);
			}

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

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

	/**