Module aya.base
Package org.aya.concrete.stmt

Interface Stmt

All Superinterfaces:
AyaDocile, org.aya.util.error.SourceNode, TyckUnit
All Known Subinterfaces:
Command, Decl
All Known Implementing Classes:
ClassDecl, Command.Import, Command.Module, Command.Open, CommonDecl, Generalize, TeleDecl, TeleDecl.DataCtor, TeleDecl.DataDecl, TeleDecl.FnDecl, TeleDecl.PrimDecl, TeleDecl.StructDecl, TeleDecl.StructField
public sealed interface Stmt extends AyaDocile, TyckUnit permits Decl, Command, Generalize

  • Nested Class Summary

    Nested Classes
    Modifier and Type
    Interface
    Description
    static enum 
    Stmt.Accessibility
     

  • Method Summary

    Modifier and Type
    Method
    Description
    @NotNull Stmt.Accessibility
    accessibility()
     
    default void
    desugar(@NotNull ResolveInfo resolveInfo)
     
    static void
    resolve(@NotNull kala.collection.immutable.ImmutableSeq<Stmt> statements, @NotNull ResolveInfo resolveInfo, @NotNull ModuleLoader loader)
     
    static void
    resolveWithoutDesugar(@NotNull kala.collection.immutable.ImmutableSeq<Stmt> statements, @NotNull ResolveInfo resolveInfo, @NotNull ModuleLoader loader)
     
    default @NotNull org.aya.pretty.doc.Doc
    toDoc(@NotNull org.aya.util.distill.DistillerOptions options)
     

    Methods inherited from interface org.aya.generic.AyaDocile

    debuggerOnlyToDoc

    Methods inherited from interface org.aya.util.error.SourceNode

    sourcePos

    Methods inherited from interface org.aya.tyck.order.TyckUnit

    needTyck

  • Method Details

    • accessibility

      @Contract(pure=true) @NotNull @NotNull Stmt.Accessibility accessibility()
      API Note:
      the \import stmts do not have a meaningful accessibility, do not refer to this in those cases

    • resolve

      @Contract(mutates="param1") static void resolve(@NotNull @NotNull kala.collection.immutable.ImmutableSeq<Stmt> statements, @NotNull @NotNull ResolveInfo resolveInfo, @NotNull @NotNull ModuleLoader loader)

    • resolveWithoutDesugar

      @Contract(mutates="param1") static void resolveWithoutDesugar(@NotNull @NotNull kala.collection.immutable.ImmutableSeq<Stmt> statements, @NotNull @NotNull ResolveInfo resolveInfo, @NotNull @NotNull ModuleLoader loader)

    • desugar

      default void desugar(@NotNull @NotNull ResolveInfo resolveInfo)

    • toDoc

      @NotNull default @NotNull org.aya.pretty.doc.Doc toDoc(@NotNull @NotNull org.aya.util.distill.DistillerOptions options)
      Specified by:
      toDoc in interface AyaDocile