/**
* Die Methode führt die Kontextanalyse für diesen Ausdruck durch. Diese Methode wird auch für
* Ausdrücke aufgerufen, die rechts vom Objekt-Zugriffsoperator stehen.
*
* @param declarations Die an dieser Stelle gültigen Deklarationen.
* @param caller Die Klasse des Anfragenden.
* @throws CompileException Während der Kontextanylyse wurde ein Fehler gefunden.
*/
void contextAnalysisForMember(Declarations declarations, ClassDeclaration caller)
throws CompileException {
declarations.resolveVarOrMethod(identifier, caller);
/** END Bonus Aufgabe 5 */
if (identifier.declaration instanceof VarDeclaration) {
type = (ClassDeclaration) ((VarDeclaration) identifier.declaration).type.declaration;
lValue = true;
/** BEGIN Aufgabe (i): Vererbung */
// SELF und BASE sind R-Werte
if (identifier.name.equals("_self") || identifier.name.equals("_base")) {
lValue = false;
}
/** END Aufgabe (i) */
} else if (identifier.declaration instanceof MethodDeclaration) {
// type = ClassDeclaration.voidType;
/** BEGIN Aufgabe (g): return */
type = (ClassDeclaration) ((MethodDeclaration) identifier.declaration).returnType.declaration;
/** END Aufgabe (g) */
} else {
assert false;
}
}
