Uses of Class
jellyj.util.ErrorMsg

Packages that use ErrorMsg
jellyj.util 

Uses of ErrorMsg in jellyj.util
 

Fields in jellyj.util declared as ErrorMsg
(package private) ErrorMsgTypeCheckError.error_d
          
 

Constructors in jellyj.util with parameters of type ErrorMsg
TypeCheckError.TypeCheckError(ErrorMsg error)