Assert that events in turn, except possibly the last one, are not tim…

…e advancement
konrad-jamrozik · Jul 6, 2024 · 11fcfdc · 11fcfdc
1 parent 9fc01eb
commit 11fcfdc
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/src/game-lib/Events/GameEventType.cs b/src/game-lib/Events/GameEventType.cs
@@ -25,6 +25,8 @@ public class GameEventType
 
     public static bool IsValidPlayerActionEvent(string type) => PlayerActionName.IsValid(type);
 
+    public bool IsNotTimeAdvancement => ToString() != nameof(AdvanceTimePlayerAction);
+
     public GameEventType(string type)
     {
         Contract.Assert(IsValidWorldEventType(type) || IsValidPlayerActionEvent(type));

diff --git a/src/game-lib/State/GameSessionTurn.cs b/src/game-lib/State/GameSessionTurn.cs
@@ -55,9 +55,9 @@ public void AssertInvariants()
             "Number of events in turn must match the number of updates between the game states.");
 
         Contract.Assert(EventsUntilStartState.Last().Type.ToString() == GameEventType.ReportEvent);
+        Contract.Assert(EventsInTurn.SkipLast(1).All(@event => @event.Type.IsNotTimeAdvancement));
         IdGen.AssertConsecutiveIds(GameEvents.ToList());
-        // kja all events in turn except the last one must be not AdvanceTime player action
-        // Contract.Assert(EventsInTurn.SkipLast(1).All(@event => @event.Type == "a"))
+
         StartState.AssertInvariants();
         EndState.AssertInvariants();
     }