Module aya.base

Package org.aya.tyck

Class ExprTycker.NotPi

java.lang.Object

java.lang.Throwable

java.lang.Exception

org.aya.tyck.ExprTycker.NotPi

All Implemented Interfaces:

Serializable

Enclosing class:

ExprTycker

protected static final class ExprTycker.NotPi
extends Exception

See Also:

• Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
final @NotNull org.aya.syntax.core.term.Term	actual

Constructor Summary

Constructors

Constructor	Description
NotPi(@NotNull org.aya.syntax.core.term.Term actual)

Method Summary

Methods inherited from class java.lang.Throwable

addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString

Methods inherited from class java.lang.Object

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

Field Details

actual

@NotNull
public final @NotNull org.aya.syntax.core.term.Term actual

Constructor Details

NotPi

public NotPi(@NotNull
 @NotNull org.aya.syntax.core.term.Term actual)