diff options
| author | manuel <manuel@mausz.at> | 2011-06-29 03:01:35 +0200 |
|---|---|---|
| committer | manuel <manuel@mausz.at> | 2011-06-29 03:01:35 +0200 |
| commit | 04c19bc7ccae1ce8e20733c075df5e9d6c448fc4 (patch) | |
| tree | 8957ab770ce6ea7a17d121c829a71eef781833e4 /eiffel-fragen/replaceability/base.e | |
| parent | 28d807be719079971d2af7c3d2b62199f490a7e0 (diff) | |
| download | foop-04c19bc7ccae1ce8e20733c075df5e9d6c448fc4.tar.gz foop-04c19bc7ccae1ce8e20733c075df5e9d6c448fc4.tar.bz2 foop-04c19bc7ccae1ce8e20733c075df5e9d6c448fc4.zip | |
add replaceabality test
Diffstat (limited to 'eiffel-fragen/replaceability/base.e')
| -rw-r--r-- | eiffel-fragen/replaceability/base.e | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/eiffel-fragen/replaceability/base.e b/eiffel-fragen/replaceability/base.e new file mode 100644 index 0000000..61f0eb9 --- /dev/null +++ b/eiffel-fragen/replaceability/base.e | |||
| @@ -0,0 +1,13 @@ | |||
| 1 | class | ||
| 2 | BASE | ||
| 3 | |||
| 4 | feature | ||
| 5 | add10(num: INTEGER): INTEGER | ||
| 6 | require | ||
| 7 | base_always_false: false -- always false | ||
| 8 | do | ||
| 9 | RESULT := num + 10 | ||
| 10 | ensure | ||
| 11 | base_always_true: true | ||
| 12 | end | ||
| 13 | end | ||