examples revised

examples/t10.java → examples/example1.txt

+//Tiers can be forced by the programmer using the syntax "type<tier> var;", e.g. "int<0> x;".
+
 class Point {
     int x;
     int y;

examples/t13c.java → examples/example10.txt

+//Tiers can be forced by the programmer using the syntax "type<tier> var;", e.g. "int<0> x;".
+
 class Exe {
     int f(int a, int b) {
         int res = a;

examples/t13d.java → examples/example11.txt

+//Tiers can be forced by the programmer using the syntax "type<tier> var;", e.g. "int<0> x;".
+
 class BList {
     boolean value;
     BList tail;

examples/t14.java → examples/example12.txt

+//Tiers can be forced by the programmer using the syntax "type<tier> var;", e.g. "int<0> x;".
+
 class Point1D {
     int x;
 

examples/t15.java → examples/example13.txt

+//Tiers can be forced by the programmer using the syntax "type<tier> var;", e.g. "int<0> x;".
+
 class List {
     int data;
     List next;

examples/t15b.java → examples/example14.txt

+//Tiers can be forced by the programmer using the syntax "type<tier> var;", e.g. "int<0> x;".
+
 class List {
     int data;
     List next;
@@ -45,9 +47,6 @@ class UList extends List {
         return res;
     }
 
-    //public List getNext() {
-    //    return new List(0, null);
-    //}
 }
 
 class UselessList extends List {

examples/t15c.java → examples/example15.txt

+//Tiers can be forced by the programmer using the syntax "type<tier> var;", e.g. "int<0> x;".
+
 class List {
     int data;
     List next;
@@ -73,7 +75,8 @@ class Exe {
         if(l.getData() > 0) {
             while (true) {}
         }
-        //the sum block types in 1, and it's result is 0 thus it cannot be used inside a conditional
+        //the sum block types in 1, and it's result is 0 thus it cannot be used inside a conditional.
+	//This would break the control flow discipline.
         if(l.sum() > 0) {}
     }
 }
\ No newline at end of file

examples/t16.java → examples/example16.txt

+//Tiers can be forced by the programmer using the syntax "type<tier> var;", e.g. "int<0> x;".
+
 class Exe {
     void add(int a, int b) throws Exception {
         a = a + b;

examples/t17.java → examples/example17.txt

+//Tiers can be forced by the programmer using the syntax "type<tier> var;", e.g. "int<0> x;".
+
 class Node {
     Node left;
     Node right;

examples/t18.java → examples/example18.txt

@@ -11,7 +11,9 @@ class Exe {
             x = x - 1;
             y = y + 1;
         }
-
+	//The #declass tag implements declassification mechanism.
+	//Below a variable y of tier 0 is declassified to tier 1
+	//Hence it can be used in a while loop again.
         #declass
             y;
             x;

examples/t10b.java → examples/example2.txt

+//Tiers can be forced by the programmer using the syntax "type<tier> var;", e.g. "int<0> x;".
+
 class Point {
     int x;
     int y;
@@ -13,8 +15,6 @@ class Point {
     public Point(int x, int y) {
         this.x = x;
         this.y = y;
-
-//        this.getX();
     }
 }
 

examples/t10c.java → examples/example3.txt

+//Tiers can be forced by the programmer using the syntax "type<tier> var;", e.g. "int<0> x;".
+
 class Exe {
     int max(int a, int b) {
         int<0> res = b;

examples/t10d.java → examples/example4.txt

+//Tiers can be forced by the programmer using the syntax "type<tier> var;", e.g. "int<0> x;".
+
 class Exe {
     int x;
 

examples/t10e.java → examples/example5.txt

+//Tiers can be forced by the programmer using the syntax "type<tier> var;", e.g. "int<0> x;".
+
 class Exe {
 
     int sum(int i) {

examples/t11.java → examples/example6.txt

+//Tiers can be forced by the programmer using the syntax "type<tier> var;", e.g. "int<0> x;".
+
 class Exe {
     int max(int a, int b) {
         int<0> res = b;

examples/t12.java → examples/example7.txt

+//Tiers can be forced by the programmer using the syntax "type<tier> var;", e.g. "int<0> x;".
+
 class Ring {
     boolean data;
     Ring next;

examples/t13.java → examples/example8.txt

+//Tiers can be forced by the programmer using the syntax "type<tier> var;", e.g. "int<0> x;".
+
 class BList {
     boolean value;
     BList tail;

examples/t13b.java → examples/example9.txt

+//Tiers can be forced by the programmer using the syntax "type<tier> var;", e.g. "int<0> x;".
+
 class Exe {
     int sum(int i) {
         int res = i;