Revision as of 10:20, 10 July 2009 by Kosik
Capability is an unforgeable designation of an object together with a permission to make some set of operations with a given object.
- Designations of objects in E. Those who hold these capabilities have the permission to invoke any method supported by the designated object.
- Designations of functions and procedures in Emily. Those who hold these capabilities have the permission to call designated functions or procedures.
- Designations of channels in Tamed Pict. Those who hold these capabilities may have a permission to make send and/or receive operations with the designated channel.