ParseKit とタイムスタンプの解析についてかなり簡単な質問があります...ドット/ピリオドの象徴的な性質を強制するにはどうすればよいですか。
たとえば、 を解析しようとしている場合、2008-01-25
のようなものを使用できますdate = /\d{4}/ '-' /\d{2}/ '-' /\d{2}/
。実際、date.grammar
まさにこれを行う ParseKit が同梱されています (興味深いことに、提供された文法は、追加しない限り DemoApp では機能しませんが、脱線します@symbolState='-';
...)
ただし、ドットを含む日付を解析したい場合はどうすればよいですか...たとえば、2008.01.25
または2008-01-25-12.34.45
. ディレクティブに追加しようとしまし'.'
たが、@symbolState
無視され続けます。現時点では、文法をテストするために DemoApp に依存していることに注意してください...違いがあるかどうかはわかりません。
どんな考えでも大歓迎です。