2

我想知道是否有一种我目前不知道的简单方法可以从 a捕获的 a"的开头和结尾删除字符?stringLiteralTokenParser

我搜索了 Scaladocs,但没有找到一个方便的 util 函数。是的,我当然可以通过玩来做到这一点,substring(1, str.length - 1)但我的直觉是它已经写在某个地方我只是找不到它:-)

提前致谢!

4

1 回答 1

2

如果你想使用stringLiteralfromJavaTokenParsers你可以基于它创建自己的解析器:

def deguoted: Parser[String] = stringLiteral ^^ {str => str.substring(1, str.length - 1)}
于 2013-06-24T09:07:59.530 回答