rwth.i2.ltlrv.afastate.interfaze
Class IIfClosure.UserCausedException
java.lang.Object
java.lang.Throwable
java.lang.Exception
java.lang.RuntimeException
rwth.i2.ltlrv.afastate.interfaze.IIfClosure.UserCausedException
- All Implemented Interfaces:
- Serializable
- Enclosing interface:
- IIfClosure
public static class IIfClosure.UserCausedException
- extends RuntimeException
UserCausedException - An exception that wraps exceptions caused by
the evaluation of an IfClosure.
- Author:
- Eric Bodden
- See Also:
- Serialized Form
Methods inherited from class java.lang.Throwable |
fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString |
ifExpression
private String ifExpression
- The expression that caused the exception.
IIfClosure.UserCausedException
public IIfClosure.UserCausedException(Throwable cause,
String ifExpression)
- Parameters:
cause
- exception that was causedifExpression
- expression that caused the exception in String format
getIfExpression
public String getIfExpression()
- Returns:
- The expression that caused the exception.