Module puffin::protocol

Traits

• AsAny
• EvaluatedTerm
  EvaluatedTerm: have both Codec and a way to extract knowledge out of a Message/OpaqueMessage or any type that might be used in a precomputation
• Extractable
  Fill knowledges with new knowledge gathered form the type implementing EvaluatedTerm by recursively calling extract_knowledge on all contained element Knowledges can be extracted from using extract_knowledge
• OpaqueProtocolMessage
  A non-structured version of ProtocolMessage. This can be used for example for encrypted messages which do not have a structure.
• OpaqueProtocolMessageFlight
  Store a flight of opaque messages, a vec of all the messages sent by the PUT between two steps
• ProtocolBehavior
  Defines the protocol which is being tested.
• ProtocolMessage
  A structured message. This type defines how all possible messages of a protocol. Usually this is implemented using an enum.
• ProtocolMessageDeframer
  Deframes a stream of bytes into distinct OpaqueProtocolMessages.
• ProtocolMessageFlight
  Store a message flight, a vec of all the messages sent by the PUT between two steps
• ProtocolTypes
  Defines the types used to manipulate and concretize Terms