public class EiffelStyleLoop
extends Object
implements Procedure

Supports an Eiffel style loop construct.

 new EiffelStyleLoop()
   .from(new Procedure() { public void run() {} }) // init code
   .invariant(new Predicate() { public boolean test() {} }) // invariants
   .variant(new Procedure() { public Object evaluate() {} }) // diminishing comparable value
   // or
   // .variant(new Predicate() { public boolean test() {} }) // more invariants
   .until(new Predicate() { public boolean test() {} }) // terminating condition
   .loop(new Procedure() { public void run() {} }) // the acutal loop
   .run();
 

Note that new EiffelStyleLoop().run() executes just fine. You only need to set the parts of the loop you want to use.