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

类 Signatured

java.lang.Object
org.aya.concrete.stmt.Signatured
所有已实现的接口:
TyckUnit, org.aya.util.binop.OpDecl, org.aya.util.error.SourceNode
直接已知子类:
Decl, Decl.DataCtor, Decl.StructField
public abstract sealed class Signatured extends Object implements org.aya.util.error.SourceNode, org.aya.util.binop.OpDecl, TyckUnit permits Decl, Decl.DataCtor, Decl.StructField
An item in the signature, with telescope and result type.

  • 嵌套类概要

    从接口继承的嵌套类/接口 org.aya.util.binop.OpDecl

    org.aya.util.binop.OpDecl.BindPred, org.aya.util.binop.OpDecl.OpInfo

  • 字段概要

    字段
    修饰符和类型
    字段
    说明
    final @NotNull BindBlock
    bindBlock
     
    final @NotNull org.aya.util.error.SourcePos
    entireSourcePos
     
    final @Nullable org.aya.util.binop.OpDecl.OpInfo
    opInfo
     
    Def.Signature
    signature
     
    final @NotNull org.aya.util.error.SourcePos
    sourcePos
     
    @NotNull kala.collection.immutable.ImmutableSeq<Expr.Param>
    telescope
     

    从接口继承的字段 org.aya.util.binop.OpDecl

    APPLICATION

  • 构造器概要

    构造器
    限定符
    构造器
    说明
    protected
    Signatured(@NotNull org.aya.util.error.SourcePos sourcePos, @NotNull org.aya.util.error.SourcePos entireSourcePos, org.aya.util.binop.OpDecl.OpInfo opInfo, @NotNull BindBlock bindBlock, @NotNull kala.collection.immutable.ImmutableSeq<Expr.Param> telescope)
     

  • 方法概要

    修饰符和类型
    方法
    说明
    boolean
    needTyck(@NotNull kala.collection.immutable.ImmutableSeq<String> currentMod)
     
    @Nullable org.aya.util.binop.OpDecl.OpInfo
    opInfo()
     
    abstract @NotNull DefVar<?,?>
    ref()
     
    @NotNull org.aya.util.error.SourcePos
    sourcePos()
     
    String
    toString()
     

    从类继承的方法 java.lang.Object

    clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

  • 字段详细资料

    • sourcePos

      @NotNull public final @NotNull org.aya.util.error.SourcePos sourcePos

    • entireSourcePos

      @NotNull public final @NotNull org.aya.util.error.SourcePos entireSourcePos

    • opInfo

      @Nullable public final @Nullable org.aya.util.binop.OpDecl.OpInfo opInfo

    • bindBlock

      @NotNull public final @NotNull BindBlock bindBlock

    • telescope

      @NotNull public @NotNull kala.collection.immutable.ImmutableSeq<Expr.Param> telescope

    • signature

      @Nullable public Def.Signature signature

  • 构造器详细资料

    • Signatured

      protected Signatured(@NotNull @NotNull org.aya.util.error.SourcePos sourcePos, @NotNull @NotNull org.aya.util.error.SourcePos entireSourcePos, @Nullable org.aya.util.binop.OpDecl.OpInfo opInfo, @NotNull @NotNull BindBlock bindBlock, @NotNull @NotNull kala.collection.immutable.ImmutableSeq<Expr.Param> telescope)

  • 方法详细资料

    • sourcePos

      @NotNull public @NotNull org.aya.util.error.SourcePos sourcePos()
      指定者:
      sourcePos 在接口中 org.aya.util.error.SourceNode

    • opInfo

      @Nullable public @Nullable org.aya.util.binop.OpDecl.OpInfo opInfo()
      指定者:
      opInfo 在接口中 org.aya.util.binop.OpDecl

    • ref

      @Contract(pure=true) @NotNull public abstract @NotNull DefVar<?,?> ref()

    • needTyck

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

    • toString

      public String toString()
      覆盖:
      toString 在类中 Object