Module aya.base

Package org.aya.tyck.order

Class AyaSccTycker.SCCTyckingFailed

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

org.aya.generic.InterruptException

org.aya.tyck.order.AyaSccTycker.SCCTyckingFailed

All Implemented Interfaces:

Serializable

Enclosing class:

AyaSccTycker

public static class AyaSccTycker.SCCTyckingFailed
extends org.aya.generic.InterruptException

See Also:

• Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class org.aya.generic.InterruptException

org.aya.generic.InterruptException.InterruptStage

Field Summary

Fields

Modifier and Type	Field	Description
final @NotNull kala.collection.immutable.ImmutableSeq<org.aya.generic.stmt.TyckOrder>	what

Constructor Summary

Constructors

Constructor	Description
SCCTyckingFailed(@NotNull kala.collection.immutable.ImmutableSeq<org.aya.generic.stmt.TyckOrder> what)

Method Summary

Modifier and Type	Method	Description
org.aya.generic.InterruptException.InterruptStage	stage()

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

what

@NotNull
public final @NotNull kala.collection.immutable.ImmutableSeq<org.aya.generic.stmt.TyckOrder> what

Constructor Details

SCCTyckingFailed

public SCCTyckingFailed(@NotNull
 @NotNull kala.collection.immutable.ImmutableSeq<org.aya.generic.stmt.TyckOrder> what)

Method Details

stage

public org.aya.generic.InterruptException.InterruptStage stage()

Specified by:

stage in class org.aya.generic.InterruptException