concepts_template.qbk 1.4 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859
  1. [/==============================================================================
  2. Copyright (C) 2001-2011 Hartmut Kaiser
  3. Copyright (C) 2001-2011 Joel de Guzman
  4. Distributed under the Boost Software License, Version 1.0. (See accompanying
  5. file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
  6. ===============================================================================/]
  7. [/------------------------------------------------------------------------------]
  8. [section XXX]
  9. [heading Description]
  10. Description of XXX concept
  11. [heading Refinement of]
  12. [:Link to base concept]
  13. [variablelist Notation
  14. [[`xxx`] [An XXX]]
  15. ]
  16. [heading Valid Expressions]
  17. (For any XXX the following expressions must be valid:)
  18. In addition to the requirements defined in _XXX-Basic_concept_, for any
  19. XXX the following must be met:
  20. [table
  21. [[Expression] [Semantics] [Return type]]
  22. [[`xxx`] [Semantics of `xxx`] [XXX]]
  23. ]
  24. [heading Type Expressions]
  25. [table
  26. [[Expression] [Description]]
  27. [[`XXX`] [Description of `XXX`]]
  28. ]
  29. [heading Invariants]
  30. For any XXX xxx the following invariants always hold:
  31. [heading Precondition]
  32. Prior to calling FOO the following preconditions should hold:
  33. [heading Precondition]
  34. Upon return from FOO the following postconditions should hold:
  35. [heading Models]
  36. Links to models of XXX concept
  37. [endsect] [/ XXX Concept]