net.sourceforge.czt.parser.z
Class ParserState

java.lang.Object
  extended by 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
 

Constructor Detail

ParserState

public ParserState(net.sourceforge.czt.session.Source source)
Method Detail

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.