ua.gradsoft.termware.parsers.terms.util
Class TermParser

java.lang.Object
  extended by ua.gradsoft.termware.parsers.terms.util.TermParser
All Implemented Interfaces:
IParser

public class TermParser
extends Object
implements IParser


Method Summary
 boolean eof()
           
 StringIndex getXStringIndex()
          return mapping between names and indexes of free variables.
 Term readTerm()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Method Detail

readTerm

public Term readTerm()
              throws TermWareException
Specified by:
readTerm in interface IParser
Throws:
TermWareException

getXStringIndex

public StringIndex getXStringIndex()
return mapping between names and indexes of free variables.


eof

public boolean eof()
Specified by:
eof in interface IParser