parsing - 使用 smalltalk 编写一个小解析器，如何使用创建的方法'标识符？

Question

我目前有一个方法

pMain

| parser |  


parser :=  'proc' asParser, #space asParser,  "<---- im trying to use the method identifier here - so i tried self identifier, instead of 'proc' asParser
            #letter asParser plus, $( asParser, 
           'int' asParser,#space asParser, 
           #letter asParser plus, $) asParser, 
           #space asParser, 'corp' asParser.    

   ^ parser

我也有这两种方法

1-关键词法

keywords
^ keywords ifNil: [
    keywords := Set newFrom: #(
        proc corp
        if then else fi
        do od
        print as
        while
        for from to by
        return
        int string real array format bool
        true false
        mutable static
        )
]

2-标识符方法

identifier
^ ((#letter asParser , #word asParser star) flatten) >=> [ : ctxt : aBlock | | parse |
    parse := aBlock value.
    (self keywords includes: parse) ifTrue: [
        PPFailure message: 'keyword matched' context: ctxt
    ] ifFalse: [
        parse
    ]]

问题：pMain 中如何使用标识符解析器？

我喂它这条线

   MyParser new pMain:= 'proc a( int a ) corp'

Answer 1

'proc' asParser返回一个接受字符串的解析器'proc'；这类似于$p asParser返回接受字符的解析器$p。

我想您的问题是关于如何引用解析器产品。在你的子类中，PPCompositeParser你可以通过创建一个返回其解析器的方法来做到这一点（你做了这个）。然后通过读取同名的相应实例变量来引用彼此（除非您使用 PetitParser 工具，否则您必须自己创建这些实例变量）。

您可以在文档中找到有关复合解析器的教程。