模块 org.aya

程序包 org.aya.tyck

类 Tycker

java.lang.Object

org.aya.tyck.Tycker

直接已知子类:

ExprTycker

public abstract class Tycker
extends Object

字段概要

字段

修饰符和类型	字段	说明
final @NotNull org.aya.util.reporter.Reporter	reporter
final @NotNull TyckState	state

构造器概要

构造器

限定符	构造器	说明
protected	Tycker(@NotNull org.aya.util.reporter.Reporter reporter, @NotNull TyckState state)

方法概要

修饰符和类型	方法	说明
@NotNull Term	zonk(@NotNull Term term)

从类继承的方法 java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

字段详细资料

reporter

@NotNull
public final @NotNull org.aya.util.reporter.Reporter reporter

state

@NotNull
public final @NotNull TyckState state

构造器详细资料

Tycker

protected Tycker(@NotNull
 @NotNull org.aya.util.reporter.Reporter reporter,
 @NotNull
 @NotNull TyckState state)

方法详细资料

zonk

@NotNull
public @NotNull Term zonk(@NotNull
 @NotNull Term term)