jasder
/
antlr
1
0
Fork 1
Code Issues Pull Requests Releases 1 Wiki Activity

Allow setting source name when creating CodePointCharStream from string

This commit is contained in:
Ben Hamilton 2017-02-10 16:09:05 -08:00
parent fb805a589b
commit 3188d6a883
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
runtime/Java/src/org/antlr/v4/runtime/CharStreams.java
View File

@ -32,6 +32,10 @@ public final class CharStreams {
* for the Unicode code points in a Java {@link String}.
*/
public static CodePointCharStream createWithString(String s) {
return createWithString(s, IntStream.UNKNOWN_SOURCE_NAME);
}
public static CodePointCharStream createWithString(String s, String sourceName) {
// Initial guess assumes no code points > U+FFFF: one code
// point for each code unit in the string
IntBuffer codePointBuffer = IntBuffer.allocate(s.length());
@ -49,7 +53,7 @@ public final class CharStreams {
stringIdx += Character.charCount(codePoint);
}
codePointBuffer.flip();
return new CodePointCharStream(codePointBuffer, IntStream.UNKNOWN_SOURCE_NAME);
return new CodePointCharStream(codePointBuffer, sourceName);
}
public static CodePointCharStream createWithUTF8(Path path) throws IOException {