org.semanticweb.triple.parser
Class Context

java.lang.Object
  org.semanticweb.triple.parser.Context

public class Context

extends java.lang.Object

Context is used to store and build the parse tree.

Version:

Author:

sintek

Constructor Summary

Context(Callback callback)
Creates new Context

Method Summary

static void	addVariables(java.util.ArrayList variables, java.util.HashMap map)
Context	clone(java.util.ArrayList variables, LTerm model)
java.util.HashMap	getAbbreviations()
LTerm	getModel()
void	nextClause(LTerm term)
boolean	occurs(LSymbol symbol, LTerm term)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Context

public Context(Callback callback)

Creates new Context

Method Detail

getAbbreviations

public java.util.HashMap getAbbreviations()

getModel

public LTerm getModel()

clone

public Context clone(java.util.ArrayList variables,
                     LTerm model)

addVariables

public static void addVariables(java.util.ArrayList variables,
                                java.util.HashMap map)

nextClause

public void nextClause(LTerm term)
                throws ParseException

Throws:

ParseException

occurs

public boolean occurs(LSymbol symbol,
                      LTerm term)