Interpreterbau - Ein Anfang



  • in einer einfachen Sprache in der man keine eigenen Typen erstellen kann würd ich schreiben:
    varDecl := typeName id ["=" constVal] ";"
    typeName := "int" | "float" | ...

    In einer komplexeren dann eben
    varDecl := id id ["=" constVal] ";"
    Ob es den Typen mit dem Namen gibt oder nicht kannst du dann ja in einer Tabelle nachschlagen.

    Kannst ja z.B. mal einen Blick in einen C Parser werfen:
    https://github.com/MatzeB/cparser



  • hgfhgfh schrieb:

    Ob es den Typen mit dem Namen gibt oder nicht kannst du dann ja in einer Tabelle nachschlagen.

    Ja schon (die Sprache hat benutzdefinierte Typen), die Frage ist halt ob ich das direkt während dem parsen machen sollte, oder erst mal den Baum aufbauen und danach seperat solche Sachen checken.

    Also mir ist die Trennlinie halt nicht ganz klar, was jetzt noch zum Parser gehört und was zum semantischen Analyser (oder auch wann und wieso man einen solchen überhaupt braucht/dieser sinnvoll ist). Der Übergang

    Lexer -> Parser

    ist relativ klar und deutlich. Aber der Übergang

    Parser -> Analyser

    eben nicht...



  • Es kann so oder so sinnvoll/möglich sein. Ob eine Variable deklariert wurde, kann bzw. muss man sogar beim Parsen prüfen. Denn da wird dann die Symboltabelle geführt und die entsprechenden Adressen an den Baum weitergegeben.



  • ghjhgjghj schrieb:

    Es kann so oder so sinnvoll/möglich sein. Ob eine Variable deklariert wurde, kann bzw. muss man sogar beim Parsen prüfen. Denn da wird dann die Symboltabelle geführt und die entsprechenden Adressen an den Baum weitergegeben.

    Warum "muss"? Man kann doch erstmal den Baum komplett aufbauen und danach nochmal drüber laufen und dann die Symboltabelle führen und die Adressen im Baum entsprechend setzen?

    Oder verstehe ich dich jetzt falsch?



  • happystudent schrieb:

    ghjhgjghj schrieb:

    Es kann so oder so sinnvoll/möglich sein. Ob eine Variable deklariert wurde, kann bzw. muss man sogar beim Parsen prüfen. Denn da wird dann die Symboltabelle geführt und die entsprechenden Adressen an den Baum weitergegeben.

    Warum "muss"? Man kann doch erstmal den Baum komplett aufbauen und danach nochmal drüber laufen und dann die Symboltabelle führen und die Adressen im Baum entsprechend setzen?

    Oder verstehe ich dich jetzt falsch?

    gibt ja keine Regeln wie man einen Compiler bauen muss.
    Ich z.B. bin bei einer Skriptsprache folgendermaßen vorgegangen:
    1. Lexer
    2. Parser erster Lauf: nur Funktionsköpfe einlesen (Symboltabelle mit Funktionsnamen/typen)
    3. Parser zweiter Lauf: komplette Quelldatei einlesen. Gleichzeitig Aufbau Symboltabelle je Funktion und vollständige Typprüfung.



  • happystudent schrieb:

    ghjhgjghj schrieb:

    Es kann so oder so sinnvoll/möglich sein. Ob eine Variable deklariert wurde, kann bzw. muss man sogar beim Parsen prüfen. Denn da wird dann die Symboltabelle geführt und die entsprechenden Adressen an den Baum weitergegeben.

    Warum "muss"? Man kann doch erstmal den Baum komplett aufbauen und danach nochmal drüber laufen und dann die Symboltabelle führen und die Adressen im Baum entsprechend setzen?

    Oder verstehe ich dich jetzt falsch?

    Ja, natürlich kann man das machen. Aber wenn man z.B. einen Fehler entdeckt, dass eine Variable nicht deklariert wurde, dann kann man direkt aufhören und stellt das nicht erst später fest.



  • Ok gut, das mit dem früher aussteigen wegen Fehlern macht Sinn. Allerdings will ich sowieso alle Fehler finden (und in einer Liste speichern), daher werd ich das dann wohl erst in der Analyser-Phase machen.



  • happystudent schrieb:

    Ok gut, das mit dem früher aussteigen wegen Fehlern macht Sinn. Allerdings will ich sowieso alle Fehler finden (und in einer Liste speichern), daher werd ich das dann wohl erst in der Analyser-Phase machen.

    Du wirst feststellen, dass das gar nicht so einfach sein kann. Denn manche Fehler bedingen andere Fehler, die wieder andere Fehler bedingen, etc.



  • Vielen Dank für den Artikel!

    Leider schaffe ich es, trotz der guten Beschreibung und weiteren Posts, nicht den Code um eine Potenzoperator zu erweitern.

    Kann bitte jemand die nötigen Änderungen für die Erweiterung um den Potenzoperator "^" posten.

    Bisher habe ich nur die Funktion pow() eingebaut. Für ein neues Projekt möchte ich aber Formeln die in Excel vorhanden sind verwenden...



  • Unverschämt schrieb:

    Vielen Dank für den Artikel!

    Leider schaffe ich es, trotz der guten Beschreibung und weiteren Posts, nicht den Code um eine Potenzoperator zu erweitern.

    Kann bitte jemand die nötigen Änderungen für die Erweiterung um den Potenzoperator "^" posten.

    Bisher habe ich nur die Funktion pow() eingebaut. Für ein neues Projekt möchte ich aber Formeln die in Excel vorhanden sind verwenden...

    falls du es auf gleicher Ebene wie Multiplikation/Division anordnen willst, ginge es z.B. so:

    Syntaxdefinition:

    Multiplikation = (Klammer) { ("*" | "/" | "^") (Klammer) } ;
    

    Parser:

    // Multiplikation = (Klammer) { ("*" | "/") (Klammer) } ;  
    int Parser::multiplikation() 
    { 
         int res = klammer(); 
    
         while (myTok.equal(TT_MUL) || myTok.equal(TT_DIV) || myTok.equal(TT_POW)) 
         { 
             switch (myTok.getType()) 
             { 
                 case TT_MUL: 
                     getNextToken(); 
                     res *= klammer(); 
                     break; 
    
                 case TT_DIV: 
                     getNextToken(); 
                     res /= klammer(); 
                     break; 
    
                 case TT_POW: // Scanner muss TT_POW (also ^) erkennen 
                     getNextToken(); 
                     res = my_pow(res,klammer()); // my_pow führt x^y aus
                     break; 
             } 
         } 
    
         return res; 
    }
    

    ... so in etwa könnte es funktionieren.



  • Besser du erstellst dafür eine weitere Funktion, denn der Operator hat ohnehin die höchste Priorität.

    Ungetestet, aber das Konzept sollte dafur klar werden. Es ist eigentlich recht simpel, wenn man es einmal verstanden hat. 🤡

    int Parser::multiplikation()
    {
         int res = pow();
    
         while (myTok.equal(TT_MUL) || myTok.equal(TT_DIV))
         {
             switch (myTok.getType())
             {
                 case TT_MUL:
                     getNextToken();
                     res *= pow();
                     break;
    
                 case TT_DIV:
                     getNextToken();
                     res /= pow();
                     break;
             }
         }
    
         return res;
    }
    
    // Multiplikation = (Klammer) { ("*" | "/") (Klammer) } ;  
    int Parser::pow()
    {
         int res = klammer();
    
         while (myTok.equal(TT_POW))
         {
             switch (myTok.getType())
             {
                 case TT_POW:
                     getNextToken();
                     res = std::pow(res, klammer());
                     break;
             }
         }
    
         return res;
    }
    


  • Danke gfhfghfgh!

    Kannst Du bitte auch noch die Definitionen von Parser::start und Parser::klammer posten?



  • Danke gfhfghfgh!

    Kannst Du bitte auch noch die Definitionen von Parser::start und Parser::klammer posten?



  • Danke gfhfghfgh!

    Kannst Du bitte auch noch die Definitionen von Parser::start und Parser::klammer posten?



  • Hast du den Artikel wirklich gelesen? Denn klammer und start sind doch aus dem Artikel bekannt.

    Du musst danach nur noch der Scanner anppassen und um die Definitionen für TT_POW erweitern und auch getNextToken für '^' erweitern. Anschließend sollte es so funktionieren.



  • Ein Objekt „Chef“ verändert durch einen direkten Zugriff auf die Eigenschaft „Gehalt“ eines Objekts „Mitarbeiter“ den Wert der Eigenschaft „Gehalt“. Wie bewerten Sie diesen Zugriff aus Sicht der Objektorientierung? Welche Alternativen gibt es?

    könnte jemand bitte mir weiterhelfen? Danke



  • Hallo Zusammen,

    ich bin über diesen Artikel auf das Forum gestoßen, leider ist der Quellcode nicht mehr downloadbar.
    Die Links zeigen ins Leere.
    Es wäre toll, wenn jemand die Dateien nochmal hochladen würde.

    Danke schonmal.
    J-B-G


  • Administrator



  • @dravere Super, danke!


Anmelden zum Antworten