Module aya.cli.impl

Package org.aya.cli.single

Interface SingleAyaFile

All Superinterfaces:

org.aya.syntax.GenericAyaFile

All Known Implementing Classes:

SingleAyaFile.CodeAyaFile, SingleAyaFile.MarkdownAyaFile

public sealed interface SingleAyaFile
extends org.aya.syntax.GenericAyaFile
permits SingleAyaFile.CodeAyaFile, SingleAyaFile.MarkdownAyaFile

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static final record	SingleAyaFile.CodeAyaFile
static final record	SingleAyaFile.Factory
static final record	SingleAyaFile.MarkdownAyaFile

Method Summary

Modifier and Type	Method	Description
static @NotNull SingleAyaFile.MarkdownAyaFile	createLiterateFile(@NotNull SingleAyaFile.CodeAyaFile template, @NotNull org.aya.util.reporter.Reporter reporter)
default void	pretty(@NotNull CompilerFlags compilerFlags, @NotNull kala.collection.immutable.ImmutableSeq<? extends org.aya.generic.AyaDocile> doc, @NotNull org.aya.util.reporter.CollectingReporter reporter, CliEnums.PrettyStage currentStage)
default void	resolveAdditional(@NotNull org.aya.resolve.ResolveInfo info)	Must be called after GenericAyaFile.parseMe(org.aya.syntax.GenericAyaParser)
default @NotNull org.aya.pretty.doc.Doc	toDoc(@NotNull kala.collection.immutable.ImmutableSeq<org.aya.syntax.concrete.stmt.Stmt> program, @NotNull kala.collection.immutable.ImmutableSeq<org.aya.util.reporter.Problem> problems, LiterateData.InjectedFrontMatter frontMatter, @NotNull org.aya.util.prettier.PrettierOptions options)
default void	tyckAdditional(@NotNull org.aya.resolve.ResolveInfo info)

Methods inherited from interface org.aya.syntax.GenericAyaFile

codeFile, literate, originalFile, parseMe

Method Details

pretty

default void pretty(@NotNull
 @NotNull CompilerFlags compilerFlags,
 @NotNull
 @NotNull kala.collection.immutable.ImmutableSeq<? extends org.aya.generic.AyaDocile> doc,
 @NotNull
 @NotNull org.aya.util.reporter.CollectingReporter reporter,
 @NotNull
 CliEnums.PrettyStage currentStage)
             throws IOException

Throws:

IOException

toDoc

@VisibleForTesting
@NotNull
default @NotNull org.aya.pretty.doc.Doc toDoc(@NotNull
 @NotNull kala.collection.immutable.ImmutableSeq<org.aya.syntax.concrete.stmt.Stmt> program,
 @NotNull
 @NotNull kala.collection.immutable.ImmutableSeq<org.aya.util.reporter.Problem> problems,
 @NotNull
 LiterateData.InjectedFrontMatter frontMatter,
 @NotNull
 @NotNull org.aya.util.prettier.PrettierOptions options)
                                       throws IOException

Throws:

IOException

resolveAdditional

default void resolveAdditional(@NotNull
 @NotNull org.aya.resolve.ResolveInfo info)

Must be called after GenericAyaFile.parseMe(org.aya.syntax.GenericAyaParser)

tyckAdditional

@MustBeInvokedByOverriders
default void tyckAdditional(@NotNull
 @NotNull org.aya.resolve.ResolveInfo info)

createLiterateFile

@VisibleForTesting
@NotNull
static @NotNull SingleAyaFile.MarkdownAyaFile createLiterateFile(@NotNull
 @NotNull SingleAyaFile.CodeAyaFile template,
 @NotNull
 @NotNull org.aya.util.reporter.Reporter reporter)