This is an old revision of the document!

Eiffel Syntax

[code eiffel] from

  i := 0
  n := 10

invariant

until

  i >= 10

loop

  i := i + 1

variant

n-i

end [/code]

Software Engineering Documentation