Class OpenPgpMessageSyntax
java.lang.Object
org.pgpainless.decryption_verification.syntax_check.OpenPgpMessageSyntax
- All Implemented Interfaces:
Syntax
This class describes the syntax for OpenPGP messages as specified by rfc4880.
- See Also:
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptiontransition(State from, InputSymbol input, StackSymbol stackItem) Describe a transition rule fromState
-
Constructor Details
-
OpenPgpMessageSyntax
public OpenPgpMessageSyntax()
-
-
Method Details
-
transition
@Nonnull public Transition transition(@Nonnull State from, @Nonnull InputSymbol input, @Nullable StackSymbol stackItem) throws MalformedOpenPgpMessageException Description copied from interface:SyntaxDescribe a transition rule fromStatefrom
forInputSymbolinput
withStackSymbolstackItem
from the top of thePDAsstack. The resultingTransitioncontains the newState, as well as a list ofStackSymbolsthat get pushed onto the stack by the transition rule. If there is no applicable rule, aMalformedOpenPgpMessageExceptionis thrown, since in this case theInputSymbolmust be considered illegal.- Specified by:
transitionin interfaceSyntax- Parameters:
from- current state of the PDAinput- input symbolstackItem- item that got popped from the top of the stack- Returns:
- applicable transition rule containing the new state and pushed stack symbols
- Throws:
MalformedOpenPgpMessageException- if there is no applicable transition rule (the input symbol is illegal)
-