DokuWiki

You've loaded an old revision of the document! If you save it, you will create a new version with this data.

====== Příklad syntaktického analyzátoru ======

Příklad ručně psaného syntaktického analyzátoru, který rozpoznává jednoduché příkazy. \\
Na místě výrazů dovoluje pouze identifikátory. \\
Funkce **openBranch**, **closeBranch** a **put** zobrazují výsledky ve stromu. \\
Funkce **setLine** uloží do stromu číslo právě zpracovávané řádky zdrojového textu. (Kliknutí do stromu zvýrazní zdrojovou řádku.) \\
Používáme již dříve popsaný lexikální analyzátor [[prekl::lexer]]

https://gitlab.fjfi.cvut.cz/culikzde/view/-/blob/main/tutorial/mini-parser/mini_parser.py#L205

<code Python>
    def readIdent (self, lexer) :
        result = lexer.tokenText
        if not lexer.isIdentifier () :
           lexer.error ("Identifier expected")
        lexer.nextToken ()
        return result

def parseExpr (self, lexer) :
        a = self.readIdent (lexer)
        self.put ("expression " + a )

def parseSimpleStat (self, lexer) :
        a = self.readIdent (lexer)
        lexer.checkSeparator ('=')
        b = self.readIdent (lexer)
        lexer.checkSeparator (';')
        self.put ("simple " + a + " = " + b)

def parseWhile (self, lexer) :
        self.openBranch ("while")
        self.setLine (lexer)
        lexer.checkKeyword ("while")
        lexer.checkSeparator ('(')
        self.parseExpr (lexer)
        lexer.checkSeparator (')')
        self.parseStat (lexer)
        self.closeBranch ()

def parseIf (self, lexer) :
        self.openBranch ("if")
        self.setLine (lexer)
        lexer.checkKeyword ("if")
        lexer.checkSeparator ('(')
        self.parseExpr (lexer)
        lexer.checkSeparator (')')

self.openBranch ("then")
        self.parseStat (lexer)
        self.closeBranch ()

if lexer.isKeyword ("else") :
           lexer.nextToken () # preskoc else
           self.openBranch ("else")
           self.parseStat (lexer)
           self.closeBranch ()
        self.closeBranch ()

def parseStat (self, lexer) :
        if lexer.isKeyword ("if") :
           self.parseIf (lexer)
        elif lexer.isKeyword ("while") :
           self.parseWhile (lexer)
        else :
           self.parseSimpleStat (lexer)

</code>

Literatura: http://homepages.cwi.nl/~steven/pascal/book/2syntax.html

Edit summary

Note: By editing this page you agree to license your content under the following license: CC Attribution-Noncommercial-Share Alike 4.0 International