/** * Returns the state machine's clock. * * @return The state machine's clock. */ protected Clock getClock() { return getWallClock(); }
/** * Returns the state machine's clock. * * @return The state machine's clock. */ protected Clock getClock() { return getWallClock(); }