1 files changed, 26 insertions, 0 deletions

diff --git a/eiffel-fragen/replaceability/test.e b/eiffel-fragen/replaceability/test.e
new file mode 100644
index 0000000..09a0821
--- /dev/null
+++ b/eiffel-fragen/replaceability/test.e
@@ -0,0 +1,26 @@
+class
+        TEST
+
+create
+        run
+
+feature {NONE} -- Initialization
+
+        run
+                local
+                        base: BASE
+                        derived: DERIVED
+                        derived2: DERIVED2
+                        ret: INTEGER
+                do
+                        create base
+                        create derived
+                        create derived2
+
+                        ret := derived.add10(100) -- works
+                        --ret := derived2.add10(100) -- fails due to stronger preconditions
+
+                        --ret := derived.add10(10) -- fails due to precondition
+                        ret := derived2.add10(10) -- works due to weaker preconditions
+                end
+end