Interface: tos.interfaces.ResourceConfigure

interface ResourceConfigure

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

This interface is provided by a Resource arbiter in order to allow users of a shared resource to configure that resource just before being granted access to it. It will always be parameterized along side a parameterized Resource interface, with the ids from one mapping directly onto the ids of the other.

Author:
Kevin Klues (klueska@cs.wustl.edu)

Commands
command void configure() Used to configure a resource just before being granted access to it.
command void unconfigure() Used to unconfigure a resource just before releasing it.

Commands - Details

configure

command void configure()

Used to configure a resource just before being granted access to it. Must always be used in conjuntion with the Resource interface.

unconfigure

command void unconfigure()

Used to unconfigure a resource just before releasing it. Must always be used in conjuntion with the Resource interface.