Package org.pgpainless.decryption_verification.syntax_check
package org.pgpainless.decryption_verification.syntax_check
Pushdown Automaton to verify validity of packet sequences according to the OpenPGP Message format.
-
ClassDescriptionThis class describes the syntax for OpenPGP messages as specified by rfc4880.Pushdown Automaton for validating context-free languages.Set of states of the automaton.This interface can be used to define a custom syntax for the
PDA
.Result of applying a transition rule.