Проанализируйте дату из CharSequence со стандартными шаблонами ...

Question

Я пишу парсер для интерфейса командной строки внешнего инструмента, и я использую библиотеку компиляторов Scala. В качестве части этого мне нужно проанализировать стандартную дату формата EEE MMM d HH: mm: ss yyyy Z.

Компараторы анализатора Scala являются «потоковыми» и работают с CharSequence вместо Strings. Это затрудняет использование java.text.DateTimeFormat или DateTimeFormat от JodaTime, поскольку они оба работают со строками.

На данный момент я должен написать свой собственный регулярный анализатор, подобный этому, чтобы проанализировать дату, но я бы скорее включил работу, которая была выполнена с JodaTime, в мой синтаксический анализатор. Я действительно не хочу изобретать велосипед. Я смотрел исходный код JodaTime, и я не совсем уверен, почему он должен работать со строками, а не только с CharSequences. Я пропустил какой-то аспект?

Answer 1

Это мое решение прямо сейчас:

я раздвоенный Joda времени и сделал небольшие изменения для того, чтобы работать на CharSequence с вместо String с. Это здесь 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

Got it, now. Хорошо, есть более простое решение, чем форкировка. Здесь:

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? Если да, есть еще один перегруженный RegexParser.parse(), который берет Reader, который вы можете написать простую функцию преобразования следующим образом:

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

Как формат даты, я считаю, это прекрасно, чтобы определить его как знак в анализатор.

Надеюсь, это поможет.