pl.edu.agh.age.util.fsm

Class State<S extends java.lang.Enum<S>,E extends java.lang.Enum<E>>

java.lang.Object

pl.edu.agh.age.util.fsm.State<S,E>

Type Parameters:

S - type of states in the state machine

E - type of events in the state machine

final class State<S extends java.lang.Enum<S>,E extends java.lang.Enum<E>>
extends java.lang.Object

A state within a state machine.

Field Summary

Fields

Modifier and Type	Field and Description
private S	name
private io.vavr.collection.Seq<S>	targetStates
private boolean	terminal
private io.vavr.collection.Map<E,Transition<S,E>>	transitions

Constructor Summary

Constructors

Constructor and Description
State(S name, boolean terminal, io.vavr.collection.Map<E,Transition<S,E>> transitions)

Method Summary

Modifier and Type	Method and Description
boolean	is(S other)
boolean	isNextState(S other)
boolean	isTerminal()
S	name()
java.lang.String	toString()
io.vavr.control.Option<Transition<S,E>>	transitionForEvent(E event)
io.vavr.collection.Seq<Transition<S,E>>	transitions()

Methods inherited from class java.lang.Object

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

Field Detail

name

private final S extends java.lang.Enum<S> name

terminal

private final boolean terminal

transitions

private final io.vavr.collection.Map<E extends java.lang.Enum<E>,Transition<S extends java.lang.Enum<S>,E extends java.lang.Enum<E>>> transitions

targetStates

private final io.vavr.collection.Seq<S extends java.lang.Enum<S>> targetStates

Constructor Detail

State

State(S name,
      boolean terminal,
      io.vavr.collection.Map<E,Transition<S,E>> transitions)

Method Detail

name

public S name()

transitionForEvent

public io.vavr.control.Option<Transition<S,E>> transitionForEvent(E event)

transitions

public io.vavr.collection.Seq<Transition<S,E>> transitions()

isTerminal

public boolean isTerminal()

is

public boolean is(S other)

isNextState

public boolean isNextState(S other)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object