summaryrefslogtreecommitdiff
path: root/src/main/java/au/id/zancanaro/javacheck/statem/Command.java
diff options
context:
space:
mode:
Diffstat (limited to 'src/main/java/au/id/zancanaro/javacheck/statem/Command.java')
-rw-r--r--src/main/java/au/id/zancanaro/javacheck/statem/Command.java23
1 files changed, 0 insertions, 23 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
deleted file mode 100644
index a741f0a..0000000
--- a/src/main/java/au/id/zancanaro/javacheck/statem/Command.java
+++ /dev/null
@@ -1,23 +0,0 @@
-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;
- }
-}