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 に依存していることに注意してください...違いがあるかどうかはわかりません。
どんな考えでも大歓迎です。