eiffel-fragen/replaceability/base.e


1
2
3
4
5
6
7
8
9
10
11
12
13

class
	BASE

feature
	add10(num: INTEGER): INTEGER
		require
			base_always_false: false -- always false
		do
			RESULT := num + 10
		ensure
			base_always_true: true
		end
end