feat: ability to make assertions against state

Closes: #6

Author: nergal-perm

src/main/java/ru/ewc/checklogic/Computation.java

@@ -26,11 +26,13 @@
 
 import java.io.InputStream;
 import java.net.URI;
+import java.util.HashMap;
 import java.util.Map;
 import java.util.function.Function;
 import java.util.stream.Collectors;
 import org.yaml.snakeyaml.Yaml;
 import ru.ewc.commands.CommandsFacade;
+import ru.ewc.decisions.api.ComputationContext;
 import ru.ewc.decisions.api.DecitaException;
 import ru.ewc.decisions.api.DecitaFacade;
 import ru.ewc.decisions.api.Locator;
@@ -108,6 +110,20 @@ public void perform(final Transition command) {
         this.commands.perform(command.name(), this.state.mergedWith(command.request()));
     }
 
+    public boolean hasStateFor(String table) {
+        return this.state.hasLocator(table);
+    }
+
+    public Map<String, String> stateFor(String table, Map<String, String> state) {
+        final Locator locator = this.state.locatorFor(table);
+        final ComputationContext context = new ComputationContext(this.state);
+        Map<String, String> actual = new HashMap<>(state.size());
+        for (String s : state.keySet()) {
+            actual.put(s, locator.fragmentBy(s, context));
+        }
+        return actual;
+    }
+
     /**
      * Loads the state from the specified {@code InputStream}.
      *

src/main/java/ru/ewc/checklogic/LogicChecker.java

@@ -103,10 +103,17 @@ static void testPerformingFileBasedTest(final TestData test, final SoftAssertion
                 target.perform(command);
             }
             for (final String table : test.expectations.keySet()) {
-                softly
-                    .assertThat(target.decideFor(table))
-                    .describedAs(String.format("Table '%s'", table))
-                    .isEqualTo(test.expectations.get(table));
+                if (target.hasStateFor(table)) {
+                    softly
+                        .assertThat(target.stateFor(table, test.expectations.get(table)))
+                        .describedAs(String.format("State for entity '%s'", table))
+                        .containsExactlyInAnyOrderEntriesOf(test.expectations.get(table));
+                } else {
+                    softly
+                        .assertThat(target.decideFor(table))
+                        .describedAs(String.format("Table '%s'", table))
+                        .isEqualTo(test.expectations.get(table));
+                }
             }
             softly.assertAll();
             LOGGER.info("Running test for %s... done".formatted(test.toString()));

src/test/resources/tic-tac-toe/states/01-first-X-move.yaml

@@ -20,4 +20,9 @@ commands:
 ---
 game_state:
   is_over: "false"
-  winner: "none"
+  winner: "none"
+cells:
+  A1: "X"
+table:
+  nextPlayer: "X"
+  currentPlayer: "O"