Package crypto.typestate
Class WrappedState
- java.lang.Object
-
- crypto.typestate.WrappedState
-
- All Implemented Interfaces:
typestate.finiteautomata.State
public class WrappedState extends Object implements typestate.finiteautomata.State
-
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description StateNodedelegate()booleanequals(Object obj)inthashCode()booleanisAccepting()booleanisErrorState()booleanisInitialState()static WrappedStateof(StateNode delegate)static WrappedStateof(StateNode delegate, boolean initialState)StringtoString()
-
-
-
Method Detail
-
of
public static WrappedState of(StateNode delegate, boolean initialState)
-
of
public static WrappedState of(StateNode delegate)
-
delegate
public StateNode delegate()
-
isErrorState
public boolean isErrorState()
- Specified by:
isErrorStatein interfacetypestate.finiteautomata.State
-
isAccepting
public boolean isAccepting()
- Specified by:
isAcceptingin interfacetypestate.finiteautomata.State
-
isInitialState
public boolean isInitialState()
- Specified by:
isInitialStatein interfacetypestate.finiteautomata.State
-
-