模块 aya.base

接口 Command

所有超级接口:
AyaDocile, org.aya.util.error.SourceNode, Stmt, TyckUnit
所有已知实现类:
Command.Import, Command.Module, Command.Open

public sealed interface Command extends Stmt permits Command.Import, Command.Open, Command.Module
  • 嵌套类概要

    嵌套类
    修饰符和类型
    接口
    说明
    static final record 
     
    static final record 
     
    static final record 
     

    从接口继承的嵌套类/接口 org.aya.concrete.stmt.Stmt

    Stmt.Accessibility
  • 方法概要

    修饰符和类型
    方法
    说明
    default boolean
    needTyck(@NotNull kala.collection.immutable.ImmutableSeq<String> currentMod)
     

    从接口继承的方法 org.aya.generic.AyaDocile

    debuggerOnlyToDoc

    从接口继承的方法 org.aya.util.error.SourceNode

    sourcePos

    从接口继承的方法 org.aya.concrete.stmt.Stmt

    accessibility, desugar, toDoc
  • 方法详细资料

    • needTyck

      default boolean needTyck(@NotNull @NotNull kala.collection.immutable.ImmutableSeq<String> currentMod)
      指定者:
      needTyck 在接口中 TyckUnit