jdave.contract
Class NotContract

java.lang.Object
  jdave.contract.NotContract

All Implemented Interfaces:

IContract

public class NotContract
extends java.lang.Object
implements IContract

Author:

Joni Freeman

Constructor Summary

NotContract(IContract contract)

Method Summary

void	isSatisfied(java.lang.Object obj)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

NotContract

public NotContract(IContract contract)

Method Detail

isSatisfied

public void isSatisfied(java.lang.Object obj)
                 throws ExpectationFailedException

Specified by:

isSatisfied in interface IContract

Throws:

ExpectationFailedException