Module aya.cli.impl

Package org.aya.cli.interactive

Class ReplCompiler

java.lang.Object

org.aya.cli.interactive.ReplCompiler

public class ReplCompiler
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
final @NotNull kala.collection.mutable.MutableList<org.aya.resolve.ResolveInfo>	imports
final @NotNull kala.collection.immutable.ImmutableSeq<Path>	modulePaths
final @NotNull org.aya.util.reporter.CountingReporter	reporter

Constructor Summary

Constructors

Constructor	Description
ReplCompiler(@NotNull kala.collection.immutable.ImmutableSeq<Path> modulePaths, @NotNull org.aya.util.reporter.Reporter delegateReporter, @Nullable org.aya.util.error.SourceFileLocator locator)

Method Summary

Modifier and Type	Method	Description
@NotNull kala.control.Either<kala.collection.immutable.ImmutableSeq<org.aya.syntax.core.def.TyckDef>,org.aya.syntax.core.term.Term>	compileToContext(@NotNull String text, @NotNull org.aya.syntax.literate.CodeOptions.NormalizeMode normalizeMode)
@NotNull kala.control.Either<kala.collection.immutable.ImmutableSeq<org.aya.syntax.core.def.TyckDef>,org.aya.syntax.core.term.Term>	compileToContext(@NotNull kala.function.CheckedFunction<org.aya.producer.AyaParserImpl,kala.control.Either<kala.collection.immutable.ImmutableSeq<org.aya.syntax.concrete.stmt.Stmt>,org.aya.util.error.WithPos<org.aya.syntax.concrete.Expr>>,IOException> parsing, @NotNull org.aya.syntax.literate.CodeOptions.NormalizeMode normalizeMode)	Copied and adapted.
@Nullable org.aya.syntax.core.term.Term	computeType(@NotNull String text, org.aya.syntax.literate.CodeOptions.NormalizeMode mode)
@NotNull ReplContext	getContext()
@NotNull org.aya.primitive.ShapeFactory	getShapeFactory()
void	loadPreludeIfPossible()
void	loadToContext(@NotNull Path file)
@Nullable org.aya.syntax.ref.AnyVar	parseToAnyVar(@NotNull String text)

Methods inherited from class java.lang.Object

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

Field Details

reporter

@NotNull
public final @NotNull org.aya.util.reporter.CountingReporter reporter

modulePaths

@NotNull
public final @NotNull kala.collection.immutable.ImmutableSeq<Path> modulePaths

imports

@NotNull
public final @NotNull kala.collection.mutable.MutableList<org.aya.resolve.ResolveInfo> imports

Constructor Details

ReplCompiler

public ReplCompiler(@NotNull
 @NotNull kala.collection.immutable.ImmutableSeq<Path> modulePaths,
 @NotNull
 @NotNull org.aya.util.reporter.Reporter delegateReporter,
 @Nullable
 @Nullable org.aya.util.error.SourceFileLocator locator)

Method Details

loadToContext

public void loadToContext(@NotNull
 @NotNull Path file)
                   throws IOException

Throws:

IOException

compileToContext

@NotNull
public @NotNull kala.control.Either<kala.collection.immutable.ImmutableSeq<org.aya.syntax.core.def.TyckDef>,org.aya.syntax.core.term.Term> compileToContext(@NotNull
 @NotNull String text,
 @NotNull
 @NotNull org.aya.syntax.literate.CodeOptions.NormalizeMode normalizeMode)

Parameters:

text - the text of code to compile, witch might either be a `program` or an `expr`.

compileToContext

@NotNull
public @NotNull kala.control.Either<kala.collection.immutable.ImmutableSeq<org.aya.syntax.core.def.TyckDef>,org.aya.syntax.core.term.Term> compileToContext(@NotNull
 @NotNull kala.function.CheckedFunction<org.aya.producer.AyaParserImpl,kala.control.Either<kala.collection.immutable.ImmutableSeq<org.aya.syntax.concrete.stmt.Stmt>,org.aya.util.error.WithPos<org.aya.syntax.concrete.Expr>>,IOException> parsing,
 @NotNull
 @NotNull org.aya.syntax.literate.CodeOptions.NormalizeMode normalizeMode)

Copied and adapted.

See Also:

• SingleFileCompiler.compile(java.nio.file.Path, org.aya.resolve.module.ModuleCallback<E>)

parseToAnyVar

@Nullable
public @Nullable org.aya.syntax.ref.AnyVar parseToAnyVar(@NotNull
 @NotNull String text)

computeType

@Nullable
public @Nullable org.aya.syntax.core.term.Term computeType(@NotNull
 @NotNull String text,
 org.aya.syntax.literate.CodeOptions.NormalizeMode mode)

getContext

@NotNull
public @NotNull ReplContext getContext()

getShapeFactory

@NotNull
public @NotNull org.aya.primitive.ShapeFactory getShapeFactory()

loadPreludeIfPossible

public void loadPreludeIfPossible()