private int addState ( Label reattachPoint , Statement restore ) { ReattachState create = ReattachState . create ( reattachPoint , restore ) ; reattaches . add ( create ) ; int state = reattaches . size ( ) - 1 ; // the index of the ReattachState in the list return state ; }
Add a new state item and return the state .