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

Packages that use LocInfo

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

Subinterfaces of LocInfo in net.sourceforge.czt.parser.util

interface

CztError An error that contains enough information to be helpful to a user, that is, somebody who processes Z specification using CZT tools.

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

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

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

protected LocInfo	CztReader.get(int value)
LocInfo	LocToken.getLocation()
LocInfo	Decorword.getLocation()
LocInfo	LocTokenImpl.getLocation()
LocInfo	LocString.getLocation()
LocInfo	LocInt.getLocation()
LocInfo	CztReader.getLocation(int charNum)

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

void	Decorword.setLocation(LocInfo locInfo)

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

CztErrorImpl(java.lang.String message, java.lang.Object[] params, LocInfo locInfo)

Decorword(java.lang.String decorword, LocInfo locInfo)

Decorword(java.lang.String word, net.sourceforge.czt.z.ast.ZStrokeList strokes, LocInfo locInfo)

LocInfoImpl(LocInfo locInfo)

LocInt(java.math.BigInteger value, LocInfo locInfo)

LocInt(int value, LocInfo locInfo)

LocInt(java.lang.String value, LocInfo locInfo)

LocString(java.lang.String value, LocInfo locInfo)

LocTokenImpl(Token token, java.lang.Object spelling, LocInfo locInfo)

ScanException(java.lang.String message, LocInfo locInfo)
Constructs a new exception with the specified detail message and location information.

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

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

class

ZParseError A Z parse error.

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

protected LocInfo	Parser.getLocation(net.sourceforge.czt.z.ast.LocAnn locAnn)
protected LocInfo	Parser.getLocation(net.sourceforge.czt.java_cup.runtime.Symbol symbol)
protected LocInfo	Parser.getLocation(net.sourceforge.czt.base.ast.Term term)

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

void	ParserState.addLocAnn(net.sourceforge.czt.base.ast.Term term, LocInfo locInfo)
static net.sourceforge.czt.z.ast.Directive	LatexMarkupParser.parseCharMarkupDirective(java.lang.String directive, LocInfo loc)
void	Parser.report_error(ZParseMessage msg, java.lang.Object[] params, LocInfo locInfo)
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)

Constructors in net.sourceforge.czt.parser.z with parameters of type LocInfo

ZParseError(ZParseMessage msg, java.lang.Object[] params, LocInfo locInfo)