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

类 AyaShape.Factory

java.lang.Object
org.aya.core.repr.AyaShape.Factory
封闭接口:
AyaShape
public static class AyaShape.Factory extends Object

  • 字段详细资料

    • discovered

      @NotNull public @NotNull kala.collection.mutable.MutableMap<GenericDef,AyaShape> discovered

  • 构造器详细资料

    • Factory

      public Factory()

  • 方法详细资料

    • findImpl

      @NotNull public @NotNull kala.collection.immutable.ImmutableSeq<GenericDef> findImpl(@NotNull @NotNull AyaShape shape)

    • find

      @NotNull public @NotNull kala.control.Option<AyaShape> find(@NotNull @NotNull Def def)

    • bonjour

      public void bonjour(@NotNull @NotNull GenericDef def, @NotNull @NotNull AyaShape shape)

    • bonjour

      public void bonjour(@NotNull @NotNull GenericDef def)
      Discovery of shaped literals

    • importAll

      public void importAll(@NotNull @NotNull AyaShape.Factory other)