Module org.kink_lang.kink

Package org.kink_lang.kink.internal.program.itreeoptimize.ssafy

Class SsaChecker.CannotSsafyException

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

org.kink_lang.kink.internal.program.itreeoptimize.ssafy.SsaChecker.CannotSsafyException

All Implemented Interfaces:

Serializable

Enclosing class:

SsaChecker

public static class SsaChecker.CannotSsafyException
extends RuntimeException

Unchecked exception for an itree which cannot be converted to SSA. It inherits RuntimeException, because ItreeVisitor does not allow checked exceptions

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
CannotSsafyException()

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

Constructor Details

CannotSsafyException

public CannotSsafyException()