forgot file

diff --git a/Robust/src/Benchmarks/Distributed/SpamFilter/FilterStatistic.java b/Robust/src/Benchmarks/Distributed/SpamFilter/FilterStatistic.java
new file mode 100644 (file)
index 0000000..0a920c9
--- /dev/null
+++ b/Robust/src/Benchmarks/Distributed/SpamFilter/FilterStatistic.java
@@ -0,0 +1,66 @@
+public class FilterStatistic {
+       int unknown;
+       int spam;
+       int ham;
+
+       // -------------------------------------------------------
+       
+       public FilterStatistic() {
+      this(0,0,0);
+       }
+
+       public FilterStatistic(int spam, int ham, int unknown) {
+               this.spam = spam;
+               this.ham = ham;
+               this.unknown = unknown;
+       }
+
+       public int getChecked() {
+      //TODO Change this formula
+               return getSpam() + getHam() + getUnknown();
+       }
+
+       public int getHam() {
+               return ham;
+       }
+
+       public int getSpam() {
+               return spam;
+       }
+
+       public String getName() {
+               return name;
+       }
+
+       public void setHam(int i) {
+               ham = i;
+       }
+
+       public void setSpam(int i) {
+               spam = i;
+       }
+
+       public int getUnknown() {
+               return unknown;
+       }
+
+       public void setUnknown(int u) {
+               unknown = u;
+       }
+
+       public void increaseSpam() {
+               setSpam(getSpam() + 1);
+       }
+
+       public void increaseHam() {
+               setHam(getHam() + 1);
+       }
+
+       public void increaseUnknown() {
+               setUnknown(getUnknown() + 1);
+       }
+
+       public void setName(String name) {
+               this.name = name;
+       }
+}