= C++03 limitations =
It would be great if you add a section/table with all the limitations, as
e.g. these ones
Will do.
- Function and array types cannot be directly used as function parameter
types within the contract macros ...- Each function parameter must always specify both its type and its name
(parameter names can instead by omitted in usual C++ declarations).- All tokens must be specified in the fixed order listed in the Grammar
section (it is not possible to specify postconditions before preconditions,
|volatile| before |const| for member functions, etc).- Unfortunately, this library does not allow to specify contracts for
unions.- Unfortunately, when member initializers are specified, the constructor
body must be defined together with its declaration and contract
and use some kind of as Warning or Important when documenting them.
Log in to post a comment.
