This commit was manufactured by cvs2svn to create tag 'buildscript'.

[IRC.git] / Robust / src / Benchmarks / BankApp / BankDatabase.java

diff --git a/Robust/src/Benchmarks/BankApp/BankDatabase.java b/Robust/src/Benchmarks/BankApp/BankDatabase.java
deleted file mode 100644 (file)
index 9b4ff94..0000000
--- a/Robust/src/Benchmarks/BankApp/BankDatabase.java
+++ /dev/null
@@ -1,107 +0,0 @@
-public class BankDatabase\r
-{\r
-       flag DatabaseInit;\r
-\r
-       BankAccount[] database;\r
-       int numOfAccounts;\r
-       \r
-       public BankDatabase()\r
-       {\r
-               //6 pre-created accounts\r
-               numOfAccounts = 6;\r
-               \r
-               //10 account limit\r
-               database = new BankAccount[10];\r
-               \r
-               for(int i = 0; i < 10; i++)\r
-               {\r
-                       database[i] = new BankAccount();\r
-               }\r
-               \r
-               //some hardcoded values\r
-               database[0].modifyAccount("123456789", "John@@@@@@", "Q@@@@@@@@@", "Public@@@@", "1", "256000001@", "2007");\r
-               database[1].modifyAccount("987654321", "Nancy@@@@@", "H@@@@@@@@@", "Private@@@", "2", "166@@@@@@@", "1234");\r
-               database[2].modifyAccount("000111000", "Paul@@@@@@", "Wellington", "Franks@@@@", "1", "454225@@@@", "0000");\r
-               database[3].modifyAccount("211411911", "Felix@@@@@", "the@@@@@@@", "Cat@@@@@@@", "3", "0@@@@@@@@@", "9999");\r
-               database[4].modifyAccount("111000111", "Paul@@@@@@", "Wellington", "Franks@@@@", "2", "1128989@@@", "0000");\r
-               //empty\r
-               database[5].modifyAccount("@@@@@@@@@", "@@@@@@@@@@", "@@@@@@@@@@", "@@@@@@@@@@", "@", "@@@@@@@@@@", "@@@@");\r
-               database[6].modifyAccount("@@@@@@@@@", "@@@@@@@@@@", "@@@@@@@@@@", "@@@@@@@@@@", "@", "@@@@@@@@@@", "@@@@");\r
-               database[7].modifyAccount("@@@@@@@@@", "@@@@@@@@@@", "@@@@@@@@@@", "@@@@@@@@@@", "@", "@@@@@@@@@@", "@@@@");\r
-               database[8].modifyAccount("@@@@@@@@@", "@@@@@@@@@@", "@@@@@@@@@@", "@@@@@@@@@@", "@", "@@@@@@@@@@", "@@@@");\r
-               database[9].modifyAccount("@@@@@@@@@", "@@@@@@@@@@", "@@@@@@@@@@", "@@@@@@@@@@", "@", "@@@@@@@@@@", "@@@@");\r
-               \r
-               //test read into database[5]\r
-               ReadFile(5);\r
-               \r
-               //test write from database[5]\r
-               WriteFile(database[5].AccountNumber, database[5].FirstName, database[5].MiddleName, database[5].LastName, database[5].AccountType, database[5].Balance, database[5].PIN);\r
-       }\r
-       \r
-       /* what, no destructor?\r
-       public ~BankDatabase()\r
-       {\r
-               //test write from database[5]           \r
-       }*/\r
-       \r
-       public void ReadFile(int index) \r
-       {\r
-               //need to check if read/write works the way I think it does\r
-               String filename="BankAppRead.dat";\r
-               FileInputStream fis = new FileInputStream(filename);\r
-               \r
-               byte account[] = new byte[9];\r
-               byte first[] = new byte[10];\r
-               byte middle[] = new byte[10];\r
-               byte last[] = new byte[10];\r
-               byte type[] = new byte[1];\r
-               byte balance[] = new byte[10];\r
-               byte pin[] = new byte[4];\r
-               \r
-               //read one account for now\r
-               fis.read(account);\r
-               fis.read(first);\r
-               fis.read(middle);\r
-               fis.read(last);\r
-               fis.read(type);\r
-               fis.read(balance);\r
-               fis.read(pin);\r
-               \r
-               fis.close();\r
-               \r
-               String S1 = new String(account);\r
-               //System.printString(S1);\r
-               String S2 = new String(first);\r
-               //System.printString(S2);\r
-               String S3 = new String(middle);\r
-               //System.printString(S3);\r
-               String S4 = new String(last);\r
-               //System.printString(S4);\r
-               String S5 = new String(type);\r
-               //System.printString(S5);\r
-               String S6 = new String(balance);\r
-               //System.printString(S6);\r
-               String S7 = new String(pin);\r
-               //System.printString(S7);\r
-               \r
-               //read into one account for now\r
-               database[index].modifyAccount(S1, S2, S3, S4, S5, S6, S7);\r
-    }\r
-       \r
-       public void WriteFile(String account, String first, String middle, String last, String type, String balance, String pin) \r
-       {\r
-               String filename="BankAppWrite.dat";\r
-               FileOutputStream fos = new FileOutputStream(filename);\r
-               \r
-               //write one account for now\r
-               fos.write(account.getBytes());\r
-               fos.write(first.getBytes());\r
-               fos.write(middle.getBytes());\r
-               fos.write(last.getBytes());\r
-               fos.write(type.getBytes());\r
-               fos.write(balance.getBytes());\r
-               fos.write(pin.getBytes());\r
-                       \r
-               fos.close();\r
-    }\r
-}\r