模块 aya.base
程序包 org.aya.core.def

类 PrimDef.Factory

java.lang.Object
org.aya.core.def.PrimDef.Factory
封闭类:
PrimDef
public static class PrimDef.Factory extends Object

  • 构造器详细资料

    • Factory

      public Factory()

  • 方法详细资料

    • factory

      @NotNull public @NotNull PrimDef factory(@NotNull @NotNull PrimDef.ID name, @NotNull @NotNull DefVar<PrimDef,TeleDecl.PrimDecl> ref)

    • getCall

      @NotNull public CallTerm.Prim getCall(@NotNull @NotNull PrimDef.ID id, @NotNull @NotNull kala.collection.immutable.ImmutableSeq<Arg<Term>> args)

    • getCall

      @NotNull public CallTerm.Prim getCall(@NotNull @NotNull PrimDef.ID id)

    • getOption

      @NotNull public @NotNull kala.control.Option<PrimDef> getOption(@NotNull @NotNull PrimDef.ID name)

    • have

      public boolean have(@NotNull @NotNull PrimDef.ID name)

    • suppressRedefinition

      public boolean suppressRedefinition()
      whether redefinition should be treated as error

    • getOrCreate

      @NotNull public @NotNull PrimDef getOrCreate(@NotNull @NotNull PrimDef.ID name, @NotNull @NotNull DefVar<PrimDef,TeleDecl.PrimDecl> ref)

    • checkDependency

      @NotNull public @NotNull kala.control.Option<kala.collection.immutable.ImmutableSeq<@NotNull PrimDef.ID>> checkDependency(@NotNull @NotNull PrimDef.ID name)

    • unfold

      @NotNull public @NotNull Term unfold(@NotNull @NotNull PrimDef.ID name, @NotNull CallTerm.Prim primCall, @NotNull @NotNull TyckState state)

    • clear

      public void clear()

    • clear

      public void clear(@NotNull @NotNull PrimDef.ID name)