Class IdentifierAsPropertyOrError

java.lang.Object

org.ek9lang.compiler.common.RuleSupport

org.ek9lang.compiler.common.TypedSymbolAccess

org.ek9lang.compiler.phase5.IdentifierAsPropertyOrError

All Implemented Interfaces:

Consumer<EK9Parser.IdentifierContext>

public class IdentifierAsPropertyOrError
extends TypedSymbolAccess
implements Consumer<EK9Parser.IdentifierContext>

Given an identifier, this consumer checks if it is a property of some aggregate. If so it then process the safe access methods to check that a property when not initialised during declaration can be safely accessed within a method body.

Field Summary

Fields inherited from class RuleSupport

errorListener, symbolsAndScopes

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	IdentifierAsPropertyOrError(SymbolsAndScopes symbolsAndScopes, ErrorListener errorListener)

Method Summary

Modifier and Type	Method	Description
void	accept(EK9Parser.IdentifierContext ctx)
void	assignmentCompleted(EK9Parser.AssignmentStatementContext ctx)	The assignment statement has been evaluated: the properties it set are now safe for the rest of this flow.
(package private) static boolean	isOnAnotherObject(EK9Parser.IdentifierContext ctx)	True if the property is reached through some object other than this one: 'from.name', or 'this.partner.value'.

Methods inherited from class TypedSymbolAccess

emitTypeNotResolvedError, getRecordedAndTypedSymbol, isAlreadyInError, isProcessingScopePure, recordATypedSymbol

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface Consumer

andThen

Constructor Details

IdentifierAsPropertyOrError

protected IdentifierAsPropertyOrError(SymbolsAndScopes symbolsAndScopes,
 ErrorListener errorListener)

Method Details

accept

public void accept(EK9Parser.IdentifierContext ctx)

Specified by:

accept in interface Consumer<EK9Parser.IdentifierContext>

assignmentCompleted

public void assignmentCompleted(EK9Parser.AssignmentStatementContext ctx)

The assignment statement has been evaluated: the properties it set are now safe for the rest of this flow.

isOnAnotherObject

static boolean isOnAnotherObject(EK9Parser.IdentifierContext ctx)

True if the property is reached through some object other than this one: 'from.name', or 'this.partner.value'. Only a first member after 'this' - or no receiver at all - is this object's own property. Shared with ObjectUsedBeforeConstructedOrError, which asks the same question of a read in a construction call.