/*
* (non-Javadoc)
*
* @see com.dell.mensa.IFailureFunction#add(com.dell.mensa.int, com.dell.mensa.int)
*/
@Override
public int put(final int state_, final int failureState_) {
Verify.notNegative(state_, PARM_state);
Verify.notNegative(failureState_, PARM_failureState);
while (state_ >= map.length) {
expand();
}
if (state_ > maxIndex) {
maxIndex = state_;
}
final int previous = map[state_];
map[state_] = failureState_;
return previous;
}
/*
* (non-Javadoc)
*
* @see com.dell.mensa.IFailureFunction#f(com.dell.mensa.int)
*/
@Override
public int eval(final int state_) {
Verify.notNegative(state_, PARM_state);
return state_ < map.length ? map[state_] : IGotoFunction.NO_STATE;
}