Class OpenPgpMessageSyntax
- java.lang.Object
-
- org.pgpainless.decryption_verification.syntax_check.OpenPgpMessageSyntax
-
-
Constructor Summary
Constructors Constructor Description OpenPgpMessageSyntax()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description Transition
transition(State from, InputSymbol input, StackSymbol stackItem)
Describe a transition rule fromState
-
-
-
Method Detail
-
transition
@Nonnull public Transition transition(@Nonnull State from, @Nonnull InputSymbol input, @Nullable StackSymbol stackItem) throws MalformedOpenPgpMessageException
Description copied from interface:Syntax
Describe a transition rule fromState
from
forInputSymbol
input
withStackSymbol
stackItem
from the top of thePDAs
stack. The resultingTransition
contains the newState
, as well as a list ofStackSymbols
that get pushed onto the stack by the transition rule. If there is no applicable rule, aMalformedOpenPgpMessageException
is thrown, since in this case theInputSymbol
must be considered illegal.- Specified by:
transition
in 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)
-
-