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

类 DefVar<Core extends GenericDef,Concrete extends Decl>

java.lang.Object
org.aya.ref.DefVar<Core,Concrete>
所有已实现的接口:
AnyVar
public final class DefVar<Core extends GenericDef,Concrete extends Decl> extends Object implements AnyVar

  • 字段概要

    字段
    修饰符和类型
    字段
    说明
    @UnknownNullability Concrete
    concrete
    Initialized in parsing, so it might be null for deserialized user definitions.
    @UnknownNullability Core
    core
    Initialized in type checking or core deserialization, so it might be null for unchecked user definitions.
    @Nullable kala.collection.immutable.ImmutableSeq<String>
    module
    Initialized in the resolver or core deserialization
    @Nullable org.aya.util.binop.OpDecl
    opDecl
    Initialized in the resolver or core deserialization
    @NotNull kala.collection.mutable.MutableMap<kala.collection.immutable.ImmutableSeq<String>,org.aya.util.binop.OpDecl>
    opDeclRename
    Binary operators can be renamed in other modules.

  • 方法概要

    修饰符和类型
    方法
    说明
    static <Core extends GenericDef, Concrete extends Decl>
    @NotNull DefVar<Core,Concrete>
    concrete(Concrete concrete, @NotNull String name)
    Used in user definitions.
    static <Core extends Def, Concrete extends Decl>
    @NotNull DefVar<Core,Concrete>
    empty(@NotNull String name)
    Used in the serialization of core and primitive definitions.
    boolean
    equals(Object o)
     
    boolean
    isInfix()
     
    boolean
    isInModule(@NotNull kala.collection.immutable.ImmutableSeq<String> moduleName)
     
    @NotNull String
    name()
     
    @Nullable org.aya.util.binop.OpDecl
    resolveOpDecl(@NotNull kala.collection.immutable.ImmutableSeq<String> moduleName)
     

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

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

  • 字段详细资料

    • concrete

      public @UnknownNullability Concrete extends Decl concrete
      Initialized in parsing, so it might be null for deserialized user definitions.

    • core

      public @UnknownNullability Core extends GenericDef core
      Initialized in type checking or core deserialization, so it might be null for unchecked user definitions.

    • module

      @Nullable public @Nullable kala.collection.immutable.ImmutableSeq<String> module
      Initialized in the resolver or core deserialization

    • opDecl

      @Nullable public @Nullable org.aya.util.binop.OpDecl opDecl
      Initialized in the resolver or core deserialization

    • opDeclRename

      @NotNull public @NotNull kala.collection.mutable.MutableMap<kala.collection.immutable.ImmutableSeq<String>,org.aya.util.binop.OpDecl> opDeclRename
      Binary operators can be renamed in other modules. Initialized in the resolver or core deserialization. see ResolveInfo.opRename()

  • 方法详细资料

    • isInfix

      @Contract(pure=true) public boolean isInfix()

    • name

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

    • concrete

      @NotNull public static <Core extends GenericDef, Concrete extends Decl> @NotNull DefVar<Core,Concrete> concrete(@NotNull Concrete concrete, @NotNull @NotNull String name)
      Used in user definitions.

    • empty

      @NotNull public static <Core extends Def, Concrete extends Decl> @NotNull DefVar<Core,Concrete> empty(@NotNull @NotNull String name)
      Used in the serialization of core and primitive definitions.

    • resolveOpDecl

      @Nullable public @Nullable org.aya.util.binop.OpDecl resolveOpDecl(@NotNull @NotNull kala.collection.immutable.ImmutableSeq<String> moduleName)

    • equals

      public boolean equals(Object o)
      覆盖:
      equals 在类中 Object

    • isInModule

      public boolean isInModule(@NotNull @NotNull kala.collection.immutable.ImmutableSeq<String> moduleName)