text: public java.nio.charset.CoderResult flush(java.nio.ByteBuffer @out){if (status != END && status != READY){throw new System.InvalidOperationException();}java.nio.charset.CoderResult result = implFlush(@out);if (result == java.nio.charset.CoderResult.UNDERFLOW){status = FLUSH;}return result;}