User Tools

Site Tools


eiffel:faq:syntax

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
eiffel:faq:syntax [2018/05/17 18:05]
jonathan
eiffel:faq:syntax [2018/05/17 18:06] (current)
jonathan
Line 1: Line 1:
 ====== Eiffel Syntax ====== ====== Eiffel Syntax ======
- 
-[code eiffel] 
-from 
-    i := 0 
-    n := 10 
-invariant 
-    n 
-until 
-    i >= 10 
-loop 
-    i := i + 1 
-variant 
-    n-i 
-end 
-[/code] 
- 
- 
  
   * [[http://​www.eecs.yorku.ca/​~eiffel/​eiffel-guide/​|A Guide to Eiffel Syntax]] ​   * [[http://​www.eecs.yorku.ca/​~eiffel/​eiffel-guide/​|A Guide to Eiffel Syntax]] ​
eiffel/faq/syntax.1526580353.txt.gz · Last modified: 2018/05/17 18:05 by jonathan