void CapCert_free

(CapCert cert)

Destroys a CapCert.

Documentation

Destroys a CapCert.

Parameters:
cert - a pointer to a capability certificate.

Alphabetic index HTML hierarchy of classes or Java



This page was generated with the help of DOC++.