fr.tpt.aadl.annex.behavior.utils
Class DimensionException

java.lang.Object
  extended by java.lang.Throwable
      extended by java.lang.Exception
          extended by fr.tpt.aadl.annex.behavior.utils.DimensionException
All Implemented Interfaces:
java.io.Serializable

public class DimensionException
extends java.lang.Exception

Represents an exception raised when out of array dimension accessing.

See Also:
Serialized Form

Field Summary
 org.osate.aadl2.Element _element
           
 
Constructor Summary
DimensionException(org.osate.aadl2.Element element, java.lang.String message)
           
 
Method Summary
static java.lang.String formatMessage(fr.tpt.aadl.annex.behavior.analyzers.TypeHolder type, int exprDim, int declaredDim)
           
 
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
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

_element

public org.osate.aadl2.Element _element
Constructor Detail

DimensionException

public DimensionException(org.osate.aadl2.Element element,
                          java.lang.String message)
Method Detail

formatMessage

public static java.lang.String formatMessage(fr.tpt.aadl.annex.behavior.analyzers.TypeHolder type,
                                             int exprDim,
                                             int declaredDim)