Package org.pgpainless.decryption_verification.syntax_check

Pushdown Automaton to verify validity of packet sequences according to the OpenPGP Message format.

Interface Summary

Interface	Description
Syntax	This interface can be used to define a custom syntax for the PDA.

Class Summary

Class	Description
OpenPgpMessageSyntax	This class describes the syntax for OpenPGP messages as specified by rfc4880.
PDA	Pushdown Automaton for validating context-free languages.
Transition	Result of applying a transition rule.

Enum Summary

Enum	Description
InputSymbol
StackSymbol
State	Set of states of the automaton.