模块 aya.base
程序包 org.aya.generic

接口 ParamLike<Expr extends AyaDocile>

类型参数:
Expr - the type of the expression contained, either Term or Expr.
所有超级接口:
AyaDocile
所有已知实现类:
Expr.Param, Term.Param
public interface ParamLike<Expr extends AyaDocile> extends AyaDocile

  • 方法概要

    修饰符和类型
    方法
    说明
    boolean
    explicit()
     
    default @NotNull org.aya.pretty.doc.Doc
    nameDoc()
     
    @NotNull LocalVar
    ref()
     
    default @NotNull org.aya.pretty.doc.Doc
    toDoc(@NotNull org.aya.pretty.doc.Doc names, @NotNull org.aya.util.distill.DistillerOptions options)
     
    default @NotNull org.aya.pretty.doc.Doc
    toDoc(@NotNull org.aya.util.distill.DistillerOptions options)
     
    Expr
    type()
     

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

    debuggerOnlyToDoc

  • 方法详细资料

    • explicit

      boolean explicit()

    • ref

      @NotNull @NotNull LocalVar ref()

    • type

      @NotNull Expr type()

    • toDoc

      @NotNull default @NotNull org.aya.pretty.doc.Doc toDoc(@NotNull @NotNull org.aya.util.distill.DistillerOptions options)
      指定者:
      toDoc 在接口中 AyaDocile

    • nameDoc

      @NotNull default @NotNull org.aya.pretty.doc.Doc nameDoc()

    • toDoc

      @NotNull default @NotNull org.aya.pretty.doc.Doc toDoc(@NotNull @NotNull org.aya.pretty.doc.Doc names, @NotNull @NotNull org.aya.util.distill.DistillerOptions options)