模块 org.aya

程序包 org.aya.core.visitor

接口 TermView

所有已知子接口:

TermOps

所有已知实现类:

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

public interface TermView

Generic Term traversal with pre-order and post-order hooks

方法概要

修饰符和类型	方法	说明
default @NotNull Term	commit()
@NotNull Term	initial()
default @NotNull TermView	lift(int shift)
default TermView	map(Function<Term,Term> pre, Function<Term,Term> post)
default TermView	normalize(TyckState state)
default Term	post(Term term)
default TermView	postMap(Function<Term,Term> f)
default Term	pre(Term term)
default TermView	preMap(Function<Term,Term> f)
default TermView	rename()
default @NotNull TermView	subst(@NotNull Subst subst)

方法详细资料

initial

@NotNull
@NotNull Term initial()

pre

default Term pre(Term term)

post

default Term post(Term term)

commit

@NotNull
default @NotNull Term commit()

lift

@NotNull
default @NotNull TermView lift(int shift)

subst

@NotNull
default @NotNull TermView subst(@NotNull
 @NotNull Subst subst)

normalize

default TermView normalize(TyckState state)

postMap

default TermView postMap(Function<Term,Term> f)

preMap

default TermView preMap(Function<Term,Term> f)

map

default TermView map(Function<Term,Term> pre,
 Function<Term,Term> post)

rename

default TermView rename()