1 files changed, 40 insertions, 0 deletions
diff --git a/src/main/java/testing/RuleResult.java b/src/main/java/testing/RuleResult.java
new file mode 100644
index 0000000..4414f34
--- /dev/null
+++ b/src/main/java/testing/RuleResult.java
@@ -0,0 +1,40 @@
+package testing;
+
+import java.util.Collections;
+import java.util.List;
+
+/**
+ * Result of applying a verification rule to simulation logs.
+ */
+public class RuleResult {
+    private final boolean passed;
+    private final String message;
+    private final List<LogEntry> relevantLogs;
+    
+    public RuleResult(boolean passed, String message, List<LogEntry> relevantLogs) {
+        this.passed = passed;
+        this.message = message;
+        this.relevantLogs = Collections.unmodifiableList(relevantLogs);
+    }
+    
+    public RuleResult(boolean passed, String message) {
+        this(passed, message, Collections.emptyList());
+    }
+    
+    public boolean isPassed() {
+        return passed;
+    }
+    
+    public String getMessage() {
+        return message;
+    }
+    
+    public List<LogEntry> getRelevantLogs() {
+        return relevantLogs;
+    }
+    
+    @Override
+    public String toString() {
+        return (passed ? "PASS" : "FAIL") + ": " + message;
+    }
+}
+\ No newline at end of file