Package org.ek9lang.compiler.phase1

Class CheckVariableDeclaration

java.lang.Object

org.ek9lang.compiler.phase1.CheckVariableDeclaration

All Implemented Interfaces:

Consumer<EK9Parser.VariableDeclarationContext>

final class CheckVariableDeclaration
extends Object
implements Consumer<EK9Parser.VariableDeclarationContext>

Checks that variable declarations have a typedef when using in generic types/functions. This is an initial limitation of using generics. It makes dependent generic use very hard to determine - because you need expression results and types - so a catch 22 (for now).

Constructor Summary

Constructors

Constructor	Description
CheckVariableDeclaration(SymbolAndScopeManagement symbolAndScopeManagement, ErrorListener errorListener)	If the variable has been declared within any sort of generic type/function and not been used with a 'typedef' i.e.

Method Summary

Modifier and Type	Method	Description
void	accept(EK9Parser.VariableDeclarationContext ctx)

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

CheckVariableDeclaration

CheckVariableDeclaration(SymbolAndScopeManagement symbolAndScopeManagement,
 ErrorListener errorListener)

If the variable has been declared within any sort of generic type/function and not been used with a 'typedef' i.e. it has been inferred - this will generate an error.

Method Details

accept

public void accept(EK9Parser.VariableDeclarationContext ctx)

Specified by:

accept in interface Consumer<EK9Parser.VariableDeclarationContext>