de.matthias_burbach.flux
Class ModelCheckerException

java.lang.Object
  java.lang.Throwable
      java.lang.Exception
          de.matthias_burbach.flux.ModelCheckerException

All Implemented Interfaces:

java.io.Serializable

public class ModelCheckerException

extends java.lang.Exception

Is thrown by ModelChecker implementations to report model constraint violations as a list of detailed messages.

Author:

Matthias Burbach

See Also:

Serialized Form

Field Summary

private java.util.List

detailedMessages The list of detailed messages of type String

Fields inherited from class java.lang.Exception

Fields inherited from class java.lang.Throwable

Constructor Summary

ModelCheckerException(java.lang.String summaryMessage, java.util.List detailedMessages)

Method Summary

java.util.List

getDetailedMessages()

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

detailedMessages

private java.util.List detailedMessages

The list of detailed messages of type String

Constructor Detail

ModelCheckerException

public ModelCheckerException(java.lang.String summaryMessage,
                             java.util.List detailedMessages)

Parameters:

summaryMessage -

detailedMessages - the list of detailed messages of type String

Method Detail

getDetailedMessages

public java.util.List getDetailedMessages()

Returns:

the list of detailed messages of type String