Class Transition
java.lang.Object
org.pgpainless.decryption_verification.syntax_check.Transition
Result of applying a transition rule.
Transition rules can be described by implementing the
Syntax
interface.-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionReturn the newState
that is reached by applying the transition.Return a list ofStackSymbols
that are pushed onto the stack by applying the transition.
-
Constructor Details
-
Transition
-
-
Method Details
-
getNewState
Return the newState
that is reached by applying the transition.- Returns:
- new state
-
getPushedItems
Return a list ofStackSymbols
that are pushed onto the stack by applying the transition. The list contains items in the order in which they are pushed onto the stack. The list may be empty.- Returns:
- list of items to be pushed onto the stack
-