changes + add two more benchmarks without annotations

[IRC.git] / Robust / src / ClassLibrary / LinkedList.java

diff --git a/Robust/src/ClassLibrary/LinkedList.java b/Robust/src/ClassLibrary/LinkedList.java
index 3fe961411fcea0d9c839cd9dfadb70b04a441a7d..7cd250aca67b9ee70837770846d33cff3976daa5 100644 (file)
--- a/Robust/src/ClassLibrary/LinkedList.java
+++ b/Robust/src/ClassLibrary/LinkedList.java
@@ -21,7 +21,7 @@ public class LinkedList {
     clear();
   }
 
-  public add(Object o) {
+  public void add(Object o) {
     if( tail == null ) {
       head = new LinkedListElement(o, null, null);
       tail = head;
@@ -33,7 +33,7 @@ public class LinkedList {
     size++;
   }
 
-  public addFirst(Object o) {
+  public void addFirst(Object o) {
     if( head == null ) {
       head = new LinkedListElement(o, null, null);
       tail = head;
@@ -45,11 +45,11 @@ public class LinkedList {
     size++;
   }
 
-  public addLast(Object o) {
+  public void addLast(Object o) {
     add(o);
   }
 
-  public clear() {
+  public void clear() {
     head = null;
     tail = null;
     size = 0;
@@ -72,18 +72,18 @@ public class LinkedList {
     LinkedListElement e = head;
     if (o==null) {
       while(e!=null) {
-       if (e.element==null) {
-         return true;
-       }
-       e=e.next;
+        if (e.element==null) {
+          return true;
+        }
+        e=e.next;
       }
       return false;
     } else {
       while( e != null ) {
-       if (o.equals(e.element)) {
-         return true;
-       }
-       e = e.next;
+        if (o.equals(e.element)) {
+          return true;
+        }
+        e = e.next;
       }
     }
     return false;