Boost C++ Libraries Home Libraries People FAQ More

PrevUpHomeNext

BoostBook element postconditions

postconditions — Conditions that must hold after the function returns

Synopsis

postconditions ::= (ANY)

Attributes

Name Type Value Purpose
last-revision #IMPLIED CDATA Set to $Date$ to keep "last revised" information in sync with CVS changes
id #IMPLIED CDATA A global identifier for this element
xml:base #IMPLIED CDATA Implementation detail used by XIncludes

PrevUpHomeNext