void function ( ) { if ( isRedo ( ) ) { cursor = cursor + 1 ; Memento loc0 = mementoStateHistory . get ( cursor ) ; loc0 . restore ( ) ; } }
redo the last state change . only possible if there have been previous undo call . concode_field_sep int cursor concode_elem_sep ArrayList<Memento> mementoStateHistory concode_elem_sep int maxHistorySize concode_field_sep boolean isRedo concode_elem_sep void undo concode_elem_sep boolean isUndo concode_elem_sep void addState