/**
* Die Methode führt die Kontextanalyse für diesen Ausdruck durch.
*
* @param declarations Die an dieser Stelle gültigen Deklarationen.
* @return Dieser Ausdruck.
* @throws CompileException Während der Kontextanylyse wurde ein Fehler gefunden.
*/
Expression contextAnalysis(Declarations declarations) throws CompileException {
leftOperand = leftOperand.contextAnalysis(declarations);
// Dereferenzieren. Außerdem könnte man einen Ausdruck wie z.B. 5.print
// schreiben, wenn Integer Methoden hätte.
leftOperand = leftOperand.box(declarations);
/** BEGIN Aufgabe (i): Vererbung */
rightOperand.dynamicBind = leftOperand.bindsDynamically();
/** END Aufgabe (i) */
// Der rechte Operand hat einen Deklarationsraum, der sich aus dem
// Ergebnistyp des linken Operanden ergibt.
/** BEGIN Bonus Aufgabe 5: Zugriffsscutz */
// rightOperand.contextAnalysisForMember(leftOperand.type.declarations);
rightOperand.contextAnalysisForMember(leftOperand.type.declarations, declarations.currentClass);
/** END Bonus Aufgabe 5 */
/** BEGIN Aufgabe (f): Methoden Parameter */
rightOperand.contextAnalysisForParameters(declarations);
/** END Aufgabe (f) */
// Der Typ dieses Ausdrucks ist immer der des rechten Operanden.
type = rightOperand.type;
lValue = rightOperand.lValue;
return this;
}
/**
* Die Methode gibt diesen Ausdruck in einer Baumstruktur aus. Wenn der Typ des Ausdrucks bereits
* ermittelt wurde, wird er auch ausgegeben.
*
* @param tree Der Strom, in den die Ausgabe erfolgt.
*/
void print(TreeStream tree) {
tree.println(
"PERIOD" + (type == null ? "" : " : " + (lValue ? "REF " : "") + type.identifier.name));
tree.indent();
leftOperand.print(tree);
rightOperand.print(tree);
tree.unindent();
}
/**
* Die Methode generiert den Assembler-Code für diesen Ausdruck. Sie geht davon aus, dass die
* Kontextanalyse vorher erfolgreich abgeschlossen wurde.
*
* @param code Der Strom, in den die Ausgabe erfolgt.
*/
void generateCode(CodeStream code) {
leftOperand.generateCode(code);
rightOperand.generateCode(code);
}
/** BEGIN Bonus Aufgabe 2: Konstante Ausdruecke */
Expression optimizeTree() throws CompileException {
leftOperand = leftOperand.optimizeTree();
rightOperand = (VarOrCall) rightOperand.optimizeTree();
return this;
}
