Class IsSetPresentOrError

java.lang.Object

org.ek9lang.compiler.common.RuleSupport

org.ek9lang.compiler.common.TypedSymbolAccess

org.ek9lang.compiler.phase3.OperatorTest

org.ek9lang.compiler.phase3.IsSetPresentOrError

All Implemented Interfaces:

BiPredicate<IToken,ISymbol>

final class IsSetPresentOrError
extends OperatorTest
implements BiPredicate<IToken,ISymbol>

Given a symbol, this check that the type that the symbol has can support the '?' operation. This includes variable/expressions that have a type that is a function.

Field Summary

Fields inherited from class RuleSupport

errorListener, symbolsAndScopes

Constructor Summary

Constructors

Constructor	Description
IsSetPresentOrError(SymbolsAndScopes symbolsAndScopes, ErrorListener errorListener)

Method Summary

Modifier and Type	Method	Description
protected Optional<Boolean>	decidedForType(ISymbol symbolType)	The types '?' is decided for without a search - shared by test(IToken, ISymbol) and OperatorTest.testType(IToken, ISymbol) (B-2, so the coalescing operators judging a common type get them too).
protected MethodSymbolSearch	getMethodSymbolSearch(ISymbol symbolType)
boolean	test(IToken operatorUse, ISymbol symbol)

Methods inherited from class OperatorTest

getSymbolType, isOperatorPresent, notAnEnumerationTypeOrError, testType

Methods inherited from class TypedSymbolAccess

emitTypeNotResolvedError, getRecordedAndTypedSymbol, isAlreadyInError, isProcessingScopePure, isPureReassignmentDisallowed, recordATypedSymbol

Methods inherited from class Object

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

Methods inherited from interface BiPredicate

and, negate, or

Constructor Details

IsSetPresentOrError

IsSetPresentOrError(SymbolsAndScopes symbolsAndScopes,
 ErrorListener errorListener)

Method Details

test

public boolean test(IToken operatorUse,
 ISymbol symbol)

Specified by:

test in interface BiPredicate<IToken,ISymbol>

Overrides:

test in class OperatorTest

decidedForType

protected Optional<Boolean> decidedForType(ISymbol symbolType)

The types '?' is decided for without a search - shared by test(IToken, ISymbol) and OperatorTest.testType(IToken, ISymbol) (B-2, so the coalescing operators judging a common type get them too).

Functions and 'Any' always support is-set (a function is set when present; 'Any' will actually have a sub-type and that may implement is-set, else a default is returned). A 'text' aggregate has no operators but can be checked with ? and :=? (a presence check in the implementation), and so can an enumeration value.

Overrides:

decidedForType in class OperatorTest

getMethodSymbolSearch

protected MethodSymbolSearch getMethodSymbolSearch(ISymbol symbolType)

Specified by:

getMethodSymbolSearch in class OperatorTest