Uses of Interface
net.sourceforge.czt.parser.util.CztError

Packages that use CztError

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 CztError in net.sourceforge.czt.parser.util

Classes in net.sourceforge.czt.parser.util that implement CztError

class	CztErrorImpl An abstract CztError that can be localised.
class	ScanException This exception can be thrown by a scanner when unexpected tokens are encountered.

Methods in net.sourceforge.czt.parser.util that return types with arguments of type CztError

java.util.List<CztError>	ParseException.getErrorList()
java.util.List<? extends CztError>	CztErrorList.getErrors()
java.util.List<CztError>	ParseException.getErrors()

Constructors in net.sourceforge.czt.parser.util with parameters of type CztError

ParseException(CztError error)

Constructor parameters in net.sourceforge.czt.parser.util with type arguments of type CztError

ParseException(java.util.List<CztError> errorList)
Constructs a new parse exception with the specified error list.

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

Classes in net.sourceforge.czt.parser.z that implement CztError

class

ZParseError A Z parse error.

Fields in net.sourceforge.czt.parser.z with type parameters of type CztError

protected java.util.List<CztError>

Parser.errorList_ The list of parse errors.

Methods in net.sourceforge.czt.parser.z that return CztError

protected CztError

Parser.createSyntaxError(net.sourceforge.czt.java_cup.runtime.Symbol token)