|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.lehigh.swat.hawk.core.Assertion
public abstract class Assertion
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 |
---|
public Assertion()
Method Detail |
---|
public abstract ObjectId getSubject()
public abstract void setSubject(ObjectId s)
public abstract ObjectId getObject()
public abstract void setObject(ObjectId o)
public abstract ObjectId getPredicate()
public abstract void setPredicate(ObjectId p)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |