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 e2af01042c825712d82977ade321414459fa0d8f..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;
@@ -151,27 +151,29 @@ public class LinkedList {
     return o;
   }
 
-  public void remove(Object o) {
+  public boolean remove(Object o) {
     if( head == null ) {
-      System.out.println("LinkedList: illegal remove( Object o )");
-      System.exit(-1);
+//      System.out.println("LinkedList: illegal remove( Object o )");
+//      System.exit(-1);
+      return false;
     }
     LinkedListElement e = head;
-    while( e != null ) {
-      if( e.element == o ) {
-       if( e.prev != null ) {
-         e.prev.next = e.next;
-       }
-       if( e.next != null ) {
-         e.next.prev = e.prev;
-       }
-       size--;
-       return;
+    while (e != null) {
+      if (e.element == o) {
+        if (e.prev != null) {
+          e.prev.next = e.next;
+        }
+        if (e.next != null) {
+          e.next.prev = e.prev;
+        }
+        size--;
+        return true;
       }
       e = e.next;
     }
-    System.out.println("LinkedList: illegal remove( Object o ), "+o+" not found");
-    System.exit(-1);
+//    System.out.println("LinkedList: illegal remove( Object o ), "+o+" not found");
+//    System.exit(-1);
+    return false;
   }
 
   public Object pop() {