Module aya.cli.impl

Package org.aya.cli.interactive

Class ReplContext

java.lang.Object

org.aya.resolve.context.PhysicalModuleContext

org.aya.cli.interactive.ReplContext

All Implemented Interfaces:

org.aya.resolve.context.Context, org.aya.resolve.context.ModuleContext, org.aya.tyck.tycker.Problematic, org.aya.util.RepoLike<ReplContext>

public final class ReplContext
extends org.aya.resolve.context.PhysicalModuleContext
implements org.aya.util.RepoLike<ReplContext>

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static final record	ReplContext.ModuleTrie

Nested classes/interfaces inherited from interface org.aya.resolve.context.Context

org.aya.resolve.context.Context.ResolvingInterruptedException

Field Summary

Fields inherited from class org.aya.resolve.context.PhysicalModuleContext

exports, modules, parent, reporter, symbols

Constructor Summary

Constructors

Constructor	Description
ReplContext(@NotNull org.aya.util.reporter.Reporter reporter, @NotNull org.aya.resolve.context.Context parent, @NotNull org.aya.syntax.ref.ModulePath name)

Method Summary

Modifier and Type	Method	Description
void	clear()
@NotNull ReplContext	derive(@NotNull String extraName, @NotNull org.aya.util.reporter.Reporter reporter)
@NotNull ReplContext	derive(@NotNull org.aya.syntax.ref.ModulePath extraName, @NotNull org.aya.util.reporter.Reporter reporter)
boolean	exportSymbol(@NotNull String name, @NotNull org.aya.syntax.ref.AnyDefVar ref)
@NotNull ReplContext	fork()
@NotNull kala.collection.immutable.ImmutableSeq<String>	giveMeHint(@NotNull kala.collection.immutable.ImmutableSeq<String> prefix)
void	importModule(org.aya.syntax.concrete.stmt.ModuleName.Qualified modName, @NotNull org.aya.resolve.context.ModuleExport mod, @NotNull org.aya.syntax.concrete.stmt.Stmt.Accessibility accessibility, @NotNull org.aya.util.error.SourcePos sourcePos)
void	importSymbol(@NotNull org.aya.syntax.ref.AnyVar ref, @NotNull org.aya.syntax.concrete.stmt.ModuleName fromModule, @NotNull String name, org.aya.syntax.concrete.stmt.Stmt.Accessibility acc, @NotNull org.aya.util.error.SourcePos sourcePos)
void	merge()
@NotNull kala.collection.immutable.ImmutableMap<String,ReplContext.ModuleTrie>	moduleTree()
void	setDownstream(@Nullable ReplContext downstream)

Methods inherited from class org.aya.resolve.context.PhysicalModuleContext

exampleContext, exports, modulePath, modules, parent, reporter, symbols

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.aya.resolve.context.Context

bind, bind, bind, collect, derive, derive, get, getMaybe, getModuleMaybe, getQualified, getQualifiedMaybe, getUnqualified, getUnqualifiedMaybe, iterate, reportAll, reportAllAndThrow, reportAndThrow

Methods inherited from interface org.aya.resolve.context.ModuleContext

defineSymbol, getModuleLocalMaybe, getQualifiedLocalMaybe, getUnqualifiedLocalMaybe, importModuleContext, openModule, openModule, underlyingFile

Methods inherited from interface org.aya.tyck.tycker.Problematic

fail, fail, fail

Methods inherited from interface org.aya.util.RepoLike

fork

Constructor Details

ReplContext

public ReplContext(@NotNull
 @NotNull org.aya.util.reporter.Reporter reporter,
 @NotNull
 @NotNull org.aya.resolve.context.Context parent,
 @NotNull
 @NotNull org.aya.syntax.ref.ModulePath name)

Method Details

importSymbol

public void importSymbol(@NotNull
 @NotNull org.aya.syntax.ref.AnyVar ref,
 @NotNull
 @NotNull org.aya.syntax.concrete.stmt.ModuleName fromModule,
 @NotNull
 @NotNull String name,
 @NotNull
 org.aya.syntax.concrete.stmt.Stmt.Accessibility acc,
 @NotNull
 @NotNull org.aya.util.error.SourcePos sourcePos)

Specified by:

importSymbol in interface org.aya.resolve.context.ModuleContext

exportSymbol

public boolean exportSymbol(@NotNull
 @NotNull String name,
 @NotNull
 @NotNull org.aya.syntax.ref.AnyDefVar ref)

Specified by:

exportSymbol in interface org.aya.resolve.context.ModuleContext

Overrides:

exportSymbol in class org.aya.resolve.context.PhysicalModuleContext

importModule

public void importModule(@NotNull
 org.aya.syntax.concrete.stmt.ModuleName.Qualified modName,
 @NotNull
 @NotNull org.aya.resolve.context.ModuleExport mod,
 @NotNull org.aya.syntax.concrete.stmt.Stmt.Accessibility accessibility,
 @NotNull
 @NotNull org.aya.util.error.SourcePos sourcePos)

Specified by:

importModule in interface org.aya.resolve.context.ModuleContext

Overrides:

importModule in class org.aya.resolve.context.PhysicalModuleContext

derive

@NotNull
public @NotNull ReplContext derive(@NotNull
 @NotNull org.aya.syntax.ref.ModulePath extraName,
 @NotNull
 @NotNull org.aya.util.reporter.Reporter reporter)

Specified by:

derive in interface org.aya.resolve.context.Context

derive

@NotNull
public @NotNull ReplContext derive(@NotNull
 @NotNull String extraName,
 @NotNull
 @NotNull org.aya.util.reporter.Reporter reporter)

Specified by:

derive in interface org.aya.resolve.context.Context

setDownstream

public void setDownstream(@Nullable
 @Nullable ReplContext downstream)

Specified by:

setDownstream in interface org.aya.util.RepoLike<ReplContext>

fork

@NotNull
public @NotNull ReplContext fork()

merge

public void merge()

Specified by:

merge in interface org.aya.util.RepoLike<ReplContext>

clear

@Contract(mutates="this")
public void clear()

giveMeHint

@NotNull
public @NotNull kala.collection.immutable.ImmutableSeq<String> giveMeHint(@NotNull
 @NotNull kala.collection.immutable.ImmutableSeq<String> prefix)

moduleTree

@NotNull
public @NotNull kala.collection.immutable.ImmutableMap<String,ReplContext.ModuleTrie> moduleTree()