Push a new internal input source. This method is useful for expanding an internal entity, or for unreading a string of characters. It creates a new readBuffer containing the characters in the array, instead of characters converted from an input byte stream. I've added a couple of optimisatio
(String ename, char ch[], int start, int length)
source not stored for this graph (policy: none)
no test coverage detected