@Override public final String get_state_InputBuffer_3() { return get_state_InputBuffer_3$str(); } private static final String get_state_InputBuffer_4 = "ARJUNA012182: com.arjuna.ats.arjuna.state.InputBuffer_4 - Invalid input buffer: char.";
@Override public final String get_state_InputBuffer_3() { return get_state_InputBuffer_3$str(); } private static final String get_state_InputBuffer_4 = "ARJUNA012182: com.arjuna.ats.arjuna.state.InputBuffer_4 - Invalid input buffer: char.";