testfaelle fuer gesamt bsp

[testub10.git] / gesamt / intelli_02.0

diff --git a/gesamt/intelli_02.0 b/gesamt/intelli_02.0
new file mode 100644 (file)
index 0000000..d1d9c86
--- /dev/null
+++ b/gesamt/intelli_02.0
@@ -0,0 +1,12 @@
+method m()
+       var x:= (this - 10).a(10, 5);
+       /*return x;*/
+       var z:= x - a(x, this);
+       /*return z;*/
+       return (x * z) - this;
+end;
+
+method a(x y)
+       var u := this - x - y;
+       return u * 2;
+end;
\ No newline at end of file