標準パターンのCharSequenceから日付を解析します。

Question

私は外部ツールのコマンドラインインターフェイスのパーサを作成しています。私はScalaのパーサーコンビネータライブラリを使用しています。これの一部として、フォーマットEEE MMM d HH：mm：ss yyyy Zの標準日付を解析する必要があります。

Scalaのパーサーコンビネータは「ストリームベース」であり、StringsではなくCharSequenceで機能します。そのため、両方ともStringで動作するため、java.text.DateTimeFormatまたはDateTimeFormat（JodaTimeのいずれか）を使用するのが難しくなります。

現在のところ、このような独自の正規表現パーサーを作成して日付を解析することはできませんが、JodaTimeで行った作業をパーサーに組み込むことになります。私は本当にホイールを再構築したくありません。私はJodaTimeのソースコードを見てきました。なぜCharSequencesだけでなくStringを使用する必要があるのか​​よく分かりません。私はいくつかの側面を欠いていますか？

Answer 1

これが今の私のソリューションです：私はジョダ-時間をフォークし、それがString Sの代わりにCharSequenceの上で動作するために小さな変更を加えた

。それはこっちhttps://github.com/hedefalk/joda-time/commit/ef3bdafd89b334fb052ce0dd192613683b3486a4

だそれから私はこのようなDateParserを書くことができます：

trait DateParsers extends RegexParsers { 
    def dateTime(pattern: String): Parser[DateTime] = new Parser[DateTime] { 
    val dateFormat = DateTimeFormat.forPattern(pattern); 

    def jodaParse(text: CharSequence, offset: Int) = { 
     val mutableDateTime = new MutableDateTime 
     val newPos = dateFormat.parseInto(mutableDateTime, text, offset) 
     (mutableDateTime.toDateTime, newPos) 
    } 

    def apply(in: Input) = { 
     val source = in.source 
     val offset = in.offset 
     val start = handleWhiteSpace(source, offset) 
     val (dateTime, endPos) = jodaParse(source, start) 
     if (endPos >= 0) 
     Success(dateTime, in.drop(endPos - offset)) 
     else 
     Failure("Failed to parse date", in.drop(start - offset)) 
    } 
    } 
} 

その後、私のような生成規則には、この特性を使用することができます。

private[this] def dateRow = "date:" ~> dateTime("EEE MMM d HH:mm:ss yyyy Z") 

が、私はこれを過労だろうか？私は今、本当に疲れています...

Answer 2

これを取得しました。さて、フォークよりも簡単な解決策があります。ここをクリック：

trait DateParsers extends RegexParsers { 
    def dateTime(pattern: String): Parser[DateTime] = new Parser[DateTime] { 
    val dateFormat = DateTimeFormat.forPattern(pattern); 

    def jodaParse(text: CharSequence, offset: Int) = { 
     val mutableDateTime = new MutableDateTime 
     val maxInput = text.source.subSequence(offset, dateFormat.estimateParsedLength + offset).toString 
     val newPos = dateFormat.parseInto(mutableDateTime, maxInput, 0) 
     (mutableDateTime.toDateTime, newPos + offset) 
    } 

    def apply(in: Input) = { 
     val source = in.source 
     val offset = in.offset 
     val start = handleWhiteSpace(source, offset) 
     val (dateTime, endPos) = jodaParse(source, start) 
     if (endPos >= 0) 
     Success(dateTime, in.drop(endPos - offset)) 
     else 
     Failure("Failed to parse date", in.drop(start - offset)) 
    } 
    } 
} 

Answer 3

私はあなたが何を求めているのか分かりません。 RegexParser.parse()のinパラメータがCharSequenceになる理由を尋ねていますか？あなたがそうのような単純な変換機能を書くことができますReader、かかる他のオーバーロードされたRegexParser.parse()がある場合：日付形式については

def stringToReader(str: String): Reader = new StringReader(str) 

が、私はパーサトークンとして定義することが完全に罰金を見つけます。

これが役に立ちます。