net.sourceforge.c4j
Interface Logger

public interface Logger

Instances of this class may be registered with ContractBase.addLogger() method to receive indications when contracts are verified.

Method Summary
 void classInvariantCheck(java.lang.String className)
          A class invariant has been verified.
 void postConditionCheck(java.lang.String className, java.lang.String method, java.lang.Object[] parameters)
          A post condition has been verified.
 void preConditionCheck(java.lang.String className, java.lang.String method, java.lang.Object[] parameters)
          A pre condition has been verified.
 

Method Detail

classInvariantCheck

void classInvariantCheck(java.lang.String className)
A class invariant has been verified.

preConditionCheck

void preConditionCheck(java.lang.String className,
                       java.lang.String method,
                       java.lang.Object[] parameters)
A pre condition has been verified.

postConditionCheck

void postConditionCheck(java.lang.String className,
                        java.lang.String method,
                        java.lang.Object[] parameters)
A post condition has been verified.