模块 org.aya

程序包 org.aya.core.visitor

接口 TermOps

所有超级接口:

TermView

所有已知实现类:

TermOps.Elevator, TermOps.Mapper, TermOps.Normalizer, TermOps.Renamer, TermOps.Subster, Zonker

public interface TermOps
extends TermView

嵌套类概要

嵌套类

修饰符和类型	接口	说明
static final record	TermOps.Elevator	A lift but in American English.
static final record	TermOps.Mapper
static final record	TermOps.Normalizer
static final record	TermOps.Renamer	Not an IntelliJ Renamer.
static final record	TermOps.Subster

方法概要

修饰符和类型	方法	说明
default @NotNull Term	initial()
default Term	post(Term term)
default Term	pre(Term term)
@NotNull TermView	view()

从接口继承的方法 org.aya.core.visitor.TermView

commit, lift, map, normalize, postMap, preMap, rename, subst

方法详细资料

view

@NotNull
@NotNull TermView view()

initial

@NotNull
default @NotNull Term initial()

指定者:

initial 在接口中 TermView

pre

default Term pre(Term term)

指定者:

pre 在接口中 TermView

post

default Term post(Term term)

指定者:

post 在接口中 TermView