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

Field Summary

private String

ifExpression The expression that caused the exception.

Constructor Summary

IIfClosure.UserCausedException(Throwable cause, String ifExpression)

Method Summary

String

getIfExpression()

Methods inherited from class java.lang.Throwable

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

Methods inherited from class java.lang.Object

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

Field Detail

ifExpression

private String ifExpression

The expression that caused the exception.

Constructor Detail

IIfClosure.UserCausedException

public IIfClosure.UserCausedException(Throwable cause,
                                      String ifExpression)

Parameters:

cause - exception that was caused

ifExpression - expression that caused the exception in String format

Method Detail

getIfExpression

public String getIfExpression()

Returns:

The expression that caused the exception.