libs/spirit/doc/concepts_template.qbk
[/==============================================================================
Copyright (C) 2001-2011 Hartmut Kaiser
Copyright (C) 2001-2011 Joel de Guzman
Distributed under the Boost Software License, Version 1.0. (See accompanying
file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
===============================================================================/]
[/------------------------------------------------------------------------------]
[section XXX]
[heading Description]
Description of XXX concept
[heading Refinement of]
[:Link to base concept]
[variablelist Notation
[[`xxx`] [An XXX]]
]
[heading Valid Expressions]
(For any XXX the following expressions must be valid:)
In addition to the requirements defined in _XXX-Basic_concept_, for any
XXX the following must be met:
[table
[[Expression] [Semantics] [Return type]]
[[`xxx`] [Semantics of `xxx`] [XXX]]
]
[heading Type Expressions]
[table
[[Expression] [Description]]
[[`XXX`] [Description of `XXX`]]
]
[heading Invariants]
For any XXX xxx the following invariants always hold:
[heading Precondition]
Prior to calling FOO the following preconditions should hold:
[heading Precondition]
Upon return from FOO the following postconditions should hold:
[heading Models]
Links to models of XXX concept
[endsect] [/ XXX Concept]
