Klassendesign für einen Pascal Interpreter

dvdlly

Aktives Mitglied
Ich versuche einen Interpreter für eine Untermenge von Pascal zu schreiben und stehe vor einer Design Entscheidung - bisher habe ich einen Lexer und einen Parser geschrieben. Der Parser erzeugt den abstrakten Syntaxbaum (AST) und nun fehlt noch der tatsächliche Interpreter, der den Baum "auswertet". Das Problem ist: die verschiedenen Kinder im AST bedürfen unterschiedlicher Auswertungen. So habe ich z.B. eine Klasse BinOp, wo der rechte und linke Kindsknoten gemäß der binären operation verknüpft werden (nebenbei muss auch geprüft werden, von was für einem typ die beiden Kindsknoten sind). Im folgenden habe ich ein paar der Klassen angehängt um hoffentlich die Probleme zu verdeutlichen.

[CODE lang="java" title="BinOp Klasse"]package com.Parser;
import com.Lexer.Token;
import com.Visitor.*;

public class BinaryOp extends AST {
public AST left;
public AST right;
public Token operation;

public BinaryOp(AST left, AST right, Token op) {
this.left = left;
this.right = right;
operation = op;
}

@Override
public AST visit(Visitor visitor) {
// add something smart here.
return null;
}

@Override
public void print(){
left.print();
System.out.println("Binary operation of type : " + operation.type);
right.print();
}

@Override
public Object gettype() {
return operation.type;
}
}
[/CODE]
[CODE lang="java" title="AST Klasse"]package com.Parser;

import com.Visitor.Visitor;

public abstract class AST {
abstract AST visit(Visitor visitor);
abstract void print();
abstract Object gettype();
}[/CODE]
 

httpdigest

Top Contributor
Ich versuche einen Interpreter für eine Untermenge von Pascal zu schreiben und stehe vor einer Design Entscheidung - bisher habe ich einen Lexer und einen Parser geschrieben. Der Parser erzeugt den abstrakten Syntaxbaum (AST) und nun fehlt noch der tatsächliche Interpreter, der den Baum "auswertet". Das Problem ist: die verschiedenen Kinder im AST bedürfen unterschiedlicher Auswertungen. So habe ich z.B. eine Klasse BinOp, wo der rechte und linke Kindsknoten gemäß der binären operation verknüpft werden (nebenbei muss auch geprüft werden, von was für einem typ die beiden Kindsknoten sind). Im folgenden habe ich ein paar der Klassen angehängt um hoffentlich die Probleme zu verdeutlichen.
Ja, okay. Und was ist jetzt deine ganz konkrete Frage bzw. dein ganz konkretes Problem? Ich lese hier erstmal nur eine Problembeschreibung, aber keinen Ansatz, wo du genau ein Problem hast/siehst.
Unterschiedliche Klassen für unterschiedliche Arten von AST-Knoten zu haben und verschiedene Visitor, die unterschiedliche Aufgaben haben (semantische Analyse, Auswertung, "Code Lowering" - für Compiler) ist ziemlich Standard.
 

httpdigest

Top Contributor
Es hängt aber von deinem Parser ab, wie deine AST-Klassenstruktur genau aussieht.
Wenn du z.B. eine allgemeine AST-Library verwendest (z.B. jjtree von javacc oder die von ANTLR), dann hast du nur ganz allgemeine untypisierte Node-Klassen im AST und kannst nicht mit double-dispatch darüber "visiten".
Wenn du aber einen Parser hast, der typisierte AST-Klassen instanziiert, dann habe ich schon mal Parser geschrieben, die in etwa folgende Klassenstruktur hatten:
Java:
public interface Visitable {
  void accept(Visitor v);
}
public interface Visitor {
  void visitBinOpExpression(BinOpExpression e);
  ...
}
public class InterpretVisitor {
  public void visitBinOpExpression(BinOpExpression e) {
    // visit operands and perform operation
  }
  ...
}
public abstract class Node implements Visitable {}
public abstract class StatementNode extends Node {}
public abstract class ExpressionNode extends Node {
  public abstract Type type();
}
public class BinOpExpressionNode extends ExpressionNode {
  public final ExpressionNode leftOperand;
  public final ExpressionNode rightOperand;
  public final OperationKind operation;
  public void accept(Visitor v) {
    v.visitBinOpExpression(this);
  }
}
Du hast also Statements und Expressions (Expressions haben einen statischen Typ).
Zusätzlich kommen noch Declarations und CompilationUnits.

Hier lohnt es sich übrigens sehr! sich den Code von GraalVM anzugucken. Das sind sehr klar strukturierte AST-Knoten-Klassen: https://github.com/oracle/graal/tre...compiler.nodes/src/org/graalvm/compiler/nodes
 

dvdlly

Aktives Mitglied
Danke für deine Antwort.
Mein Problem liegt darin visitBinOp zu implementieren - eigentlich müsste die methode doch einen Rückgabetyp haben, es kann sich ja z.B. um die Zuweisung einer Variable zu dem Wert einer binären Operation handeln. Aber der Rückgabetyp der binären Operation kann in meinem Falle sowohl Integer als auch Double sein.
 

httpdigest

Top Contributor
Der Visitor kann direkt Rückgabewerte bei seinen Methoden haben, muss es aber nicht. Wenn dein Interpreter/Visitor selbst eine Stack-Maschine implementiert, kannst du auch einfach einen java.util.Stack als Instanzvariable für das (rekursive) Auswerten von Ausdrücken verwenden und die visit...Op() Methoden poppen und pushen dann von/auf diesen Stack.
Wenn du dann z.B. ein "AssignmentStatement"-Node besuchst, hat dieses Assignment ja eine Expression als rechte Seite und eine Variable als linke Seite. Die Expression lässt du dann wieder von diesem Visitor berechnen und der erwartete Wert ist dann der oberste Wert auf dem Stack.
Um die eigentlichen Typen der Operationen zu ermitteln (mit Coalescing/Widening/etc.) brauchst du erstmal vermutlich eine semantische Analyse, also z.B. durch eine weitere Visitor-Implementierung, die Typen von Ausdrücken berechnet.
Dein Interpreter/Evaluierungs-Visitor nutzt dann diese Typinformationen. Die Typen selbst kannst du z.B. als Feld an eine abstrakte ExpressionNode-Klasse hängen.
 

httpdigest

Top Contributor
Doch. Du wertest einfach beide Argumente (rekursiv) durch deinen Visitor aus und prüfst dann mit instanceof (oder ähnlichen Laufzeittests), welche Typen die tatsächlichen Werte haben. Und abhängig davon führst du die entsprechende Typerweiterung (int zu float, wenn der andere Operand auch ein float ist, etc.) aus und berechnest das Ergebnis.
Da deine Visitor (bzw. der java.util.Stack, den du evtl. für die Werte verwendest) ja _alle möglichen_ validen Pascal-Programme bzw. Ausdrücke unterstützen müssen, musst du natürlich einen Java-Typ zur Repräsentation aller möglichen Pascal-Werte verwenden. Also z.B. einfach java.lang.Object. Wenn dein Visitor dann ein Pascal-Int-Literal auswertet, könntest du das z.B. durch einen java.lang.Integer repräsentieren. Einen Pascal-float durch java.lang.Float, etc.
Typ-Checks ist ja auch nur einer der Aspekte von semantischer Analyse, um zu prüfen, ob ein Pascal-Programm auch valide ist. Ein anderer wäre z.B. dass keine nicht-deklarierten Variablen in Ausdrücken referenziert werden.
Das findest du ansonsten aber nur heraus, wenn du den Ausdruck wirklich zur Laufzeit auswertest. (also in etwa wie bei JavaScript).
 
Zuletzt bearbeitet:
Ähnliche Java Themen
  Titel Forum Antworten Datum
W Frage zu Klassendesign und Test mit Mockito Allgemeine Java-Themen 5
G Problem mit Klassendesign Allgemeine Java-Themen 6
T Klassendesign - Hierarchie Ebenen Allgemeine Java-Themen 15
R Klassendesign in Packages Allgemeine Java-Themen 7
G klassendesign. aber wie (sinnvoll)? Allgemeine Java-Themen 8
Karl_Der_Nette_Anfänger Hat wer ne Lösung für verknüpfte Postleitzahlen? (Baum/Wurzel Struktur) Allgemeine Java-Themen 11
R 11 GB File lesen ohne zu extrahieren Filedaten Bereich für Bereich adressieren dann mit Multi-Thread id die DB importieren Allgemeine Java-Themen 3
G KeyListener für JTextField Allgemeine Java-Themen 5
webracer999 Library für Textsuche (z. B. include/exclude, and/or)? Allgemeine Java-Themen 5
I Module-Info für Jar erzeugen Allgemeine Java-Themen 7
krgewb Java-Bibliothek für ONVIF Allgemeine Java-Themen 1
B Simpler Eventlistener für Tastaturtaste bauen? Allgemeine Java-Themen 13
_user_q Eingegebenen Text Zeile für Zeile ausgeben lassen Allgemeine Java-Themen 11
E Key für TOTP Algorythmus(Google Authentificator) Allgemeine Java-Themen 0
S Formel für Sonnenwinkel in ein Programm überführen Allgemeine Java-Themen 11
M pfx-Zertifikat in Tomcat für SSL-Verschlüsselung nutzen Allgemeine Java-Themen 14
R Best Practice Erfahrungswerte für eine Migration von JSF nach Angular (oder anderes JS-Framework) Allgemeine Java-Themen 1
B HeapSort für Array of Strings funktioniert nur teilweise Allgemeine Java-Themen 3
jhCDtGVjcZGcfzug Klassen Was genau passiert hier? Kann mir das jemand bitte Zeile für Zeile erklären? Allgemeine Java-Themen 1
rosima26 Bester Sortieralgorithmus für kurze Arrays Allgemeine Java-Themen 40
S Mit Methoden kann man definieren für was <T> steht. Geht das auch irgendwie für Variablen? Allgemeine Java-Themen 12
MangoTango Operatoren while-Schleife für Potenz Allgemeine Java-Themen 3
B Lottospiel, genug Reihen tippen für 3 Richtige (Spaß mit Arrays)? Allgemeine Java-Themen 46
B Mit welchen Datentypen und Strukturierung am Besten dutzende Baccaratspiele Shcritt für Schritt durchsimulieren? Allgemeine Java-Themen 26
I OCR Library für Belegerkennung Allgemeine Java-Themen 7
farah GetterMathod für Farbkanäle Allgemeine Java-Themen 6
B Welcher Datentyp für sehr große Zahlenbereiche? Allgemeine Java-Themen 1
S Webservices für binäre Daten? Allgemeine Java-Themen 5
G Licence-Header für InHouse entwickelten Source Allgemeine Java-Themen 8
M Schleife für einen TicTacToe Computer Allgemeine Java-Themen 5
O git ignore für Intellji braucht es die .idea Dateien? Allgemeine Java-Themen 8
F Java Script für das Vorhaben das richtige? Allgemeine Java-Themen 9
M wiviel Java muss ich für die Berufswelt können ? Allgemeine Java-Themen 5
Robertop Datumsformat für GB ab Java 16 Allgemeine Java-Themen 1
Thallius Verschiedene entities für gleichen Code…. Allgemeine Java-Themen 8
OnDemand Zentrale "Drehscheibe" für verschiedene APIs Allgemeine Java-Themen 14
S Übergabe eines Sortierkriteriums für ein Artikel Array mittels BiPredicate<Artikel, Artikel> Allgemeine Java-Themen 13
F Streams als Alternative für dieses Problem ? Allgemeine Java-Themen 15
D SHA-3 für Java-version 1.8 Allgemeine Java-Themen 1
N Validator für einen SQL-Befehl Allgemeine Java-Themen 22
Muatasem Hammud Erstellung von Testdaten für Arrays Allgemeine Java-Themen 6
B Logikfehlersuche, das perfekte Lottosystem für 3 Richtige mit Arraylists? Allgemeine Java-Themen 61
G Methoden für die Zukunft sinnvoll? Allgemeine Java-Themen 4
M API für PLZ Umkreissuche Allgemeine Java-Themen 3
1Spinne JDK 8 für Eclipse installieren Allgemeine Java-Themen 5
Tobero Meine Funktion für das beinhalten eines Punktes in einem Kreis funktioniert nicht Allgemeine Java-Themen 5
L Methoden Parser für gängige Datumsformate? Allgemeine Java-Themen 1
H Interface PluginSystem ClassNotFound exception für library Klassen Allgemeine Java-Themen 10
N relativier Pfad für sqlite-Datenbank in Gradle/IntelliJ Allgemeine Java-Themen 2
buchfrau Anagram für beliebiges Wort Allgemeine Java-Themen 2
TonioTec Api für Datenaustausch zwischen Client und Server Allgemeine Java-Themen 0
W Suche Ursache für NPE - woher kommt sie? (Hilfe beim Debugging) Allgemeine Java-Themen 19
Kirby.exe Distanz Map für die Distanztransformation erstellen Allgemeine Java-Themen 1
F PI Regler für Heizung Allgemeine Java-Themen 7
8u3631984 Generelle Log4j.xml für alle Module Allgemeine Java-Themen 5
M Wie übergebe ich den Zähler für die Anzahl Rekursionsschritte korrekt? Allgemeine Java-Themen 2
B Login für User, der im Hintergrund Schedules ausführt Allgemeine Java-Themen 16
L RegEx für Teile einer Berechnung Allgemeine Java-Themen 14
S Java-Task-Management-Tool für Windows und Mac selber programmieren Allgemeine Java-Themen 4
M Java 2D Array für ein Grid erstellen ? Allgemeine Java-Themen 2
Z Welches GUI Framework für Java ist aktuell? Allgemeine Java-Themen 16
N Convert.FromBase64 von C# für Java Allgemeine Java-Themen 11
N fixed-keyword von C# für Java Allgemeine Java-Themen 6
O Suche Scripter für alt:V Project! Allgemeine Java-Themen 0
S Interface Design von HookUp oder Callback Methoden für eigenes Framework Allgemeine Java-Themen 9
O Suche Unterstützung für ein OpenSource-Projekt (grafischer Editor) Allgemeine Java-Themen 13
Kirby.exe Software für Graphische Visualisierung Allgemeine Java-Themen 20
B OOP Auslöser für NullPointerException Allgemeine Java-Themen 3
L Generator für einen Parser implementieren Allgemeine Java-Themen 13
DonMalte Ambitioniertes Projekt für Einsteiger & Motivierte Allgemeine Java-Themen 0
Kirby.exe Movement System für Spiel Allgemeine Java-Themen 13
Kirby.exe Framework für Game Design Allgemeine Java-Themen 8
W Alternative für Threads Allgemeine Java-Themen 6
S Rückgabe einer HttpURLConnection für eine Seite einlesen bei der man eingeloggt ist..? Allgemeine Java-Themen 5
Elyt Compiler-Fehler Datei kann nicht erstellt werden. Die Syntax für den Dateinamen etc. ist falsch. Allgemeine Java-Themen 2
Thallius Rätsel für Windows Profis Allgemeine Java-Themen 8
D OOP Gemeinsamen ID-Raum für zwei Klassen implementieren Allgemeine Java-Themen 7
D Input/Output Implementierung eines CommandHandlers/Parsers für viele Eingaben Allgemeine Java-Themen 26
Thallius Alternative für SwingWorker Allgemeine Java-Themen 5
I Lohnt sich heutzutage der Aufwand einer Portierung für MacOS Allgemeine Java-Themen 8
L Klassen Algorithmus für das folgende Problem entwickeln? Allgemeine Java-Themen 30
J Datenstruktur für eine Map erstellen Allgemeine Java-Themen 2
H OOP Setting(config) für Applikation sicheren? Allgemeine Java-Themen 9
OnDemand PDF Libary für Formulare Allgemeine Java-Themen 7
S Warmup für Lineare-Suche mit Zeitmessung Allgemeine Java-Themen 2
T Allgemeine Frage: GUI für 3D-Visualisierung Allgemeine Java-Themen 5
M Brainstorming für mein Projekt Allgemeine Java-Themen 30
K OOP Suche Hilfe + Erklärung für eine Hausaufgabe Allgemeine Java-Themen 1
F Was ist der Dateityp meines Parameters für die Main Methode. Allgemeine Java-Themen 6
C Bibliotheken für Algorithmische Geometrie Allgemeine Java-Themen 2
C Daten für Klassifikationsverfahren gewinnen Allgemeine Java-Themen 6
C code oder Bibliotheken für 2-Center Problem Allgemeine Java-Themen 4
I Overlay für Spiele Allgemeine Java-Themen 5
B Suche nach einem Testprogramm für meine BA Allgemeine Java-Themen 0
I GUI für kleine Pop-Ups unter Windows Allgemeine Java-Themen 1
A NetBeans Suche Programmierer für eine Belegarbeit Allgemeine Java-Themen 11
HarleyDavidson Best Practice Wohin mit der Konfigurationsdatei für Desktopapplikationen? Allgemeine Java-Themen 3
R MAC-Adresse eindeutig für einen PC ? Bezug zu Netzwerk, wieso ? Allgemeine Java-Themen 7
N Java API für CardDav und CalDav gesucht Allgemeine Java-Themen 4
R Idee für Methodenrumpf Allgemeine Java-Themen 5

Ähnliche Java Themen

Neue Themen


Oben