Package org.ek9lang.compiler.phase3

Class CheckTypeCovariance

java.lang.Object

org.ek9lang.compiler.common.RuleSupport

org.ek9lang.compiler.common.TypedSymbolAccess

org.ek9lang.compiler.phase3.CheckTypeCovariance

All Implemented Interfaces:

Consumer<CovarianceCheckData>

final class CheckTypeCovariance
extends TypedSymbolAccess
implements Consumer<CovarianceCheckData>

Checks the covariance compatibility of two variables, this will traverse them to get their types. Emits errors if they are not compatible. This is a check that excludes coercion of types.

Field Summary

Fields inherited from class org.ek9lang.compiler.common.RuleSupport

errorListener, symbolsAndScopes

Constructor Summary

Constructors

Constructor	Description
CheckTypeCovariance(SymbolsAndScopes symbolsAndScopes, ErrorListener errorListener)

Method Summary

Modifier and Type	Method	Description
void	accept(CovarianceCheckData data)

Methods inherited from class org.ek9lang.compiler.common.TypedSymbolAccess

getRecordedAndTypedSymbol, isProcessingScopePure, recordATypedSymbol

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.util.function.Consumer

andThen

Constructor Details

CheckTypeCovariance

CheckTypeCovariance(SymbolsAndScopes symbolsAndScopes,
 ErrorListener errorListener)

Method Details

accept

public void accept(CovarianceCheckData data)

Specified by:

accept in interface Consumer<CovarianceCheckData>