First cut of a stateful testing framework (it's pretty hacky at the moment, but all the pieces are there)

1 files changed, 23 insertions, 0 deletions

diff --git a/src/main/java/au/id/zancanaro/javacheck/statem/Command.java b/src/main/java/au/id/zancanaro/javacheck/statem/Command.java
new file mode 100644
index 0000000..a741f0a
--- /dev/null
+++ b/src/main/java/au/id/zancanaro/javacheck/statem/Command.java
@@ -0,0 +1,23 @@
+package au.id.zancanaro.javacheck.statem;
+
+import au.id.zancanaro.javacheck.Generator;
+
+public abstract class Command<State,Args,Result> {
+    public Generator<Args> argsGenerator(State state) {
+        return Generator.pure(null);
+    }
+
+    public boolean preCondition(State state, Args args) {
+        return true;
+    }
+
+    public abstract Result runCommand(Args args);
+
+    public State nextState(State state, Args args, CommandValue<Result> result) {
+        return state;
+    }
+
+    public boolean postCondition(State oldState, State newState, Args args, Result result) {
+        return true;
+    }
+}