1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859 |
- [/==============================================================================
- 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]
|