while (!state.isFinal()) { Pair<State, Runnable> todo = Map<State, Pair<State, Runnable>){{...}}.get(state); todo.y().run(); state = todo.x(); }
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasuretimeasmymeasure
no subject
Date: 2008-07-29 05:40 pm (UTC)while (!state.isFinal()) { Pair<State, Runnable> todo = Map<State, Pair<State, Runnable>){{...}}.get(state); todo.y().run(); state = todo.x(); }