From 20b1226b4eb10e85497862bd73fe9e9a2f05191d Mon Sep 17 00:00:00 2001
From: Carlo Zancanaro <carlo@zancanaro.id.au>
Date: Fri, 5 Jun 2015 14:51:03 +1000
Subject: First cut of a stateful testing framework (it's pretty hacky at the
 moment, but all the pieces are there)

---
 .../javacheck/statem/GeneratedCommand.java         | 56 ++++++++++++++++++++++
 1 file changed, 56 insertions(+)
 create mode 100644 src/main/java/au/id/zancanaro/javacheck/statem/GeneratedCommand.java

(limited to 'src/main/java/au/id/zancanaro/javacheck/statem/GeneratedCommand.java')

diff --git a/src/main/java/au/id/zancanaro/javacheck/statem/GeneratedCommand.java b/src/main/java/au/id/zancanaro/javacheck/statem/GeneratedCommand.java
new file mode 100644
index 0000000..5e576b4
--- /dev/null
+++ b/src/main/java/au/id/zancanaro/javacheck/statem/GeneratedCommand.java
@@ -0,0 +1,56 @@
+package au.id.zancanaro.javacheck.statem;
+
+public class GeneratedCommand<State, Args, Result> {
+    private final int id;
+    private final Command<State, Args, Result> command;
+    private final Args args;
+
+    public GeneratedCommand(int id, Command<State, Args, Result> command, Args args) {
+        this.id = id;
+        this.command = command;
+        this.args = args;
+    }
+
+    public int getId() {
+        return id;
+    }
+
+    public Command<State, Args, Result> getCommand() {
+        return command;
+    }
+
+    public Args getArgs() {
+        return args;
+    }
+
+    @Override
+    public boolean equals(Object o) {
+        if (this == o) return true;
+        if (o == null || getClass() != o.getClass()) return false;
+
+        GeneratedCommand that = (GeneratedCommand) o;
+
+        if (args != null ? !args.equals(that.args) : that.args != null)
+            return false;
+        if (command != null ? !command.equals(that.command) : that.command != null)
+            return false;
+
+        return true;
+    }
+
+    @Override
+    public int hashCode() {
+        int result = command != null ? command.hashCode() : 0;
+        result = 31 * result + (args != null ? args.hashCode() : 0);
+        return result;
+    }
+
+    @Override
+    public String toString() {
+        return "GeneratedCommand{" +
+                "id=" + id +
+                ", command=" + command +
+                ", args=" + args +
+                '}';
+    }
+}
-- 
cgit v1.2.3