jellyj.util
Class TypeCheckError

java.lang.Object
  |
  +--java.lang.Throwable
        |
        +--java.lang.Exception
              |
              +--jellyj.util.TypeCheckError

public class TypeCheckError
extends Exception


Field Summary
 (package private) ErrorMsgerror_d
           
 (package private) SyntaxTreeNodenode_d
           

Constructor Summary
TypeCheckError(SyntaxTreeNode node)
          This constructor is deprecated.
TypeCheckError(ErrorMsg error)
           

Method Summary
 StringtoString()
           

Methods inherited from class java.lang.Throwable
getMessage, getLocalizedMessage, printStackTrace, printStackTrace, printStackTrace, fillInStackTrace

Methods inherited from class java.lang.Object
getClass, hashCode, equals, notify, notifyAll, wait, wait, wait

Field Detail

error_d

ErrorMsg error_d

node_d

SyntaxTreeNode node_d
Constructor Detail

TypeCheckError

public TypeCheckError(SyntaxTreeNode node)
This constructor is deprecated. From now on TypeCheckError must be constructed using error messages.

TypeCheckError

public TypeCheckError(ErrorMsg error)
Method Detail

toString

public String toString()

Association Links

to Class jellyj.util.ErrorMsg

to Class jellyj.syntaxtree.SyntaxTreeNode