coco::certificate Class Reference

The certificate class (certifies deltas for rigorous mode operation). More...

#include <api_certbase.h>

Collaboration diagram for coco::certificate:

Collaboration graph

List of all members.

Public Member Functions

 certificate ()
 certificate (const certificate_base &__c)
 certificate (const certificate &__c)
 ~certificate ()
std::string get_contents () const
const certificate_baseget_base () const
bool verify (const work_node &_x) const
certificateoperator= (const certificate &_c)
bool operator== (const certificate &_c) const
bool operator!= (const certificate &_c) const


class certificate_base
class ie_return_type
std::ostream & operator<< (std::ostream &o, const certificate &t)
 Output Operator for certificates.

Detailed Description

The certificate class is used to certify deltas in rigorous mode. It is, like the delta class, designed as a wrapper class in order to overcome the problem that copy constructors cannot be overloaded. Certificates are stored alongside the corresponding deltas in the table deltas.

Definition at line 54 of file api_certbase.h.

Constructor & Destructor Documentation

coco::certificate::certificate (  )  [inline]

Standard Constructor

Definition at line 62 of file api_certbase.h.

coco::certificate::certificate ( const certificate_base __c  )  [inline]

Constructor, which constructs a certificate from a certificate_base. The clone operation for the certificate_base will be called in that process.

Definition at line 41 of file api_cert.h.

coco::certificate::certificate ( const certificate __c  )  [inline]

Copy Constructor, which constructs a new certificate from an existing certificate. The clone operation for the certificate_base will be called in that process, effectively overloading the copy constructor for the certificate_base.

Definition at line 43 of file api_cert.h.

coco::certificate::~certificate (  )  [inline]

Destructor, which frees the _c using delete

Definition at line 49 of file api_cert.h.

Member Function Documentation

const certificate_base * coco::certificate::get_base (  )  const [inline]

Return the certificate_base stored in this wrapper

Definition at line 67 of file api_cert.h.

std::string coco::certificate::get_contents (  )  const [inline]

Retrieve the contents information (the certificate type) for this certificate.

Definition at line 65 of file api_cert.h.

bool coco::certificate::operator!= ( const certificate _c  )  const [inline]

Definition at line 74 of file api_cert.h.

certificate & coco::certificate::operator= ( const certificate _c  )  [inline]

Assignment operator, which uses the clone operation for the certificate_base, effectively overloading the assignment operator for the certificate_base.

Definition at line 55 of file api_cert.h.

bool coco::certificate::operator== ( const certificate _c  )  const [inline]

Comparison operators

Definition at line 71 of file api_cert.h.

bool coco::certificate::verify ( const work_node _x  )  const [inline]

Verification Test: Verify whether the certificate verifies the corresponding delta for work_node _x.

Definition at line 69 of file api_cert.h.

Friends And Related Function Documentation

friend class certificate_base [friend]

Definition at line 102 of file api_certbase.h.

friend class ie_return_type [friend]

Definition at line 103 of file api_certbase.h.

std::ostream& operator<< ( std::ostream &  o,
const certificate t 
) [friend]

Stream output operator for certificates, which calls the get_contents method of the certificate.

Definition at line 112 of file api_certbase.h.

The documentation for this class was generated from the following files:

Generated on Tue Feb 9 14:47:45 2010 for COCONUT API by  doxygen 1.5.8