MLNExceptions
Class DifferentTypesException

java.lang.Object
  extended by java.lang.Throwable
      extended by java.lang.Exception
          extended by MLNExceptions.DifferentTypesException
All Implemented Interfaces:
java.io.Serializable

public class DifferentTypesException
extends java.lang.Exception

See Also:
Serialized Form

Constructor Summary
DifferentTypesException()
          Creates a new instance of DifferentTypesException without detail message.
DifferentTypesException(java.lang.String msg)
          Constructs an instance of DifferentTypesException with the specified detail message.
DifferentTypesException(Type badType, Rel relation, java.lang.String variable)
           
 
Method Summary
 Type getBadType()
           
 Rel getRelation()
           
 java.lang.String getVariable()
           
 
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
 

Constructor Detail

DifferentTypesException

public DifferentTypesException()
Creates a new instance of DifferentTypesException without detail message.


DifferentTypesException

public DifferentTypesException(Type badType,
                               Rel relation,
                               java.lang.String variable)

DifferentTypesException

public DifferentTypesException(java.lang.String msg)
Constructs an instance of DifferentTypesException with the specified detail message.

Parameters:
msg - the detail message.
Method Detail

getBadType

public Type getBadType()

getRelation

public Rel getRelation()

getVariable

public java.lang.String getVariable()