Restore "Obtained from string" source name. by googleberg · Pull Request #4396 · antlr/antlr4

@googleberg

This causes a fair number of diffs when importing into Google. If a way of setting the source name for string input streams was provided, then we could have the default be the empty string.

Signed-off-by: Jerry Berg <107155935+googleberg@users.noreply.github.com>

@Hjaf Hjaf mentioned this pull request

May 30, 2024