Class Transition
- java.lang.Object
-
- org.pgpainless.decryption_verification.syntax_check.Transition
-
public class Transition extends java.lang.Object
Result of applying a transition rule. Transition rules can be described by implementing theSyntax
interface.
-
-
Constructor Summary
Constructors Constructor Description Transition(State newState, StackSymbol... pushedItems)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description State
getNewState()
Return the newState
that is reached by applying the transition.java.util.List<StackSymbol>
getPushedItems()
Return a list ofStackSymbols
that are pushed onto the stack by applying the transition.
-
-
-
Constructor Detail
-
Transition
public Transition(@Nonnull State newState, @Nonnull StackSymbol... pushedItems)
-
-
Method Detail
-
getNewState
@Nonnull public State getNewState()
Return the newState
that is reached by applying the transition.- Returns:
- new state
-
getPushedItems
@Nonnull public java.util.List<StackSymbol> 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
-
-