Module aya.base
Package org.aya.primitive

Class ShapeFactory

java.lang.Object
org.aya.primitive.ShapeFactory
public class ShapeFactory extends Object

  • Field Summary

    Fields
    Modifier and Type
    Field
    Description
    @NotNull kala.collection.mutable.MutableMap<org.aya.syntax.core.def.AnyDef,org.aya.syntax.core.repr.ShapeRecognition>
    discovered
     

  • Constructor Summary

    Constructors
    Constructor
    Description
    ShapeFactory()
     

  • Method Summary

    Modifier and Type
    Method
    Description
    void
    bonjour(@NotNull org.aya.syntax.core.def.AnyDef def, @NotNull org.aya.syntax.core.repr.ShapeRecognition shape)
     
    void
    bonjour(@NotNull org.aya.syntax.core.def.TyckDef def)
    Discovery of shaped literals
    void
    bonjour(@NotNull org.aya.syntax.core.def.TyckDef def, @NotNull org.aya.syntax.core.repr.ShapeRecognition shape)
     
    @NotNull kala.control.Option<org.aya.syntax.core.repr.ShapeRecognition>
    find(@Nullable org.aya.syntax.core.def.AnyDef def)
     
    @NotNull kala.collection.immutable.ImmutableSeq<org.aya.syntax.core.repr.AyaShape.FindImpl>
    findImpl(@NotNull org.aya.syntax.core.repr.AyaShape shape)
     
    void
    importAll(@NotNull ShapeFactory other)
     

    Methods inherited from class java.lang.Object

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

  • Field Details

    • discovered

      @NotNull public @NotNull kala.collection.mutable.MutableMap<org.aya.syntax.core.def.AnyDef,org.aya.syntax.core.repr.ShapeRecognition> discovered

  • Constructor Details

    • ShapeFactory

      public ShapeFactory()

  • Method Details

    • findImpl

      @NotNull public @NotNull kala.collection.immutable.ImmutableSeq<org.aya.syntax.core.repr.AyaShape.FindImpl> findImpl(@NotNull @NotNull org.aya.syntax.core.repr.AyaShape shape)

    • find

      @NotNull public @NotNull kala.control.Option<org.aya.syntax.core.repr.ShapeRecognition> find(@Nullable @Nullable org.aya.syntax.core.def.AnyDef def)

    • bonjour

      public void bonjour(@NotNull @NotNull org.aya.syntax.core.def.TyckDef def, @NotNull @NotNull org.aya.syntax.core.repr.ShapeRecognition shape)
      Implementation Note:
      assumption: defs can have only one shape

    • bonjour

      public void bonjour(@NotNull @NotNull org.aya.syntax.core.def.AnyDef def, @NotNull @NotNull org.aya.syntax.core.repr.ShapeRecognition shape)

    • bonjour

      public void bonjour(@NotNull @NotNull org.aya.syntax.core.def.TyckDef def)
      Discovery of shaped literals

    • importAll

      public void importAll(@NotNull @NotNull ShapeFactory other)