模块 aya.base

程序包 org.aya.core.pat

类 PatToTerm

java.lang.Object

org.aya.core.pat.PatToTerm

public class PatToTerm
extends Object

另请参阅:

• for why not final

构造器概要

构造器

限定符	构造器	说明
protected	PatToTerm()

方法概要

修饰符和类型	方法	说明
Term	visit(@NotNull Pat pat)
protected @NotNull Term	visitCtor(@NotNull Pat.Ctor ctor)

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

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

构造器详细资料

PatToTerm

protected PatToTerm()

方法详细资料

visit

public Term visit(@NotNull
 @NotNull Pat pat)

visitCtor

@NotNull
protected @NotNull Term visitCtor(@NotNull Pat.Ctor ctor)