Package org.pkl.core.ast.builder

Class SymbolTable

java.lang.Object

org.pkl.core.ast.builder.SymbolTable

public final class SymbolTable
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static final class	SymbolTable.AnnotationScope
static final class	SymbolTable.ClassScope
static final class	SymbolTable.CustomThisScope	A scope where this has a special meaning (type constraint, object member predicate).
static final class	SymbolTable.EntryScope
static final class	SymbolTable.LambdaScope
static final class	SymbolTable.MethodScope
static final class	SymbolTable.ModuleScope
static class	SymbolTable.ObjectScope
static final class	SymbolTable.PropertyScope
static class	SymbolTable.Scope
static final class	SymbolTable.TypeAliasScope
static class	SymbolTable.TypeParameterizableScope

Field Summary

Fields

Modifier and Type	Field	Description
static Object	FOR_GENERATOR_VARIABLE

Constructor Summary

Constructors

Constructor	Description
SymbolTable(ModuleInfo moduleInfo)

Method Summary

Modifier and Type	Method	Description
<T> T	enterAnnotationScope(Function<SymbolTable.AnnotationScope,T> nodeFactory)
ObjectMember	enterClass(Identifier name, List<TypeParameter> typeParameters, Function<SymbolTable.ClassScope,ObjectMember> nodeFactory)
<T> T	enterCustomThisScope(Function<SymbolTable.CustomThisScope,T> nodeFactory)
<T> T	enterEntry(@Nullable ExpressionNode keyNode, Function<SymbolTable.EntryScope,T> nodeFactory)
<T> T	enterLambda(com.oracle.truffle.api.frame.FrameDescriptor.Builder frameDescriptorBuilder, Function<SymbolTable.LambdaScope,T> nodeFactory)
<T> T	enterMethod(Identifier name, ConstLevel constLevel, com.oracle.truffle.api.frame.FrameDescriptor.Builder frameDescriptorBuilder, List<TypeParameter> typeParameters, Function<SymbolTable.MethodScope,T> nodeFactory)
<T> T	enterObjectScope(Function<SymbolTable.ObjectScope,T> nodeFactory)
<T> T	enterProperty(Identifier name, ConstLevel constLevel, Function<SymbolTable.PropertyScope,T> nodeFactory)
ObjectMember	enterTypeAlias(Identifier name, List<TypeParameter> typeParameters, Function<SymbolTable.TypeAliasScope,ObjectMember> nodeFactory)
@Nullable TypeParameter	findTypeParameter(String name)
SymbolTable.Scope	getCurrentScope()

Methods inherited from class java.lang.Object

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

Field Details

FOR_GENERATOR_VARIABLE

public static Object FOR_GENERATOR_VARIABLE

Constructor Details

SymbolTable

public SymbolTable(ModuleInfo moduleInfo)

Method Details

getCurrentScope

public SymbolTable.Scope getCurrentScope()

findTypeParameter

@Nullable
public @Nullable TypeParameter findTypeParameter(String name)

enterClass

public ObjectMember enterClass(Identifier name,
 List<TypeParameter> typeParameters,
 Function<SymbolTable.ClassScope,ObjectMember> nodeFactory)

enterTypeAlias

public ObjectMember enterTypeAlias(Identifier name,
 List<TypeParameter> typeParameters,
 Function<SymbolTable.TypeAliasScope,ObjectMember> nodeFactory)

enterMethod

public <T> T enterMethod(Identifier name,
 ConstLevel constLevel,
 com.oracle.truffle.api.frame.FrameDescriptor.Builder frameDescriptorBuilder,
 List<TypeParameter> typeParameters,
 Function<SymbolTable.MethodScope,T> nodeFactory)

enterLambda

public <T> T enterLambda(com.oracle.truffle.api.frame.FrameDescriptor.Builder frameDescriptorBuilder,
 Function<SymbolTable.LambdaScope,T> nodeFactory)

enterProperty

public <T> T enterProperty(Identifier name,
 ConstLevel constLevel,
 Function<SymbolTable.PropertyScope,T> nodeFactory)

enterEntry

public <T> T enterEntry(@Nullable
 @Nullable ExpressionNode keyNode,
 Function<SymbolTable.EntryScope,T> nodeFactory)

enterCustomThisScope

public <T> T enterCustomThisScope(Function<SymbolTable.CustomThisScope,T> nodeFactory)

enterAnnotationScope

public <T> T enterAnnotationScope(Function<SymbolTable.AnnotationScope,T> nodeFactory)

enterObjectScope

public <T> T enterObjectScope(Function<SymbolTable.ObjectScope,T> nodeFactory)