/** {@inheritDoc} */ public char get_char() throws TypeMismatch { try { return ((CharHolder) holder).value; } catch (ClassCastException cex) { TypeMismatch m = new TypeMismatch(); m.initCause(cex); throw m; } }
/** {@inheritDoc} */ public void insert_char(char a_x) throws InvalidValue, TypeMismatch { try { ((CharHolder) holder).value = a_x; valueChanged(); } catch (ClassCastException cex) { TypeMismatch t = new TypeMismatch(); t.initCause(cex); throw t; } }
/** {@inheritDoc} */ public char extract_char() throws BAD_OPERATION { check(TCKind._tk_char); return ((CharHolder) has).value; }