org.liquigraph.core.model

Class Postcondition

java.lang.Object

org.liquigraph.core.model.Postcondition

All Implemented Interfaces:

Condition

public class Postcondition
extends Object
implements Condition

Constructor Summary

Constructors

Constructor and Description
Postcondition()

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object obj)
Query	getQuery()
int	hashCode()
void	setQuery(Query query)
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

Postcondition

public Postcondition()

Method Detail

getQuery

public Query getQuery()

Specified by:

getQuery in interface Condition

setQuery

public void setQuery(Query query)

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

toString

public String toString()

Overrides:

toString in class Object