junc.debug
Class TypeCheckError

java.lang.Object
  |
  +--java.lang.Throwable
        |
        +--java.lang.Error
              |
              +--antlr.ANTLRError
                    |
                    +--junc.debug.JUnCError
                          |
                          +--junc.debug.TypeCheckError

All Implemented Interfaces:

java.io.Serializable

public class TypeCheckError

extends JUnCError

See Also:

Serialized Form

Constructor Summary

TypeCheckError(junc.debug.ErrorMessages error)

TypeCheckError(junc.ast.JUnCASTNode node)
This constructor is deprecated.

Method Summary

java.lang.String

toString()

Methods inherited from class java.lang.Throwable

fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

TypeCheckError

public TypeCheckError(junc.ast.JUnCASTNode node)

This constructor is deprecated. From now on TypeCheckError must be constructed using error messages.

TypeCheckError

public TypeCheckError(junc.debug.ErrorMessages error)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Throwable