gesamt LVA-Testfaelle
authorMartin Perner <martin@perner.cc>
Wed, 19 May 2010 20:30:09 +0000 (22:30 +0200)
committerMartin Perner <martin@perner.cc>
Wed, 19 May 2010 20:30:09 +0000 (22:30 +0200)
85 files changed:
gesamt/codea_abgabe_a.0 [new file with mode: 0644]
gesamt/codea_abgabe_a.call [new file with mode: 0644]
gesamt/codea_abgabe_a.instr [new file with mode: 0644]
gesamt/codea_abgabe_aa.0 [new file with mode: 0644]
gesamt/codea_abgabe_aa.call [new file with mode: 0644]
gesamt/codea_abgabe_aa.instr [new file with mode: 0644]
gesamt/codea_abgabe_ab.0 [new file with mode: 0644]
gesamt/codea_abgabe_ab.call [new file with mode: 0644]
gesamt/codea_abgabe_ab.instr [new file with mode: 0644]
gesamt/codea_abgabe_ac.0 [new file with mode: 0644]
gesamt/codea_abgabe_ac.call [new file with mode: 0644]
gesamt/codea_abgabe_ac.instr [new file with mode: 0644]
gesamt/codea_abgabe_ad.0 [new file with mode: 0644]
gesamt/codea_abgabe_ad.call [new file with mode: 0644]
gesamt/codea_abgabe_ad.instr [new file with mode: 0644]
gesamt/codea_abgabe_ae.0 [new file with mode: 0644]
gesamt/codea_abgabe_ae.call [new file with mode: 0644]
gesamt/codea_abgabe_ae.instr [new file with mode: 0644]
gesamt/codea_abgabe_af.0 [new file with mode: 0644]
gesamt/codea_abgabe_af.call [new file with mode: 0644]
gesamt/codea_abgabe_af.instr [new file with mode: 0644]
gesamt/codea_abgabe_ag.0 [new file with mode: 0644]
gesamt/codea_abgabe_ag.call [new file with mode: 0644]
gesamt/codea_abgabe_ag.instr [new file with mode: 0644]
gesamt/codea_abgabe_ah.0 [new file with mode: 0644]
gesamt/codea_abgabe_ah.call [new file with mode: 0644]
gesamt/codea_abgabe_ah.instr [new file with mode: 0644]
gesamt/codea_abgabe_ai.0 [new file with mode: 0644]
gesamt/codea_abgabe_ai.call [new file with mode: 0644]
gesamt/codea_abgabe_ai.instr [new file with mode: 0644]
gesamt/codea_abgabe_aj.0 [new file with mode: 0644]
gesamt/codea_abgabe_aj.call [new file with mode: 0644]
gesamt/codea_abgabe_aj.instr [new file with mode: 0644]
gesamt/codea_abgabe_ak.0 [new file with mode: 0644]
gesamt/codea_abgabe_ak.call [new file with mode: 0644]
gesamt/codea_abgabe_ak.instr [new file with mode: 0644]
gesamt/codea_abgabe_al.0 [new file with mode: 0644]
gesamt/codea_abgabe_al.call [new file with mode: 0644]
gesamt/codea_abgabe_al.instr [new file with mode: 0644]
gesamt/codea_abgabe_am.0 [new file with mode: 0644]
gesamt/codea_abgabe_am.call [new file with mode: 0644]
gesamt/codea_abgabe_am.instr [new file with mode: 0644]
gesamt/codea_abgabe_an.0 [new file with mode: 0644]
gesamt/codea_abgabe_an.call [new file with mode: 0644]
gesamt/codea_abgabe_an.instr [new file with mode: 0644]
gesamt/codea_abgabe_ao.0 [new file with mode: 0644]
gesamt/codea_abgabe_ao.call [new file with mode: 0644]
gesamt/codea_abgabe_ao.instr [new file with mode: 0644]
gesamt/codea_abgabe_ap.0 [new file with mode: 0644]
gesamt/codea_abgabe_ap.call [new file with mode: 0644]
gesamt/codea_abgabe_ap.instr [new file with mode: 0644]
gesamt/codea_abgabe_aq.0 [new file with mode: 0644]
gesamt/codea_abgabe_aq.call [new file with mode: 0644]
gesamt/codea_abgabe_aq.instr [new file with mode: 0644]
gesamt/codea_abgabe_ar.0 [new file with mode: 0644]
gesamt/codea_abgabe_ar.call [new file with mode: 0644]
gesamt/codea_abgabe_ar.instr [new file with mode: 0644]
gesamt/codea_abgabe_as.0 [new file with mode: 0644]
gesamt/codea_abgabe_as.call [new file with mode: 0644]
gesamt/codea_abgabe_as.instr [new file with mode: 0644]
gesamt/codea_abgabe_x0.1 [new file with mode: 0644]
gesamt/codea_abgabe_x1.1 [new file with mode: 0644]
gesamt/codea_abgabe_x2.1 [new file with mode: 0644]
gesamt/codea_abgabe_x3.1 [new file with mode: 0644]
gesamt/codea_abgabe_y0.2 [new file with mode: 0644]
gesamt/codea_abgabe_y1.2 [new file with mode: 0644]
gesamt/codea_abgabe_y2.2 [new file with mode: 0644]
gesamt/codea_abgabe_y3.2 [new file with mode: 0644]
gesamt/codea_abgabe_y4.2 [new file with mode: 0644]
gesamt/codea_abgabe_y5.2 [new file with mode: 0644]
gesamt/codea_abgabe_y6.2 [new file with mode: 0644]
gesamt/codea_abgabe_y7.2 [new file with mode: 0644]
gesamt/codea_abgabe_y8.2 [new file with mode: 0644]
gesamt/codea_abgabe_y9.2 [new file with mode: 0644]
gesamt/codea_abgabe_z0.3 [new file with mode: 0644]
gesamt/codea_abgabe_za.3 [new file with mode: 0644]
gesamt/codea_abgabe_zb.3 [new file with mode: 0644]
gesamt/codea_abgabe_zc.3 [new file with mode: 0644]
gesamt/codea_abgabe_zd.3 [new file with mode: 0644]
gesamt/codea_abgabe_ze.3 [new file with mode: 0644]
gesamt/codea_abgabe_zf.3 [new file with mode: 0644]
gesamt/codea_abgabe_zg.3 [new file with mode: 0644]
gesamt/codea_abgabe_zh.3 [new file with mode: 0644]
gesamt/codea_abgabe_zi.3 [new file with mode: 0644]
gesamt/codea_abgabe_zj.3 [new file with mode: 0644]

diff --git a/gesamt/codea_abgabe_a.0 b/gesamt/codea_abgabe_a.0
new file mode 100644 (file)
index 0000000..8c3fc2a
--- /dev/null
@@ -0,0 +1,3 @@
+method m(x)
+  return x-this;
+end;
diff --git a/gesamt/codea_abgabe_a.call b/gesamt/codea_abgabe_a.call
new file mode 100644 (file)
index 0000000..dfe2827
--- /dev/null
@@ -0,0 +1,2 @@
+extern long m(long,long);
+RET(m(2,5)==3 && m(7,2)==-5);
diff --git a/gesamt/codea_abgabe_a.instr b/gesamt/codea_abgabe_a.instr
new file mode 100644 (file)
index 0000000..1e8b314
--- /dev/null
@@ -0,0 +1 @@
+6
diff --git a/gesamt/codea_abgabe_aa.0 b/gesamt/codea_abgabe_aa.0
new file mode 100644 (file)
index 0000000..3ef30f4
--- /dev/null
@@ -0,0 +1,3 @@
+method m()
+  return this;
+end;
diff --git a/gesamt/codea_abgabe_aa.call b/gesamt/codea_abgabe_aa.call
new file mode 100644 (file)
index 0000000..84b8a6d
--- /dev/null
@@ -0,0 +1,2 @@
+extern long m(long);
+RET(m(5)==5 && m(9)==9);
diff --git a/gesamt/codea_abgabe_aa.instr b/gesamt/codea_abgabe_aa.instr
new file mode 100644 (file)
index 0000000..b8626c4
--- /dev/null
@@ -0,0 +1 @@
+4
diff --git a/gesamt/codea_abgabe_ab.0 b/gesamt/codea_abgabe_ab.0
new file mode 100644 (file)
index 0000000..930c6b4
--- /dev/null
@@ -0,0 +1,3 @@
+method m(x y z)
+  return z;
+end;
diff --git a/gesamt/codea_abgabe_ab.call b/gesamt/codea_abgabe_ab.call
new file mode 100644 (file)
index 0000000..73ec7db
--- /dev/null
@@ -0,0 +1,2 @@
+extern long m(long,long,long,long);
+RET(m(1,2,3,5)==5 && m(3,2,1,9)==9);
diff --git a/gesamt/codea_abgabe_ab.instr b/gesamt/codea_abgabe_ab.instr
new file mode 100644 (file)
index 0000000..b8626c4
--- /dev/null
@@ -0,0 +1 @@
+4
diff --git a/gesamt/codea_abgabe_ac.0 b/gesamt/codea_abgabe_ac.0
new file mode 100644 (file)
index 0000000..245811f
--- /dev/null
@@ -0,0 +1,3 @@
+method m(x)
+  return not this;
+end;
diff --git a/gesamt/codea_abgabe_ac.call b/gesamt/codea_abgabe_ac.call
new file mode 100644 (file)
index 0000000..3a00483
--- /dev/null
@@ -0,0 +1,2 @@
+extern long m(long,long);
+RET(m(0,12)==1 && m(9,13)==0);
diff --git a/gesamt/codea_abgabe_ac.instr b/gesamt/codea_abgabe_ac.instr
new file mode 100644 (file)
index 0000000..45a4fb7
--- /dev/null
@@ -0,0 +1 @@
+8
diff --git a/gesamt/codea_abgabe_ad.0 b/gesamt/codea_abgabe_ad.0
new file mode 100644 (file)
index 0000000..dd86b6e
--- /dev/null
@@ -0,0 +1,3 @@
+method m(x)
+  return -5;
+end;
diff --git a/gesamt/codea_abgabe_ad.call b/gesamt/codea_abgabe_ad.call
new file mode 100644 (file)
index 0000000..e341dfc
--- /dev/null
@@ -0,0 +1,2 @@
+extern long m(long,long);
+RET(m(0,12)==-5 && m(9,13)==-5);
diff --git a/gesamt/codea_abgabe_ad.instr b/gesamt/codea_abgabe_ad.instr
new file mode 100644 (file)
index 0000000..b8626c4
--- /dev/null
@@ -0,0 +1 @@
+4
diff --git a/gesamt/codea_abgabe_ae.0 b/gesamt/codea_abgabe_ae.0
new file mode 100644 (file)
index 0000000..380147c
--- /dev/null
@@ -0,0 +1,3 @@
+method m(x)
+  return x--3;
+end;
diff --git a/gesamt/codea_abgabe_ae.call b/gesamt/codea_abgabe_ae.call
new file mode 100644 (file)
index 0000000..248ce1c
--- /dev/null
@@ -0,0 +1,2 @@
+extern long m(long,long);
+RET(m(0,12)==15 && m(9,13)==16);
diff --git a/gesamt/codea_abgabe_ae.instr b/gesamt/codea_abgabe_ae.instr
new file mode 100644 (file)
index 0000000..b8626c4
--- /dev/null
@@ -0,0 +1 @@
+4
diff --git a/gesamt/codea_abgabe_af.0 b/gesamt/codea_abgabe_af.0
new file mode 100644 (file)
index 0000000..500f66a
--- /dev/null
@@ -0,0 +1,3 @@
+method m(x)
+  return x*this*x*this;
+end;
diff --git a/gesamt/codea_abgabe_af.call b/gesamt/codea_abgabe_af.call
new file mode 100644 (file)
index 0000000..94f6da0
--- /dev/null
@@ -0,0 +1,2 @@
+extern long m(long,long);
+RET(m(2,3)==36 && m(5,-7)==35*35);
diff --git a/gesamt/codea_abgabe_af.instr b/gesamt/codea_abgabe_af.instr
new file mode 100644 (file)
index 0000000..f599e28
--- /dev/null
@@ -0,0 +1 @@
+10
diff --git a/gesamt/codea_abgabe_ag.0 b/gesamt/codea_abgabe_ag.0
new file mode 100644 (file)
index 0000000..3d524dd
--- /dev/null
@@ -0,0 +1,3 @@
+method m(x)
+  return this or x;
+end;
diff --git a/gesamt/codea_abgabe_ag.call b/gesamt/codea_abgabe_ag.call
new file mode 100644 (file)
index 0000000..85b9ba2
--- /dev/null
@@ -0,0 +1,2 @@
+extern long m(long,long);
+RET(m(3,9)==11 && m(6,13)==15);
diff --git a/gesamt/codea_abgabe_ag.instr b/gesamt/codea_abgabe_ag.instr
new file mode 100644 (file)
index 0000000..1e8b314
--- /dev/null
@@ -0,0 +1 @@
+6
diff --git a/gesamt/codea_abgabe_ah.0 b/gesamt/codea_abgabe_ah.0
new file mode 100644 (file)
index 0000000..970e37c
--- /dev/null
@@ -0,0 +1,3 @@
+method m(x)
+  return x<this;
+end;
diff --git a/gesamt/codea_abgabe_ah.call b/gesamt/codea_abgabe_ah.call
new file mode 100644 (file)
index 0000000..4698fe9
--- /dev/null
@@ -0,0 +1,2 @@
+extern long m(long,long);
+RET(m(3,3)==0 && m(3,2)==1 && m(2,3)==0);
diff --git a/gesamt/codea_abgabe_ah.instr b/gesamt/codea_abgabe_ah.instr
new file mode 100644 (file)
index 0000000..48082f7
--- /dev/null
@@ -0,0 +1 @@
+12
diff --git a/gesamt/codea_abgabe_ai.0 b/gesamt/codea_abgabe_ai.0
new file mode 100644 (file)
index 0000000..1fc75db
--- /dev/null
@@ -0,0 +1,3 @@
+method m(x)
+  return -4<x;
+end;
diff --git a/gesamt/codea_abgabe_ai.call b/gesamt/codea_abgabe_ai.call
new file mode 100644 (file)
index 0000000..08f6d30
--- /dev/null
@@ -0,0 +1,2 @@
+extern long m(long,long);
+RET(m(0,-4)==0 && m(9,-3)==1);
diff --git a/gesamt/codea_abgabe_ai.instr b/gesamt/codea_abgabe_ai.instr
new file mode 100644 (file)
index 0000000..45a4fb7
--- /dev/null
@@ -0,0 +1 @@
+8
diff --git a/gesamt/codea_abgabe_aj.0 b/gesamt/codea_abgabe_aj.0
new file mode 100644 (file)
index 0000000..6d89eca
--- /dev/null
@@ -0,0 +1,3 @@
+method m(x)
+  return this<-9;
+end;
diff --git a/gesamt/codea_abgabe_aj.call b/gesamt/codea_abgabe_aj.call
new file mode 100644 (file)
index 0000000..f0e4c7b
--- /dev/null
@@ -0,0 +1,2 @@
+extern long m(long,long);
+RET(m(-9,12)==0 && m(-10,13)==1);
diff --git a/gesamt/codea_abgabe_aj.instr b/gesamt/codea_abgabe_aj.instr
new file mode 100644 (file)
index 0000000..45a4fb7
--- /dev/null
@@ -0,0 +1 @@
+8
diff --git a/gesamt/codea_abgabe_ak.0 b/gesamt/codea_abgabe_ak.0
new file mode 100644 (file)
index 0000000..e28cfcd
--- /dev/null
@@ -0,0 +1,3 @@
+method m(x)
+  return 3=x;
+end;
diff --git a/gesamt/codea_abgabe_ak.call b/gesamt/codea_abgabe_ak.call
new file mode 100644 (file)
index 0000000..471bd6a
--- /dev/null
@@ -0,0 +1,2 @@
+extern long m(long,long);
+RET(m(0,3)==1 && m(9,13)==0);
diff --git a/gesamt/codea_abgabe_ak.instr b/gesamt/codea_abgabe_ak.instr
new file mode 100644 (file)
index 0000000..1e8b314
--- /dev/null
@@ -0,0 +1 @@
+6
diff --git a/gesamt/codea_abgabe_al.0 b/gesamt/codea_abgabe_al.0
new file mode 100644 (file)
index 0000000..950703a
--- /dev/null
@@ -0,0 +1,6 @@
+struct a b c end;
+struct d e f end;
+
+method m(x)
+  return e;
+end;
diff --git a/gesamt/codea_abgabe_al.call b/gesamt/codea_abgabe_al.call
new file mode 100644 (file)
index 0000000..d1c4997
--- /dev/null
@@ -0,0 +1,3 @@
+long s[]={12,23,34,45,53,61};
+extern long m(long *,long);
+RET(m(s,12)==23 && m(s+3,13)==53);
diff --git a/gesamt/codea_abgabe_al.instr b/gesamt/codea_abgabe_al.instr
new file mode 100644 (file)
index 0000000..b8626c4
--- /dev/null
@@ -0,0 +1 @@
+4
diff --git a/gesamt/codea_abgabe_am.0 b/gesamt/codea_abgabe_am.0
new file mode 100644 (file)
index 0000000..786ebbe
--- /dev/null
@@ -0,0 +1,6 @@
+struct a b c end;
+struct d e f end;
+
+method m(x)
+  return x.c.d;
+end;
diff --git a/gesamt/codea_abgabe_am.call b/gesamt/codea_abgabe_am.call
new file mode 100644 (file)
index 0000000..29212fc
--- /dev/null
@@ -0,0 +1,4 @@
+long s[]={12,23,34,45,53,61};
+long *t[]={s,s+2,s+1,s+3};
+extern long m(long,long **);
+RET(m(1,t)==23 && m(9,t+1)==45);
diff --git a/gesamt/codea_abgabe_am.instr b/gesamt/codea_abgabe_am.instr
new file mode 100644 (file)
index 0000000..1e8b314
--- /dev/null
@@ -0,0 +1 @@
+6
diff --git a/gesamt/codea_abgabe_an.0 b/gesamt/codea_abgabe_an.0
new file mode 100644 (file)
index 0000000..e1e8850
--- /dev/null
@@ -0,0 +1,3 @@
+method m(x)
+  return not((not this) or (not x));
+end;
diff --git a/gesamt/codea_abgabe_an.call b/gesamt/codea_abgabe_an.call
new file mode 100644 (file)
index 0000000..4399cdd
--- /dev/null
@@ -0,0 +1,2 @@
+extern long m(long,long);
+RET(m(10,6)==1 && m(0,13)==0 && m(-3,0)==0);
diff --git a/gesamt/codea_abgabe_an.instr b/gesamt/codea_abgabe_an.instr
new file mode 100644 (file)
index 0000000..64bb6b7
--- /dev/null
@@ -0,0 +1 @@
+30
diff --git a/gesamt/codea_abgabe_ao.0 b/gesamt/codea_abgabe_ao.0
new file mode 100644 (file)
index 0000000..f003ce5
--- /dev/null
@@ -0,0 +1,3 @@
+method m(x)
+  return x-(0-this);
+end;
diff --git a/gesamt/codea_abgabe_ao.call b/gesamt/codea_abgabe_ao.call
new file mode 100644 (file)
index 0000000..42a7da4
--- /dev/null
@@ -0,0 +1,2 @@
+extern long m(long,long);
+RET(m(3,4)==7 && m(-3,5)==2);
diff --git a/gesamt/codea_abgabe_ao.instr b/gesamt/codea_abgabe_ao.instr
new file mode 100644 (file)
index 0000000..1e8b314
--- /dev/null
@@ -0,0 +1 @@
+6
diff --git a/gesamt/codea_abgabe_ap.0 b/gesamt/codea_abgabe_ap.0
new file mode 100644 (file)
index 0000000..bdee923
--- /dev/null
@@ -0,0 +1,3 @@
+method m(x)
+  return 5 or x or 9;
+end;
diff --git a/gesamt/codea_abgabe_ap.call b/gesamt/codea_abgabe_ap.call
new file mode 100644 (file)
index 0000000..bb07853
--- /dev/null
@@ -0,0 +1,2 @@
+extern long m(long,long);
+RET(m(3,6)==15 && m(-3,5)==13);
diff --git a/gesamt/codea_abgabe_ap.instr b/gesamt/codea_abgabe_ap.instr
new file mode 100644 (file)
index 0000000..45a4fb7
--- /dev/null
@@ -0,0 +1 @@
+8
diff --git a/gesamt/codea_abgabe_aq.0 b/gesamt/codea_abgabe_aq.0
new file mode 100644 (file)
index 0000000..6f10108
--- /dev/null
@@ -0,0 +1,5 @@
+struct a b c end;
+
+method m(x)
+  return (this-8).c;
+end;
diff --git a/gesamt/codea_abgabe_aq.call b/gesamt/codea_abgabe_aq.call
new file mode 100644 (file)
index 0000000..bbbc716
--- /dev/null
@@ -0,0 +1,3 @@
+long s[]={12,23,34,45,53,61};
+extern long m(long *,long);
+RET(m(s,12)==23 && m(s+2,13)==45);
diff --git a/gesamt/codea_abgabe_aq.instr b/gesamt/codea_abgabe_aq.instr
new file mode 100644 (file)
index 0000000..1e8b314
--- /dev/null
@@ -0,0 +1 @@
+6
diff --git a/gesamt/codea_abgabe_ar.0 b/gesamt/codea_abgabe_ar.0
new file mode 100644 (file)
index 0000000..a474c48
--- /dev/null
@@ -0,0 +1,7 @@
+method m(x y)
+  return y;
+end;
+
+method n(y x)
+  return y;
+end;
diff --git a/gesamt/codea_abgabe_ar.call b/gesamt/codea_abgabe_ar.call
new file mode 100644 (file)
index 0000000..793d7a1
--- /dev/null
@@ -0,0 +1,3 @@
+extern long m(long,long,long);
+extern long n(long,long,long);
+RET(m(1,2,3)==3 && n(4,5,6)==5);
diff --git a/gesamt/codea_abgabe_ar.instr b/gesamt/codea_abgabe_ar.instr
new file mode 100644 (file)
index 0000000..b8626c4
--- /dev/null
@@ -0,0 +1 @@
+4
diff --git a/gesamt/codea_abgabe_as.0 b/gesamt/codea_abgabe_as.0
new file mode 100644 (file)
index 0000000..785163c
--- /dev/null
@@ -0,0 +1,5 @@
+struct x end;
+
+method m(x)
+  return x;
+end;
diff --git a/gesamt/codea_abgabe_as.call b/gesamt/codea_abgabe_as.call
new file mode 100644 (file)
index 0000000..eca460b
--- /dev/null
@@ -0,0 +1,3 @@
+long s[]={12,23,34,45,53,61};
+extern long m(long *,long);
+RET(m(s,78)==78 && m(s+2,13)==13);
diff --git a/gesamt/codea_abgabe_as.instr b/gesamt/codea_abgabe_as.instr
new file mode 100644 (file)
index 0000000..b8626c4
--- /dev/null
@@ -0,0 +1 @@
+4
diff --git a/gesamt/codea_abgabe_x0.1 b/gesamt/codea_abgabe_x0.1
new file mode 100644 (file)
index 0000000..397db75
--- /dev/null
@@ -0,0 +1 @@
+:
diff --git a/gesamt/codea_abgabe_x1.1 b/gesamt/codea_abgabe_x1.1
new file mode 100644 (file)
index 0000000..314d73b
--- /dev/null
@@ -0,0 +1 @@
+%
diff --git a/gesamt/codea_abgabe_x2.1 b/gesamt/codea_abgabe_x2.1
new file mode 100644 (file)
index 0000000..e931977
--- /dev/null
@@ -0,0 +1 @@
+/* unvollendet
diff --git a/gesamt/codea_abgabe_x3.1 b/gesamt/codea_abgabe_x3.1
new file mode 100644 (file)
index 0000000..5242dd2
--- /dev/null
@@ -0,0 +1 @@
+: =
diff --git a/gesamt/codea_abgabe_y0.2 b/gesamt/codea_abgabe_y0.2
new file mode 100644 (file)
index 0000000..1a59e1e
--- /dev/null
@@ -0,0 +1,2 @@
+method foo(x,y)
+end;
diff --git a/gesamt/codea_abgabe_y1.2 b/gesamt/codea_abgabe_y1.2
new file mode 100644 (file)
index 0000000..47588a5
--- /dev/null
@@ -0,0 +1,3 @@
+method x()
+  this:=x;
+end;
diff --git a/gesamt/codea_abgabe_y2.2 b/gesamt/codea_abgabe_y2.2
new file mode 100644 (file)
index 0000000..2d17a51
--- /dev/null
@@ -0,0 +1,3 @@
+method x()
+  x:=x-x*x;
+end;
diff --git a/gesamt/codea_abgabe_y3.2 b/gesamt/codea_abgabe_y3.2
new file mode 100644 (file)
index 0000000..9055bd9
--- /dev/null
@@ -0,0 +1,4 @@
+method x()
+  if x<x or x=x then
+  end;
+end;
diff --git a/gesamt/codea_abgabe_y4.2 b/gesamt/codea_abgabe_y4.2
new file mode 100644 (file)
index 0000000..f557d66
--- /dev/null
@@ -0,0 +1,3 @@
+method x()
+  x := x < x < x;
+end;
diff --git a/gesamt/codea_abgabe_y5.2 b/gesamt/codea_abgabe_y5.2
new file mode 100644 (file)
index 0000000..e310325
--- /dev/null
@@ -0,0 +1,3 @@
+method x()
+  x:=x(,x);
+end;
diff --git a/gesamt/codea_abgabe_y6.2 b/gesamt/codea_abgabe_y6.2
new file mode 100644 (file)
index 0000000..aeefe39
--- /dev/null
@@ -0,0 +1,3 @@
+method x()
+  var x.x:=x;
+end;
diff --git a/gesamt/codea_abgabe_y7.2 b/gesamt/codea_abgabe_y7.2
new file mode 100644 (file)
index 0000000..90dc0fc
--- /dev/null
@@ -0,0 +1,3 @@
+method x()
+  ;
+end;
diff --git a/gesamt/codea_abgabe_y8.2 b/gesamt/codea_abgabe_y8.2
new file mode 100644 (file)
index 0000000..81fc2fd
--- /dev/null
@@ -0,0 +1,3 @@
+method x()
+  x(x,,);
+end;
diff --git a/gesamt/codea_abgabe_y9.2 b/gesamt/codea_abgabe_y9.2
new file mode 100644 (file)
index 0000000..4860d8f
--- /dev/null
@@ -0,0 +1,3 @@
+method x()
+  x.this = x;
+end;
diff --git a/gesamt/codea_abgabe_z0.3 b/gesamt/codea_abgabe_z0.3
new file mode 100644 (file)
index 0000000..fd683e3
--- /dev/null
@@ -0,0 +1,3 @@
+method m()
+  return x;
+end;
diff --git a/gesamt/codea_abgabe_za.3 b/gesamt/codea_abgabe_za.3
new file mode 100644 (file)
index 0000000..2c63ceb
--- /dev/null
@@ -0,0 +1,2 @@
+method m(x x)
+end;
diff --git a/gesamt/codea_abgabe_zb.3 b/gesamt/codea_abgabe_zb.3
new file mode 100644 (file)
index 0000000..89447ea
--- /dev/null
@@ -0,0 +1,5 @@
+method m(x)
+  if x then
+    var x:=0;
+  end;
+end;
diff --git a/gesamt/codea_abgabe_zc.3 b/gesamt/codea_abgabe_zc.3
new file mode 100644 (file)
index 0000000..62b6d5c
--- /dev/null
@@ -0,0 +1,10 @@
+method m()
+  while this do
+    var x:=this;
+    if this then
+    else
+      var x:=this;
+    end;
+  end;
+end;
+
diff --git a/gesamt/codea_abgabe_zd.3 b/gesamt/codea_abgabe_zd.3
new file mode 100644 (file)
index 0000000..0a7b327
--- /dev/null
@@ -0,0 +1,4 @@
+struct
+  a
+  a
+end;
diff --git a/gesamt/codea_abgabe_ze.3 b/gesamt/codea_abgabe_ze.3
new file mode 100644 (file)
index 0000000..5a33a8b
--- /dev/null
@@ -0,0 +1,7 @@
+struct
+  a
+end;
+
+struct
+  a
+end;
diff --git a/gesamt/codea_abgabe_zf.3 b/gesamt/codea_abgabe_zf.3
new file mode 100644 (file)
index 0000000..b98f794
--- /dev/null
@@ -0,0 +1,7 @@
+method m()
+  if this then
+    var x:=this;
+  else
+    return x;
+  end;
+end;
diff --git a/gesamt/codea_abgabe_zg.3 b/gesamt/codea_abgabe_zg.3
new file mode 100644 (file)
index 0000000..16c09e1
--- /dev/null
@@ -0,0 +1,4 @@
+method m()
+  x:=this;
+  var x:=0;
+end;
diff --git a/gesamt/codea_abgabe_zh.3 b/gesamt/codea_abgabe_zh.3
new file mode 100644 (file)
index 0000000..d5109fc
--- /dev/null
@@ -0,0 +1,7 @@
+method m()
+  a:=this;
+end;
+
+struct
+  a
+end;
diff --git a/gesamt/codea_abgabe_zi.3 b/gesamt/codea_abgabe_zi.3
new file mode 100644 (file)
index 0000000..e78de1a
--- /dev/null
@@ -0,0 +1,3 @@
+method m()
+  var x:=x;
+end;
diff --git a/gesamt/codea_abgabe_zj.3 b/gesamt/codea_abgabe_zj.3
new file mode 100644 (file)
index 0000000..1ce58c2
--- /dev/null
@@ -0,0 +1,3 @@
+method m(x)
+  return this.x;
+end;