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

类 Generalize

java.lang.Object
org.aya.concrete.stmt.Generalize
所有已实现的接口:
Stmt, AyaDocile, TyckUnit, org.aya.util.error.SourceNode
public final class Generalize extends Object implements Stmt

  • 字段详细资料

    • sourcePos

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

    • variables

      @NotNull public final @NotNull kala.collection.immutable.ImmutableSeq<GeneralizedVar> variables

    • type

      @NotNull public @NotNull Expr type

    • ctx

      @Nullable public @Nullable Context ctx

  • 构造器详细资料

    • Generalize

      public Generalize(@NotNull @NotNull org.aya.util.error.SourcePos sourcePos, @NotNull @NotNull kala.collection.immutable.ImmutableSeq<GeneralizedVar> variables, @NotNull @NotNull Expr type)

  • 方法详细资料

    • accessibility

      @NotNull public @NotNull Stmt.Accessibility accessibility()
      指定者:
      accessibility 在接口中 Stmt

    • needTyck

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

    • toExpr

      @NotNull public Expr.Param toExpr(boolean explicit, @NotNull @NotNull LocalVar ref)

    • toExpr

      @NotNull public @NotNull kala.collection.immutable.ImmutableSeq<Expr.Param> toExpr()

    • sourcePos

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