模块 aya.guest.base
程序包 org.aya.guest0x0.syntax

类 DefVar<D extends Def>

java.lang.Object
org.aya.guest0x0.syntax.DefVar<D>
所有已实现的接口:
AnyVar
public final class DefVar<D extends Def> extends Object implements AnyVar
Use with extreme caution: the field core can be assigned only once after the core is generated. We shall not copy any well-typed Def to avoid the same DefVar semantically corresponds to different Defs.

For concrete (pre-elaboration) defs, we can copy them, and that's only because we do not store concrete defs in DefVar. In case we do, we have to make ASTs mutable if we want to mutate them.

  • 字段详细资料

    • core

      public D extends Def core

    • signature

      public Def.Signature signature

    • name

      @NotNull public final @NotNull String name

  • 构造器详细资料

    • DefVar

      public DefVar(@NotNull @NotNull String name)

  • 方法详细资料

    • name

      @NotNull public @NotNull String name()
      指定者:
      name 在接口中 AnyVar