Package org.pgpainless.decryption_verification.syntax_check

Class PDA

java.lang.Object

org.pgpainless.decryption_verification.syntax_check.PDA

public class PDA
extends java.lang.Object

Constructor Summary

Constructors

Constructor	Description
PDA()	Default constructor which initializes the PDA to work with the OpenPgpMessageSyntax.
PDA(Syntax syntax, State initialState, StackSymbol... initialStack)

Method Summary

Modifier and Type	Method	Description
void	assertValid()
State	getState()	Return the current state of the PDA.
boolean	isValid()	Return true, if the PDA is in a valid state (the OpenPGP message is valid).
void	next(InputSymbol input)
StackSymbol	peekStack()
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

PDA

public PDA()

Default constructor which initializes the PDA to work with the OpenPgpMessageSyntax.

PDA

public PDA(@Nonnull
           Syntax syntax,
           @Nonnull
           State initialState,
           @Nonnull
           StackSymbol... initialStack)

Method Detail

next

public void next(InputSymbol input)
          throws MalformedOpenPgpMessageException

Throws:

MalformedOpenPgpMessageException

getState

public State getState()

Return the current state of the PDA.

Returns:

state

peekStack

public StackSymbol peekStack()

isValid

public boolean isValid()

Return true, if the PDA is in a valid state (the OpenPGP message is valid).

Returns:

true if valid, false otherwise

assertValid

public void assertValid()
                 throws MalformedOpenPgpMessageException

Throws:

MalformedOpenPgpMessageException

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object