模块 org.aya

程序包 org.aya.concrete

接口 TacNode

所有超级接口:

org.aya.util.distill.AyaDocile

所有已知实现类:

TacNode.ExprTac, TacNode.ListExprTac

public sealed interface TacNode
extends org.aya.util.distill.AyaDocile
permits TacNode.ExprTac, TacNode.ListExprTac

嵌套类概要

嵌套类

修饰符和类型	接口	说明
static final record	TacNode.ExprTac
static final record	TacNode.ListExprTac

方法概要

从接口继承的方法 org.aya.util.distill.AyaDocile

debuggerOnlyToDoc, toDoc