Package ch.so.agi.mcp.constraint

Class ViewProofScope.ScopeException

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

java.lang.IllegalArgumentException

ch.so.agi.mcp.constraint.ViewProofScope.ScopeException

All Implemented Interfaces:

Serializable

Enclosing class:

ViewProofScope

public static final class ViewProofScope.ScopeException
extends IllegalArgumentException

See Also:

• Serialized Form

Method Summary

Modifier and Type	Method	Description
String	reasonCode()

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

Method Details

reasonCode

public String reasonCode()