edu.lehigh.swat.hawk.core
Class Assertion

java.lang.Object
  extended by edu.lehigh.swat.hawk.core.Assertion
Direct Known Subclasses:
Assertion

public abstract class Assertion
extends java.lang.Object

encapsulating an assertion


Constructor Summary
Assertion()
          Constructor
 
Method Summary
abstract  ObjectId getObject()
          get the obejct
abstract  ObjectId getPredicate()
          get the predicate
abstract  ObjectId getSubject()
          get the subejct
abstract  void setObject(ObjectId o)
          set the object
abstract  void setPredicate(ObjectId p)
          set the predicate
abstract  void setSubject(ObjectId s)
          set the subject
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Assertion

public Assertion()
Constructor

Method Detail

getSubject

public abstract ObjectId getSubject()
get the subejct


setSubject

public abstract void setSubject(ObjectId s)
set the subject


getObject

public abstract ObjectId getObject()
get the obejct


setObject

public abstract void setObject(ObjectId o)
set the object


getPredicate

public abstract ObjectId getPredicate()
get the predicate


setPredicate

public abstract void setPredicate(ObjectId p)
set the predicate