fr.inria.peerunit
Interface Coordinator

All Superinterfaces:

java.rmi.Remote

All Known Implementing Classes:

CoordinatorImpl, DistributedTesterImpl

public interface Coordinator
extends java.rmi.Remote

Method Summary

void	methodExecutionFinished(ResultSet result)
void	quit(Tester t) Finish the test case and calculates the global oracle
void	registerMethods(Tester tester, java.util.Collection<MethodDescription> list)
void	registerTesters(java.util.List<Tester> testers)

Method Detail

registerTesters

void registerTesters(java.util.List<Tester> testers)
                     throws java.rmi.RemoteException

Throws:

java.rmi.RemoteException

registerMethods

void registerMethods(Tester tester,
                     java.util.Collection<MethodDescription> list)
                     throws java.rmi.RemoteException

Parameters:

tester -

list -

Throws:

java.rmi.RemoteException

methodExecutionFinished

void methodExecutionFinished(ResultSet result)
                             throws java.rmi.RemoteException

Throws:

java.rmi.RemoteException

quit

void quit(Tester t)
          throws java.rmi.RemoteException

Finish the test case and calculates the global oracle

Parameters:

Tester -

Verdict -

Throws:

java.rmi.RemoteException