//----------------------------------------------------------------------
//----------------------------------------------------------------------
//
//		---------------------
//		 Segment de donnees:
//		---------------------
//
//----------------------------------------------------------------------
//----------------------------------------------------------------------

//	Java	-- de base
//	
import		java.io.*;

//	Java	-- affichage graphique simple
//	
import		java.awt.*;
import		java.awt.event.*;

//----------------------------------------------------------------------
//----------------------------------------------------------------------

/**
 *	Interface des applications capables de fournir des fonctions
 *	de call-back, le plus souvent executées par le thread
 *	graphique.
 */
public
interface	MissionExecutor
	{
// debut de classe
//----------------------------------------------------------------------

/**
 *	Les fonctions de call-back sont identifiées par un entier.
 */
void		faireMission	(int mission);

//----------------------------------------------------------------------
// fin de classe
	}

//----------------------------------------------------------------------
//----------------------------------------------------------------------
//----------------------------------------------------------------------
//----------------------------------------------------------------------