Создание экземпляра объекта с использованием синтаксического анализа комбинатора Scala - PullRequest
Новая
       45

Создание экземпляра объекта с использованием синтаксического анализа комбинатора Scala

2 голосов
/ 26 мая 2020

У меня есть этот парсер: 

import scala.util.parsing.combinator.JavaTokenParsers

class RequestMappingParser extends JavaTokenParsers {
  def requestMapping: Parser[Any] = "@RequestMapping(" ~ commaDelimitedSeq ~ ")"
  def commaDelimitedSeq: Parser[Any] = repsep(keyValue, ",")
  def keyValue: Parser[Any] = key ~ "=" ~ value
  def key: Parser[Any] = "value" | "method"
  def value: Parser[Any] = """[^)]*""".r
}

У меня есть этот простой класс: 

class MethodRequestMapping(val value: String, val method: String)

Мой парсер может анализировать эту строку: 

"@RequestMapping(value = \"/ex/foos\", method = RequestMethod.GET)"

и возвращать в результате Parser[Any]. Я хочу, чтобы он возвращал результат Parser[MethodRequestMapping].

Как мне это сделать? Я знаю, что мне нужно сделать что-то вроде этого: 

def requestMapping: Parser[MethodRequestMapping] = "@RequestMapping(" ~ commaDelimitedSeq ~ ")" ^^ {
  // Some sort of pattern matching and creation of MethodRequestMapping
  // ???
}

Но что входит в ???? Или лучше как-то иначе?

1 Ответ

2 голосов
/ 26 мая 2020

Прежде всего, половина используемых вами комбинаториков создается как Parser[String], и именно аннотация вашего типа преобразует их в Parser[Any] (что разрешено из-за ковариантности, но также совершенно бесполезно в этом случае).

Итак, у вас действительно есть что-то вроде: 

class RequestMappingParser extends JavaTokenParsers {
  def requestMapping: Parser[String ~ List[String ~ String ~ String] ~ String] = "@RequestMapping(" ~ commaDelimitedSeq ~ ")"
  def commaDelimitedSeq: Parser[List[String ~ String ~ String]] = repsep(keyValue, ",")
  def keyValue: Parser[String ~ String ~ String] = key ~ "=" ~ value
  def key: Parser[String] = "value" | "method"
  def value: Parser[String] = """[^)]*""".r
}

Тогда мы могли бы использовать map или ^^ для настройки типов - раньше это было сложно, потому что у нас было Any, но если бы мы не избавится от типа, мы сможем легко сопоставить шаблон. 

class RequestMappingParser extends JavaTokenParsers {
  // result of this parser will be ethier "value" or "method"
  def key: Parser[String] = "value" | "method"
  def value: Parser[String] = """[^),]*""".r // you had an error here, you were missing "," to separate items
  // here we'll map String ~ String ~ String to tuple - we'll drop unused "=" in the process
  def keyValue: Parser[(String, String)] = (key ~ "=" ~ value).map {
    case k ~ _ ~ v => k -> v
  }
  // repsep wil return List[(String, String)], which we'll map to Map
  def commaDelimitedSeq: Parser[Map[String, String]] = repsep(keyValue, ",").map(_.toMap)
  // this would give us String ~ Map[String, String] ~ String, but we don't need
  // these String constants. Also we can map things into out final result
  def requestMapping: Parser[MethodRequestMapping] = ("@RequestMapping(" ~ commaDelimitedSeq ~ ")").map {
    case _ ~ map ~ _ =>
      new MethodRequestMapping(value = map("value"), method = map("method"))
  }
}

val parser = new RequestMappingParser()
val parsed = "@RequestMapping(value = \"/ex/foos\", method = RequestMethod.GET)"
val result = parser.parse(parser.requestMapping, parsed).get
// result.value == "\"/ex/foos\""
// result.method == "RequestMethod.GET"

Тем не менее, использование этой библиотеки комбинаций парсеров не рекомендуется, в основном из-за того, что она медленная. Для производства рекомендуется использовать что-то вроде FastParse , которое имеет более быструю реализацию и больше функций.

...