acts.idl

《移动Agent技术》一书的所有章节源代码。

/*
MobiliTools, v1.0 
Copyright (c) 2000 France T閘閏om R&D. All Rights Reserved.

This software is the confidential and proprietary information of France
T閘閏om. You shall use it only in accordance with the terms of the license 
agreement you entered into with France T閘閏om.

FRANCE T蒐蒀OM MAKES NO REPRESENTATIONS OR WARRANTIES ABOUT THE SUITABILITY 
OF THE SOFTWARE, EITHER EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE
IMPLIED WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE, OR 
NON-INFRINGEMENT. FRANCE T蒐蒀OM SHALL NOT BE LIABLE FOR ANY DAMAGES SUFFERED 
BY LICENSEE AS A RESULT OF USING, MODIFYING OR DISTRIBUTING THIS SOFTWARE OR 
ITS DERIVATIVES.
*/

/*
	IDL definitions for the "Agent Communication transport Service"
	author: Bruno Dillenseger
	version: 0.2
	date: 7 IV 1999
*/


module mobilitools
{
module acts
{
module idl
{
// identification code of a message port exception
enum MsgPortExceptionId {

	// the requested operation or feature is not implemented
	NOT_IMPLEMENTED,

	// the factory cannot create a new message port
	NO_MORE_PORT,

	// the recipient object reference is not valid
	BAD_RECIPIENT
};


exception MsgPortException
{
	// exception identification code
	MsgPortExceptionId id;

	// exception diagnostic message
	string message;
};


interface MsgPortListener;


// interface for message port users, i.e. to add messages
interface MsgPortUser
{
	// add a message coming from "recipient" message port in the message queue
	void message(in any message, in MsgPortUser sender);
};


// interface for message ports manager
interface MsgPortManager
{
	// destroy the message port
	void discard();

	// discard every pending messages in the message port
	void empty();

	// get next message in the message queue of the message port.
	// Returns false if there is no pending message.
	boolean receive(out any message, out MsgPortUser sender);

	// register a message listener
	void setListener(in MsgPortListener listener);

	// deregister current message listener
	void noListener();
};


// message port listeners
interface MsgPortListener
{
	// get a message coming from the MsgPort sender
	oneway void message(in any message, in MsgPortUser sender);

	// the MsgPort the listener is listening to is being discarded
	void discard();
};


// message port factories
interface MsgPortFactory
{
	// create a new MsgPort, sets:
	// - manager to the management interface object,
	// - user to the user interface object.
	void createMsgPort(out MsgPortManager manager, out MsgPortUser user)
		raises (MsgPortException);
};
};
};
};