User Tools
eiffel:faq:syntax
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
eiffel:faq:syntax [2018/05/17 18:06] 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.1526580370.txt.gz · Last modified: 2018/05/17 18:06 by jonathan
Page Tools
