/** * Returns the state machine's wall clock. * * @return The state machine's wall clock. */ protected WallClock getWallClock() { return context.wallClock(); }
/** * Returns the state machine's wall clock. * * @return The state machine's wall clock. */ protected WallClock getWallClock() { return context.wallClock(); }