harpoon.Util.Constraints
Class InclusionConstraints.Term

java.lang.Object
  |
  +--harpoon.Util.Constraints.InclusionConstraints.Term
Direct Known Subclasses:
InclusionConstraints.AtomSet, InclusionConstraints.Var
Enclosing class:
InclusionConstraints

public abstract static class InclusionConstraints.Term
extends Object

Root of the term class hierarchy. A term is either a variable Var or a set of atoms AtomSet.


Field Summary
static int ATOMSET
           
static int VAR
           
 
Constructor Summary
InclusionConstraints.Term()
           
 
Method Summary
abstract  void accept(InclusionConstraints.TermVisitor tv)
          "Accepts" a TermVisitor.
abstract  int kind()
          Returns the kind of this object.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

VAR

public static final int VAR
See Also:
Constant Field Values

ATOMSET

public static final int ATOMSET
See Also:
Constant Field Values
Constructor Detail

InclusionConstraints.Term

public InclusionConstraints.Term()
Method Detail

kind

public abstract int kind()
Returns the kind of this object. The result has to be VAR or ATOMSET.


accept

public abstract void accept(InclusionConstraints.TermVisitor tv)
"Accepts" a TermVisitor. The visitor patterm allows us to avoid instanceof tests and typecast.