Package org.ek9lang.compiler.phase3

Class ProcessTypeConstraint

java.lang.Object

org.ek9lang.compiler.common.RuleSupport

org.ek9lang.compiler.common.TypedSymbolAccess

org.ek9lang.compiler.phase3.ProcessTypeConstraint

All Implemented Interfaces:

BiConsumer<AggregateSymbol,EK9Parser.ConstrainDeclarationContext>

final class ProcessTypeConstraint
extends TypedSymbolAccess
implements BiConsumer<AggregateSymbol,EK9Parser.ConstrainDeclarationContext>

Checks that any recursive type constraints on a type are valid. Note that this consumer does have side effects in terms of recording expressions against nodes.

Field Summary

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

errorListener, symbolsAndScopes

Constructor Summary

Constructors

Constructor	Description
ProcessTypeConstraint(SymbolsAndScopes symbolsAndScopes, SymbolFactory symbolFactory, ErrorListener errorListener)

Method Summary

Modifier and Type	Method	Description
void	accept(AggregateSymbol aggregateSymbol, EK9Parser.ConstrainDeclarationContext ctx)

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

andThen

Constructor Details

ProcessTypeConstraint

ProcessTypeConstraint(SymbolsAndScopes symbolsAndScopes,
 SymbolFactory symbolFactory,
 ErrorListener errorListener)

Method Details

accept

public void accept(AggregateSymbol aggregateSymbol,
 EK9Parser.ConstrainDeclarationContext ctx)

Specified by:

accept in interface BiConsumer<AggregateSymbol,EK9Parser.ConstrainDeclarationContext>