'Bounded Retransmission Protocol' Blob

1 files changed, 48 insertions, 0 deletions

diff --git a/assignments/assignment2/Bounded Retransmission Protocol Tester/Source/basiclearner/NonDeterminismCheckingSUL.java b/assignments/assignment2/Bounded Retransmission Protocol Tester/Source/basiclearner/NonDeterminismCheckingSUL.java
new file mode 100644
index 0000000..d4ea603
--- /dev/null
+++ b/assignments/assignment2/Bounded Retransmission Protocol Tester/Source/basiclearner/NonDeterminismCheckingSUL.java
@@ -0,0 +1,48 @@
+package basiclearner;
+
+import java.util.ArrayList;
+import java.util.List;
+
+import de.learnlib.api.SUL;
+import de.learnlib.api.SULException;
+
+/**
+ * SUL-wrapper to check for non-determinism, by use of an observation tree.
+ * 
+ * @author Ramon Janssen
+ *
+ * @param <I>
+ * @param <O>
+ */
+public class NonDeterminismCheckingSUL<I,O> implements SUL<I,O> {
+	private final SUL<I,O> sul;
+	private final ObservationTree<I,O> root = new ObservationTree<I,O>();
+	private final List<I> inputs = new ArrayList<>();
+	private final List<O> outputs = new ArrayList<>();
+	
+	public NonDeterminismCheckingSUL(SUL<I,O> sul) {
+		this.sul = sul;
+	}
+
+	@Override
+	public void post() {
+		sul.post();
+		// check for non-determinism: crashes if outputs are inconsistent with previous ones
+		root.addObservation(inputs, outputs);
+		inputs.clear();
+		outputs.clear();
+	}
+
+	@Override
+	public void pre() {
+		sul.pre();
+	}
+
+	@Override
+	public O step(I input) throws SULException {
+		O result = sul.step(input);
+		inputs.add(input);
+		outputs.add(result);
+		return result;
+	}
+}