jml2b.exceptions
Class TypeCheckException

java.lang.Object
  java.lang.Throwable
      java.lang.Exception
          jml2b.exceptions.Jml2bException
              jml2b.exceptions.TypeCheckException

All Implemented Interfaces:

java.io.Serializable

public class TypeCheckException

extends Jml2bException

Author:

lburdy To change the template for this generated type comment go to Window>Preferences>Java>Code Generation>Code and Comments

See Also:

Serialized Form

Constructor Summary

TypeCheckException(java.lang.String message, ParsedItem b)

Method Summary

int	getColumn()
int	getLine()
java.lang.String	getMessage()

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

TypeCheckException

public TypeCheckException(java.lang.String message,
                          ParsedItem b)

Method Detail

getLine

public int getLine()

getColumn

public int getColumn()

getMessage

public java.lang.String getMessage()