It's impossible to redefine file' in YY_FILE_BUFFER as inset_string' file is set to KL_SHARED_STREAMS.null_input_stream. This returns KL_STRING_INPUT_STREAM. As far as I can see there is absolutely no need for this, so I redefined it as returning a KI_CHARACTER_INPUT_STREAM.
That way I can override YY_FILE_BUFFER and redefine both file and null_input_stream to be compatible.
It's impossible to redefine
file' in YY_FILE_BUFFER as in
set_string' file is set to KL_SHARED_STREAMS.null_input_stream. This returns KL_STRING_INPUT_STREAM. As far as I can see there is absolutely no need for this, so I redefined it as returning a KI_CHARACTER_INPUT_STREAM.That way I can override YY_FILE_BUFFER and redefine both file and null_input_stream to be compatible.