Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

More pre:'s and post:'s in library specification #1281

Closed
timsong-cpp opened this issue Dec 21, 2016 · 2 comments
Closed

More pre:'s and post:'s in library specification #1281

timsong-cpp opened this issue Dec 21, 2016 · 2 comments
Assignees
@jensmaurer

Comments

@timsong-cpp
Copy link
Contributor

pre: and/or post: are also used in:

  • Table 28, NullablePointer requirements (in [nullablepointer.requirements])
  • Table 31, Allocator requirements (in [allocator.requirements])
  • Table 54, Character traits requirements (in [char.traits.require])
  • Tables in [iterator.requirements]
  • Table 104, Random number engine requirements (in [rand.req.eng])
  • Table 105, Random number distribution requirements (in [rand.req.dist])
  • Table 112, Position type requirements (in [fpos.operations])
@timsong-cpp
Copy link
Contributor Author

There are also some hand-written Effect: in Table 31 instead of \effects, and many yields: in table 54 instead of \returns.

@jensmaurer
Copy link
Member

Thanks for the list. Pull request #1273 only addressed the [containers] section.

@jensmaurer jensmaurer self-assigned this Dec 21, 2016
jensmaurer added a commit to jensmaurer/draft that referenced this issue Dec 21, 2016
@jensmaurer
[lib] Replace pre: and post: in requirements tables
4b016cb 
with \requires and \postcondition, respectively.

Also replace yields: with \returns and effect: with \effects.

Fixes cplusplus#1281.
jensmaurer added a commit to jensmaurer/draft that referenced this issue Dec 21, 2016
@jensmaurer
[lib] Replace pre: and post: in requirements tables
42d1eba 
with \requires and \postcondition, respectively.

Also replace yields: with \returns and effect: with \effects.

Fixes cplusplus#1281.
@jensmaurer jensmaurer mentioned this issue Dec 21, 2016
Merged
zygoloid pushed a commit that referenced this issue Feb 5, 2017
@jensmaurer @zygoloid
[lib] Replace pre: and post: in requirements tables (#1284)
4408f46 
with \requires and \postcondition, respectively.

Also replace yields: with \returns and effect: with \effects.

Fixes #1281.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@jensmaurer jensmaurer

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@timsong-cpp @jensmaurer