Uses of Class
net.sourceforge.czt.parser.util.ErrorType

Packages that use ErrorType

net.sourceforge.czt.parser.util	Contains utility classes needed by the different kinds of parsers.
net.sourceforge.czt.parser.z	Provides classes for parsing Z specifications written in unicode or using LaTeX mark-up as defined in the ISO Standard for Z.

Uses of ErrorType in net.sourceforge.czt.parser.util

Methods in net.sourceforge.czt.parser.util that return ErrorType

ErrorType	ScanException.getErrorType()
ErrorType	CztError.getErrorType()
ErrorType	CztErrorImpl.getErrorType()
static ErrorType	ErrorType.valueOf(java.lang.String name) Returns the enum constant of this type with the specified name.
static ErrorType[]	ErrorType.values() Returns an array containing the constants of this enum type, in the order they are declared.

Methods in net.sourceforge.czt.parser.util with parameters of type ErrorType

void	CztErrorImpl.setErrorType(ErrorType errorType)

Uses of ErrorType in net.sourceforge.czt.parser.z

Methods in net.sourceforge.czt.parser.z with parameters of type ErrorType

static void

ZParseError.report(net.sourceforge.czt.session.SectionInfo sectInfo, net.sourceforge.czt.session.Source source, ErrorType errorType, ZParseMessage msg, java.lang.Object[] params, LocInfo locInfo)