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

Interface Command

All Superinterfaces:
AyaDocile, org.aya.util.error.SourceNode, Stmt, TyckUnit
All Known Implementing Classes:
Command.Import, Command.Module, Command.Open
public sealed interface Command extends Stmt permits Command.Import, Command.Open, Command.Module

  • Nested Class Summary

    Nested Classes
    Modifier and Type
    Interface
    Description
    static final record 
    Command.Import
     
    static final record 
    Command.Module
     
    static final record 
    Command.Open
     

    Nested classes/interfaces inherited from interface org.aya.concrete.stmt.Stmt

    Stmt.Accessibility

  • Method Summary

    Modifier and Type
    Method
    Description
    default boolean
    needTyck(@NotNull kala.collection.immutable.ImmutableSeq<String> currentMod)
     

    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.concrete.stmt.Stmt

    accessibility, desugar, toDoc

  • Method Details

    • needTyck

      default boolean needTyck(@NotNull @NotNull kala.collection.immutable.ImmutableSeq<String> currentMod)
      Specified by:
      needTyck in interface TyckUnit