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

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