模块 aya.base
程序包 org.aya.concrete.stmt

接口 Decl.TopLevel

所有已知实现类:
ClassDecl, TeleDecl, TeleDecl.DataDecl, TeleDecl.FnDecl, TeleDecl.PrimDecl, TeleDecl.StructDecl
封闭接口:
Decl
public static sealed interface Decl.TopLevel permits ClassDecl, TeleDecl
Denotes that the definition can be defined at top-level

  • 方法详细资料

    • personality

      @NotNull @NotNull Decl.Personality personality()

    • getCtx

      @Nullable @Nullable Context getCtx()

    • setCtx

      void setCtx(@NotNull @NotNull Context ctx)