lmf.formula.csp.semantic.exception
Class CspTypeException

java.lang.Object
  extended by java.lang.Throwable
      extended by java.lang.Exception
          extended by java.lang.RuntimeException
              extended by lmf.formula.csp.semantic.exception.CspAnalyserException
                  extended by lmf.formula.csp.semantic.exception.CspTypeException
All Implemented Interfaces:
java.io.Serializable

public final class CspTypeException
extends CspAnalyserException

CspTypeException.

Author:
Joabe Jesus (jbjj@cin.ufpe.br)
See Also:
Serialized Form

Constructor Summary
CspTypeException(java.lang.String msg, CspType expectedType, Node node, CspType foundType)
           
 
Method Summary
 CspType getExpectedType()
           
 CspType getFoundType()
           
 
Methods inherited from class lmf.formula.csp.semantic.exception.CspAnalyserException
getLocation, getMessage, getNode
 
Methods inherited from class java.lang.Throwable
fillInStackTrace, getCause, getLocalizedMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

CspTypeException

public CspTypeException(java.lang.String msg,
                        CspType expectedType,
                        Node node,
                        CspType foundType)
Method Detail

getExpectedType

public CspType getExpectedType()

getFoundType

public CspType getFoundType()