public class EiffelStyleLoop
extends Object
implements NullaryProcedure

Supports an Eiffel style loop construct.

 new EiffelStyleLoop()
   .from(new NullaryProcedure() { public void run() {} }) // init code
   .invariant(new NullaryPredicate() { public boolean test() {} }) // invariants
   .variant(new NullaryProcedure() { public Object evaluate() {} }) // diminishing comparable value
   // or
   // .variant(new NullaryPredicate() { public boolean test() {} }) // more invariants
   .until(new NullaryPredicate() { public boolean test() {} }) // terminating condition
   .loop(new NullaryProcedure() { 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.