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

Use method to strip quotes. This could be factored out as it seems generally usefull

This commit is contained in:
Marco Hunsicker 2016-11-20 19:21:54 +01:00
parent 89e3f063c9
commit cb785d5d1e
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
antlr4-maven-plugin/src/main/java/org/antlr/mojo/antlr4/GrammarDependencies.java
View File

@ -233,8 +233,7 @@ class GrammarDependencies {
String value = option.getChild(1).getText();
if ("tokenVocab".equals(key)) {
// make sure to have the name unquoted
String name = value.replaceAll("\\A'|'\\Z", "");
String name = stripQuotes(value);
// the grammar name may be qualified, but we resolve the path anyway
String grammarName = stripPath(name);
String grammarPath = MojoUtils.findSourceSubdir(sourceDirectory,
@ -306,4 +305,7 @@ class GrammarDependencies {
return str.replaceAll("^.*[/\\\\]", "");
}
private String stripQuotes(String str) {
return str.replaceAll("\\A'|'\\Z", "");
}
}