net.sourceforge.nite.search
Class NodeSimpleQuery

java.lang.Object
  net.sourceforge.nite.search.SimpleNode
      net.sourceforge.nite.search.NodeSimpleQuery

All Implemented Interfaces:

Node

public class NodeSimpleQuery
extends SimpleNode

Generated by the JavaCC tool JJTree.

Field Summary

java.util.Vector

varList

Fields inherited from class net.sourceforge.nite.search.SimpleNode

image

Constructor Summary

NodeSimpleQuery(int id)

NodeSimpleQuery(net.sourceforge.nite.search.Parser p, int id)

Method Summary

void	addType(java.lang.String name)
void	addVar(java.lang.String name, boolean isExists, boolean isForAll)
java.lang.String	dump(java.lang.String prefix)
java.util.List	getExists() Get a list of the variables which are existentially quantified.
java.util.List	getTypes(java.lang.String varName)
java.util.Hashtable	getVariables()
java.util.List	getVarNames()
boolean	isExists(java.lang.String varName)
boolean	isForAll(java.lang.String varName)

Methods inherited from class net.sourceforge.nite.search.SimpleNode

getChildren, jjtAddChild, jjtClose, jjtGetChild, jjtGetNumChildren, jjtGetParent, jjtOpen, jjtSetParent, toString, toString

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

varList

public java.util.Vector varList

Constructor Detail

NodeSimpleQuery

public NodeSimpleQuery(int id)

NodeSimpleQuery

public NodeSimpleQuery(net.sourceforge.nite.search.Parser p,
                       int id)

Method Detail

addVar

public void addVar(java.lang.String name,
                   boolean isExists,
                   boolean isForAll)

addType

public void addType(java.lang.String name)

getVariables

public java.util.Hashtable getVariables()

getVarNames

public java.util.List getVarNames()

isExists

public boolean isExists(java.lang.String varName)

isForAll

public boolean isForAll(java.lang.String varName)

getTypes

public java.util.List getTypes(java.lang.String varName)

getExists

public java.util.List getExists()

Get a list of the variables which are existentially quantified. This is a new method for use by the QueryRewriter class. UNIMPLEMENTED

Returns:

an array of ints representing the indices of the variables which had exists quantifiers.

dump

public java.lang.String dump(java.lang.String prefix)

Overrides:

dump in class SimpleNode