Module aya.cli.impl
Package org.aya.cli.single

Interface SingleAyaFile

All Superinterfaces:
org.aya.concrete.GenericAyaFile
All Known Implementing Classes:
SingleAyaFile.CodeAyaFile, SingleAyaFile.MarkdownAyaFile
public sealed interface SingleAyaFile extends org.aya.concrete.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, CliEnums.PrettyStage currentStage)
     
    default void
    resolveAdditional(@NotNull org.aya.resolve.ResolveInfo info)
    Must be called after GenericAyaFile.parseMe(org.aya.concrete.GenericAyaParser)
    default @NotNull org.aya.pretty.doc.Doc
    toDoc(@NotNull kala.collection.immutable.ImmutableSeq<org.aya.concrete.stmt.Stmt> program, @NotNull org.aya.util.prettier.PrettierOptions options)
     
    default void
    tyckAdditional(@NotNull org.aya.resolve.ResolveInfo info)
     

    Methods inherited from interface org.aya.concrete.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 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.concrete.stmt.Stmt> program, @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.concrete.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)