Module aya.base

Package org.aya.core.pat

Class PatToTerm

java.lang.Object

org.aya.core.pat.PatToTerm

public class PatToTerm
extends Object

See Also:

• for why not final

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	PatToTerm()

Method Summary

Modifier and Type	Method	Description
Term	visit(@NotNull Pat pat)
protected @NotNull Term	visitCtor(@NotNull Pat.Ctor ctor)

Methods inherited from class java.lang.Object

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

Constructor Details

PatToTerm

protected PatToTerm()

Method Details

visit

public Term visit(@NotNull
 @NotNull Pat pat)

visitCtor

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