Package org.ek9lang.compiler.phase2

Class CheckAndPopulateConstrainedType

java.lang.Object

org.ek9lang.compiler.common.RuleSupport

org.ek9lang.compiler.phase2.CheckAndPopulateConstrainedType

All Implemented Interfaces:

BiConsumer<AggregateSymbol,ISymbol>

class CheckAndPopulateConstrainedType
extends RuleSupport
implements BiConsumer<AggregateSymbol,ISymbol>

For Constrained Types, focus on checking it is possible to constrain the type and if so then clones the appropriate methods/operators over and alters the types as appropriate. Note that it must also ensure that any constructors on the Constraining type if pure are also marked pure. Once one constructor is pure all constructors must be pure.

Field Summary

Fields

Modifier and Type	Field	Description
(package private) final AggregateFactory	aggregateFactory
(package private) final AggregateHasPureConstruction	aggregateHasPureConstruction
(package private) final List<String>	methodNamesToAlsoRetrainOldSignature
(package private) final List<String>	methodNamesWithAlterableArgumentTypes
(package private) final List<String>	methodNamesWithAlterableReturnTypes
(package private) final List<String>	methodNamesWithNonAlterableReturnTypes

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

errorListener, symbolsAndScopes

Constructor Summary

Constructors

Constructor	Description
CheckAndPopulateConstrainedType(SymbolsAndScopes symbolsAndScopes, AggregateFactory aggregateFactory, ErrorListener errorListener)

Method Summary

Modifier and Type	Method	Description
void	accept(AggregateSymbol newType, ISymbol constrainedType)

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.BiConsumer

andThen

Field Details

aggregateFactory

final AggregateFactory aggregateFactory

methodNamesToAlsoRetrainOldSignature

final List<String> methodNamesToAlsoRetrainOldSignature

methodNamesWithAlterableArgumentTypes

final List<String> methodNamesWithAlterableArgumentTypes

methodNamesWithAlterableReturnTypes

final List<String> methodNamesWithAlterableReturnTypes

methodNamesWithNonAlterableReturnTypes

final List<String> methodNamesWithNonAlterableReturnTypes

aggregateHasPureConstruction

final AggregateHasPureConstruction aggregateHasPureConstruction

Constructor Details

CheckAndPopulateConstrainedType

CheckAndPopulateConstrainedType(SymbolsAndScopes symbolsAndScopes,
 AggregateFactory aggregateFactory,
 ErrorListener errorListener)

Method Details

accept

public void accept(AggregateSymbol newType,
 ISymbol constrainedType)

Specified by:

accept in interface BiConsumer<AggregateSymbol,ISymbol>