X-Git-Url: http://plrg.eecs.uci.edu/git/?p=IRC.git;a=blobdiff_plain;f=Robust%2Fsrc%2FBenchmarks%2FWebServerTag%2FInventory.java;fp=Robust%2Fsrc%2FBenchmarks%2FWebServerTag%2FInventory.java;h=0000000000000000000000000000000000000000;hp=74756956310539eea53026cf09aabf1ce6aa7e78;hb=refs%2Ftags%2Fbuildscript;hpb=d10ef53954b37b62a281cc4e79aef7a4be2af98a

diff --git a/Robust/src/Benchmarks/WebServerTag/Inventory.java b/Robust/src/Benchmarks/WebServerTag/Inventory.java
deleted file mode 100644
index 74756956..00000000
--- a/Robust/src/Benchmarks/WebServerTag/Inventory.java
+++ /dev/null
@@ -1,91 +0,0 @@
-public class Inventory {
-    // Inventory flags
-    flag TransInitialize;
-    
-    // Transaction variables
-    int numitems;
-    HashMap map;
-    int balance;
-    
-    // Constructor
-    public Inventory(){
-	map = new HashMap();
-	balance=100000;
-    }
-    
-    public Inventory(int howmany) {
-	numitems = howmany;// howmany keeps track of the number of items 
-	// in the inventory
-	map = new HashMap();
-    }
-    
-    // Add item to a list of inventory
-    public int additem(String name, int quantity, int price){
-	ItemInfo newitem = new ItemInfo(quantity, price);
-	balance-=quantity*price;
-	
-	// Get the item from hash
-	if (map.containsKey(name) == false) {
-	    map.put(name, newitem);
-	} else {
-	    ItemInfo i = (ItemInfo) map.get(name);
-	    i.quantity += quantity;
-	    i.price = price;
-	    map.put(name, i);
-	}
-	return 0;
-    }	
-    
-    // Buy item from a given list of inventory	
-    public int buyitem(String name, int quantity){
-	if (map.containsKey(name) == false) {
-	    //		System.printString("Error - Item does not exist");
-	    return -1;
-	} else {
-	    ItemInfo i = (ItemInfo) map.get(name);
-	    if (i.quantity == 0) {
-		//			System.printString("Error - Item unavailable");
-		return -1;
-	    }
-	    if ((i.quantity-quantity) < 0 ) {
-		//			System.printString("Error - Available qty is less: Cannot Buy\n");
-		return -1;
-	    } else {
-		i.quantity -= quantity;
-		map.put(name, i);
-		balance+=quantity*i.price;
-		return i.price;
-	    }
-	}
-	return 0;
-    }
-
-    //Display the inventory list
-    //Display the inventory list
-    public synchronized void inventory(Socket s){
-        HashMapIterator i = new HashMapIterator(map, 0);// Gets key from the hashmap= name of item
-        HashMapIterator j = new HashMapIterator(map, 1);//Gets the value from hashmap 
-	int totalvalue=balance;
-        while (i.hasNext() == true) {
-            StringBuffer sb = new StringBuffer("");
-            Object o = i.next();
-            String name = o.toString();
-            ItemInfo oo = (ItemInfo) j.next();
-            sb.append(name);
-            sb.append(" ");
-            Integer q = new Integer(oo.quantity);
-            sb.append(q.toString());
-            sb.append(" ");
-            Integer p = new Integer(oo.price);
-            sb.append(p.toString());
-            sb.append("\n");
-            totalvalue+=oo.quantity*oo.price;
-            s.write(sb.toString().getBytes());
-        }
-        StringBuffer sb=new StringBuffer("");
-        sb.append("Total value: ");
-        sb.append((new Integer(totalvalue)).toString());
-        sb.append("\n");
-        s.write(sb.toString().getBytes());
-    }   
-}