Add PacketInvariant interface

Signed-off-by: Matthias Beyer <mail@beyermatthias.de>

1 files changed, 13 insertions, 0 deletions

diff --git a/mqtt-tester/src/packet_invariant.rs b/mqtt-tester/src/packet_invariant.rs
new file mode 100644
index 0000000..ad2a3bc
--- /dev/null
+++ b/mqtt-tester/src/packet_invariant.rs
@@ -0,0 +1,13 @@
+//
+//   This Source Code Form is subject to the terms of the Mozilla Public
+//   License, v. 2.0. If a copy of the MPL was not distributed with this
+//   file, You can obtain one at http://mozilla.org/MPL/2.0/.
+//
+
+use mqtt_format::v3::packet::MPacket;
+
+use crate::report::Report;
+
+pub trait PacketInvariant {
+    fn test_invariant(&self, packet: &MPacket<'_>) -> miette::Result<Report>;
+}