2

によってキャプチャされた"の最初と最後から文字を削除するために、現時点で気付いていない簡単な方法があるかどうか疑問に思っていました。stringLiteralTokenParser

Scaladocs を検索しましたが、便利な util 関数が見つかりませんでした。ええ、私は確かに遊んでそれを行うことができますsubstring(1, str.length - 1)が、私の直感は、それがどこかにすでに書かれているということです。私はそれを見つけることができません:-)

前もって感謝します!

4

1 に答える 1

2

stringLiteralfromを使用するJavaTokenParsers場合は、それに基づいて独自のパーサーを作成できます。

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