程序包org.aya.core.visitor的分层结构

程序包分层结构:

• 所有程序包

类分层结构

• java.lang.Object
  • java.lang.Record
    • org.aya.core.visitor.Normalizer (implements org.aya.core.visitor.Unfolder<P>)
    • org.aya.core.visitor.RefFinder (implements org.aya.core.def.Def.Visitor<P,R>, org.aya.core.visitor.VarConsumer<P>)
    • org.aya.core.visitor.Subst (implements org.aya.util.distill.AyaDocile)
    • org.aya.core.visitor.TermOps.Elevator (implements org.aya.core.visitor.TermOps)
    • org.aya.core.visitor.TermOps.Mapper (implements org.aya.core.visitor.TermOps)
    • org.aya.core.visitor.TermOps.Normalizer (implements org.aya.core.visitor.TermOps)
    • org.aya.core.visitor.TermOps.Renamer (implements org.aya.core.visitor.TermOps)
    • org.aya.core.visitor.TermOps.Subster (implements org.aya.core.visitor.TermOps)
    • org.aya.core.visitor.Unfolder.Tracked (implements org.aya.core.visitor.Unfolder<P>)
    • org.aya.core.visitor.Zonker (implements org.aya.core.visitor.TermOps)
    • org.aya.core.visitor.Zonker.UnsolvedMeta (implements org.aya.util.reporter.Problem)
  • org.aya.core.visitor.VarConsumer.ScopeChecker (implements org.aya.core.visitor.VarConsumer<P>)
  • org.aya.core.visitor.VarConsumer.UsageCounter (implements org.aya.core.visitor.VarConsumer<P>)

接口分层结构

• org.aya.core.def.Def.Visitor<P,R>
  • org.aya.core.visitor.DefConsumer<P> (并 extends org.aya.core.visitor.TermConsumer<P>)
• org.aya.core.term.Term.Visitor<P,R>
  • org.aya.core.visitor.TermConsumer<P>
    • org.aya.core.visitor.DefConsumer<P> (并 extends org.aya.core.def.Def.Visitor<P,R>)
    • org.aya.core.visitor.VarConsumer<P>
  • org.aya.core.visitor.TermFixpoint<P>
    • org.aya.core.visitor.Unfolder<P>
• org.aya.core.visitor.TermView
  • org.aya.core.visitor.TermOps