模块 aya.base
程序包 org.aya.tyck.trace

接口 Trace

所有超级接口:
org.aya.util.TreeBuilder.Tree<Trace>
所有已知实现类:
Trace.DeclT, Trace.ExprT, Trace.LabelT, Trace.PatT, Trace.TyckT, Trace.UnifyT
public sealed interface Trace extends org.aya.util.TreeBuilder.Tree<Trace> permits Trace.ExprT, Trace.UnifyT, Trace.DeclT, Trace.TyckT, Trace.PatT, Trace.LabelT

  • 嵌套类概要

    嵌套类
    修饰符和类型
    接口
    说明
    static final class 
    Trace.Builder
     
    static final record 
    Trace.DeclT
     
    static final record 
    Trace.ExprT
     
    static final record 
    Trace.LabelT
     
    static final record 
    Trace.PatT
     
    static final record 
    Trace.TyckT
     
    static final record 
    Trace.UnifyT
     
    static interface 
    Trace.Visitor<P,R>
     

  • 方法概要

    修饰符和类型
    方法
    说明
    <P, R> R
    accept(@NotNull Trace.Visitor<P,R> visitor, P p)
     

    从接口继承的方法 org.aya.util.TreeBuilder.Tree

    children

  • 方法详细资料

    • accept

      <P, R> R accept(@NotNull @NotNull Trace.Visitor<P,R> visitor, P p)