State<E,Integer,Integer>
SimpleState
TxtState
public interface State<E> extends State<E,Integer,Integer>
begin, begin, commit, next, rollback, status, trap