Interface: tos.interfaces.ResourceRequested

interface ResourceRequested

Please refer to TEP 108 for more information about this interface and its intended use.

The ResourceRequested interface can be used in conjunction with the Resource interface in order to receive events based on other users requests.

Author:
Kevin Klues (klueska@cs.wustl.edu)
Version:
$Revision: 1.4 $
Date:
$Date: 2006/12/12 18:23:15 $

Events
event void immediateRequested() This event is signalled whenever the user of this interface currently has control of the resource, and another user requests it through the Resource.immediateRequest() command.
event void requested() This event is signalled whenever the user of this interface currently has control of the resource, and another user requests it through the Resource.request() command.

Events - Details

immediateRequested

event void immediateRequested()

This event is signalled whenever the user of this interface currently has control of the resource, and another user requests it through the Resource.immediateRequest() command. You may want to consider releasing a resource based on this event

requested

event void requested()

This event is signalled whenever the user of this interface currently has control of the resource, and another user requests it through the Resource.request() command. You may want to consider releasing a resource based on this event