net.sourceforge.czt.parser.z
Class ParserState
java.lang.Object
net.sourceforge.czt.parser.z.ParserState
public class ParserState
- extends java.lang.Object
A class recording parser state related information.
|
Constructor Summary |
ParserState(net.sourceforge.czt.session.Source source)
|
|
Method Summary |
void |
addLocAnn(net.sourceforge.czt.base.ast.Term term,
LocInfo locInfo)
|
java.lang.String |
getLoc()
Refactored from Parser.xml to ParserState.java
so that ParserState methods can not only create
elements but also add location information. |
boolean |
isPreviousChain(int value)
|
void |
setPreviousChain(int previousChain)
|
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
ParserState
public ParserState(net.sourceforge.czt.session.Source source)
setPreviousChain
public void setPreviousChain(int previousChain)
isPreviousChain
public boolean isPreviousChain(int value)
getLoc
public java.lang.String getLoc()
- Refactored from Parser.xml to ParserState.java
so that ParserState methods can not only create
elements but also add location information. Parser.xml
initialises getLoc() to be the same as the parsing source.
addLocAnn
public void addLocAnn(net.sourceforge.czt.base.ast.Term term,
LocInfo locInfo)
Copyright © 2003-2007 Community Z Tools Project. All Rights Reserved.