Я видел несколько других сообщений SO, относящихся к этой теме, предполагая, что наследование с использованием признаков является единственным выходом из этой проблемы, но я не понимаю, как использовать это здесь.
Я пишу ассемблер, у которого есть директива, которая позволяет вам изменять модель процессора, тем самым влияя на то, какой набор кодов операций может быть проанализирован. У меня есть два класса анализатора, один обрабатывает все ключевые слова директивы, а другой обрабатывает инструкции. (Будет больше, для разных моделей процессоров). Когда директива cpu анализируется, выбирается соответствующий анализатор команд. Вот очень урезанная иллюстрация:
import scala.util.parsing.combinator.JavaTokenParsers
class ComposingParser {
sealed abstract class Statement {
}
case class Dinst(value: String) extends Statement
case class Keyword(value: String) extends Statement
class InstructionParser extends JavaTokenParsers {
def directOpcode: Parser[Statement] = j | ldlp | pfix
private def j: Parser[Dinst] = """(?i)J""".r ^^ ( x => Dinst(x.toUpperCase) )
private def ldlp: Parser[Dinst] = """(?i)LDLP""".r ^^ ( x => Dinst(x.toUpperCase) )
private def pfix: Parser[Dinst] = """(?i)PFIX""".r ^^ ( x => Dinst(x.toUpperCase) )
}
class KeywordParser extends JavaTokenParsers {
def program: Parser[Statement] = keys | instruction // the main, top-level parser
def keys: Parser[Keyword] = start | end
private def start: Parser[Keyword] = """(?i)START""".r ^^ ( x => Keyword(x.toUpperCase) )
private def end: Parser[Keyword] = """(?i)END""".r ^^ ( x => Keyword(x.toUpperCase) )
private def instruction: Parser[Statement] = {
val ip = new InstructionParser // will be dynamically instantiating different parsers for different instruction sets so can't use traits
ip.directOpcode
// Error:(46, 16) type mismatch;
// found : ip.Parser[ComposingParser.this.Statement]
// required: KeywordParser.this.Parser[ComposingParser.this.Statement]
// ip.directOpcode
}
// I can't use traits as in /1866546/scala-kak-obedinit-parsernye-kombinatory-iz-raznyh-obektov
// I can't see how to apply the solution from https://stackoverflow.com/questions/40166258/reuse-parser-within-another-parser-with-scala-parser-combinators
// Is it possible to convert an 'ip.Parser[Statement]' into a 'KeywordParser.this.Parser[Statement]' ?
}
}
directOpcode и инструкция возвращают Parser [Statement], почему я не могу их так скомбинировать? Могут ли здесь помочь аннотации самопечатания? Заранее благодарим за любую помощь, которую вы можете оказать ... (или иллюстрации, показывающие, как могут помочь решения, опубликованные в других цитируемых публикациях SO).