Boost-Commit :

Date view	Thread view	Subject view	Author view

Subject: [Boost-commit] svn:boost r58369 - in sandbox/chrono/libs/chrono/doc: . html html/boost_chrono html/boost_chrono/appendices html/boost_chrono/reference
From: vicente.botet_at_[hidden]
Date: 2009-12-13 17:05:31

Next message: atompkins_at_[hidden]: "[Boost-commit] svn:boost r58370 - trunk/boost/uuid"
Previous message: vicente.botet_at_[hidden]: "[Boost-commit] svn:boost r58368 - in sandbox/chrono/boost: . type_traits"

Author: viboes
Date: 2009-12-13 17:05:29 EST (Sun, 13 Dec 2009)
New Revision: 58369
URL: http://svn.boost.org/trac/boost/changeset/58369

Log:
Boost.Chrono: Version 0.2.6
* More Updated documentation

Text files modified:
   sandbox/chrono/libs/chrono/doc/chrono.qbk | 75 ++++++++++++++++---------------
   sandbox/chrono/libs/chrono/doc/html/boost_chrono/appendices.html | 2
   sandbox/chrono/libs/chrono/doc/html/boost_chrono/appendices/history.html | 17 ++++++
   sandbox/chrono/libs/chrono/doc/html/boost_chrono/appendices/implementation.html | 4
   sandbox/chrono/libs/chrono/doc/html/boost_chrono/appendices/rationale.html | 15 ++++--
   sandbox/chrono/libs/chrono/doc/html/boost_chrono/appendices/todo.html | 4
   sandbox/chrono/libs/chrono/doc/html/boost_chrono/reference/chrono_hpp.html | 96 ++++++++++++++++++++--------------------
   sandbox/chrono/libs/chrono/doc/html/boost_chrono/reference/common_type_hpp.html | 7 +-
   sandbox/chrono/libs/chrono/doc/html/boost_chrono/reference/ratio_hpp.html | 31 +++++-------
   sandbox/chrono/libs/chrono/doc/html/index.html | 2
   10 files changed, 135 insertions(+), 118 deletions(-)

Modified: sandbox/chrono/libs/chrono/doc/chrono.qbk
==============================================================================
--- sandbox/chrono/libs/chrono/doc/chrono.qbk (original)
+++ sandbox/chrono/libs/chrono/doc/chrono.qbk 2009-12-13 17:05:29 EST (Sun, 13 Dec 2009)
@@ -634,7 +634,7 @@

`common_type` is a facility which is useful in specifying the type of the result of functions and operators which take a variety of types (e.g. "mixed mode" complex arithmetic).

-The nested typedef `common_type::type` shall be defined as follows:
+The nested typedef `common_type::type` could be defined as follows:

 template <class T, class U = void, class V = void>
 struct common_type {
@@ -656,7 +656,7 @@
 typedef BOOST_TYPEOF_TPL(m_f() ? m_t() : m_u()) type;
 };

-All types in the parameter pack T shall be complete. This trait is permitted to be specialized by a user if at least one template parameter is a user-defined type.
+All parameter types must be complete. This trait is permitted to be specialized by a user if at least one template parameter is a user-defined type.

[*Note:] Such specializations are required when only explicit conversions are desired among the `common_type` arguments.

@@ -739,13 +739,13 @@
 operator=(const ratio<_N2, _D2>&) {return *this;}
 };

-A diagnostic shall be emitted if `ratio` is instantiated with `D == 0`, or if the absolute value of `N` or `D` can not be represented. [*Note:] These rules ensure that infinite ratios are avoided and that for any negative input, there exists a representable value of its absolute value which is positive. In a two's complement representation, this excludes the most negative value.
+A diagnostic will be emitted if `ratio` is instantiated with `D == 0`, or if the absolute value of `N` or `D` can not be represented. [*Note:] These rules ensure that infinite ratios are avoided and that for any negative input, there exists a representable value of its absolute value which is positive. In a two's complement representation, this excludes the most negative value.

Let `gcd` denote the greatest common divisor of `N`'s absolute value and of `D`'s absolute value.

-* `num` shall have the value `sign(N)*sign(D)*abs(N)/gcd`.
+* `num` has the value `sign(N)*sign(D)*abs(N)/gcd`.

-* `den` shall have the value `abs(D)/gcd`.
+* `den` has the value `abs(D)/gcd`.

The nested typedef `type` denotes the normalized form of this ratio type. It should be used when the template parameters don't give a normalized form.

@@ -758,7 +758,7 @@

[*Effects:] Constructs a `ratio` object.

-[*Remarks:] This constructor shall not participate in overload resolution unless `r` has the same normalized form as `*this`.
+[*Remarks:] This constructor will not participate in overload resolution unless `r` has the same normalized form as `*this`.

 template <intmax_t N2, intmax_t D2>
 ratio& operator=(const ratio<N2, D2>& r);
@@ -767,7 +767,7 @@

[*Returns:] *this.

-[*Remarks:] This operator shall not participate in overload resolution unless `r` has the same normalized form as `*this`.
+[*Remarks:] This operator will not participate in overload resolution unless `r` has the same normalized form as `*this`.

[endsect]

@@ -777,31 +777,31 @@

[section:ratio_arithmetic `ratio` arithmetic]

-For each of the class templates in this clause, each template parameter shall refer to a `ratio`. If the implementation is unable to form the indicated `ratio` due to overflow, a diagnostic shall be issued.
+For each of the class templates in this clause, each template parameter refers to a `ratio`. If the implementation is unable to form the indicated `ratio` due to overflow, a diagnostic will be issued.

 template <class R1, class R2> struct ratio_add {
 typedef [/see below] type;
 };

-The nested typedef `type` shall be a synonym for `ratio<R1::num * R2::den + R2::num * R1::den, R1::den * R2::den>::type`.
+The nested typedef `type` is a synonym for `ratio<R1::num * R2::den + R2::num * R1::den, R1::den * R2::den>::type`.

 template <class R1, class R2> struct ratio_subtract {
 typedef [/see below] type;
 };

-The nested typedef `type` shall be a synonym for `ratio<R1::num * R2::den - R2::num * R1::den, R1::den * R2::den>::type`.
+The nested typedef `type` is a synonym for `ratio<R1::num * R2::den - R2::num * R1::den, R1::den * R2::den>::type`.

 template <class R1, class R2> struct ratio_multiply {
 typedef [/see below] type;
 };

-The nested typedef `type` shall be a synonym for `ratio<R1::num * R2::num, R1::den * R2::den>::type`.
+The nested typedef `type` is a synonym for `ratio<R1::num * R2::num, R1::den * R2::den>::type`.

 template <class R1, class R2> struct ratio_divide {
 typedef [/see below] type;
 };

-The nested typedef `type` shall be a synonym for `ratio<R1::num * R2::den, R2::num * R1::den>::type`.
+The nested typedef `type` is a synonym for `ratio<R1::num * R2::den, R2::num * R1::den>::type`.

[endsect]

@@ -816,7 +816,7 @@
 struct ratio_less
 : public boost::integral_constant<bool, [/see below] > {};

-If R1::num * R2::den < R2::num * R1::den, ratio_less derives from true_type, else derives from false_type. Implementations are permitted to use more complex algorithms to compute the above relationship to avoid overflow. If the implementation is not able to avoid overflow, a diagnostic shall be emitted.
+If R1::num * R2::den < R2::num * R1::den, ratio_less derives from true_type, else derives from false_type. Implementations are permitted to use more complex algorithms to compute the above relationship to avoid overflow. If the implementation is not able to avoid overflow, a diagnostic is emitted.

 template <class R1, class R2> struct ratio_not_equal
@@ -999,7 +999,7 @@

[section `Clock` Requirements]

-A clock represents a bundle consisting of a native `duration`, a native `time_point`, and a function `now()` to get the current `time_point`. A clock shall meet the requirements in the following Table.
+A clock represents a bundle consisting of a native `duration`, a native `time_point`, and a function `now()` to get the current `time_point`. A clock must meet the requirements in the following Table.

In this table `C1` and `C2` denote `clock` types. `t1` and `t2` are values returned from `C1::now()` where the call returning `t1` happens before the call returning `t2` and both of these calls happen before `C1::time_point::max()`.

@@ -1008,7 +1008,7 @@
 [[`C1::rep`] [An arithmetic type or class emulating an arithmetic type. ] [The representation type of the native `duration` and `time_point`.]]
 [[`C1::period`] [`ratio`] [The tick period of the clock in seconds.]]
 [[`C1::duration`] [`chrono::duration<C1::rep, C1::period>`] [The native `duration` type of the `clock`.]]
- [[`C1::time_point`] [`chrono::time_point<C1> or chrono::time_point<C2, C1::duration>`] [The native `time_point` type of the `clock`. Different clocks are permitted to share a `time_point` definition if it is valid to compare their time_points by comparing their respective `duration`s. `C1` and `C2` shall refer to the same epoch.]]
+ [[`C1::time_point`] [`chrono::time_point<C1> or chrono::time_point<C2, C1::duration>`] [The native `time_point` type of the `clock`. Different clocks are permitted to share a `time_point` definition if it is valid to compare their time_points by comparing their respective `duration`s. `C1` and `C2` must refer to the same epoch.]]
 [[`C1::is_monotonic`] [`const bool`] [`true` if `t1 <= t2` is always `true`, else `false`. [*Note: A `clock` that can be adjusted backwards is not monotonic]]]
 [[`C1::now()`] [`C1::time_point`] [Returns a `time_point` representing the current point in time.]]
]
@@ -1044,7 +1044,7 @@

[*Returns:] `Rep(0)`. [*Note:] `Rep(0)` is specified instead of `Rep()` since `Rep()` may have some other meaning, such as an uninitialized value.

-[*Remarks:] The value returned shall correspond to the additive identity.
+[*Remarks:] The value returned corresponds to the additive identity.

[endsect]
[section:max Static member function `max()`]
@@ -1053,7 +1053,7 @@

[*Returns:] `numeric_limits<Rep>::max()`.

-[*Remarks:] The value returned shall compare greater than zero().
+[*Remarks:] The value returned compares greater than zero().

[endsect]
[section:min Static member function `min()`]
@@ -1062,7 +1062,7 @@

[*Returns:] `numeric_limits<Rep>::lowest()`.

-[*Remarks:] The value returned shall compare less than or equal to `zero()`.
+[*Remarks:] The value returned compares less than or equal to `zero()`.

[endsect]

@@ -1076,7 +1076,7 @@
 typedef chrono::duration<typename common_type<Rep1, Rep2>::type, see below> type;
 };

-The period of the `duration` indicated by this specialization of `common_type` shall be the greatest common divisor of `Period1` and `Period2`. This can be computed by forming a `ratio` of the greatest common divisor of `Period1::num` and `Period2::num`, and the least common multiple of `Period1::den` and `Period2::den`.
+The period of the `duration` indicated by this specialization of `common_type` is the greatest common divisor of `Period1` and `Period2`. This can be computed by forming a `ratio` of the greatest common divisor of `Period1::num` and `Period2::num`, and the least common multiple of `Period1::den` and `Period2::den`.

[*Note:] The typedef type is the `duration` with the largest tick period possible where both `duration` arguments will convert to it without requiring a division operation. The representation of this type is intended to be able to hold any value resulting from this conversion, with the possible exception of round-off error when floating point `duration`s are involved (but not truncation error).

@@ -1086,7 +1086,7 @@
 typedef chrono::time_point<Clock, typename common_type<Duration1, Duration2>::type> type;
 };

-The `common_type` of two `time_point`s is a `time_point` with the same `clock` (both shall have the same `clock`), and the `common_type` of the two `duration`s.
+The `common_type` of two `time_point`s is a `time_point` with the same `clock` (both have the same `clock`), and the `common_type` of the two `duration`s.

[endsect]

@@ -1155,11 +1155,11 @@

 }}

-Rep shall be an arithmetic type, or a class emulating an arithmetic type. If `duration` is instantiated with the type of `Rep` being a `duration`, a diagnostic is required.
+Rep must be an arithmetic type, or a class emulating an arithmetic type. If `duration` is instantiated with the type of `Rep` being a `duration`, a diagnostic is required.

-Period shall be an instantiation of `ratio`, diagnostic required.
+Period must be an instantiation of `ratio`, compile diagnostic otherwise.

-Period::num shall be positive, diagnostic required.
+Period::num must be positive, compile diagnostic otherwise.

Examples:

@@ -1185,7 +1185,7 @@

[*Example:]

- duration<int, milli> d(3.5); // shall not compile
+ duration<int, milli> d(3.5); // do not compile
 duration<int, milli> d(3); // ok

[*Effects:] Constructs an object of type `duration`.
@@ -1208,7 +1208,7 @@

 duration<int, milli> ms(3);
 duration<int, micro> us = ms; // ok
- duration<int, milli> ms2 = us; // shall not compile
+ duration<int, milli> ms2 = us; // do not compile

[*Effects:] Constructs an object of type `duration`, constructing `rep_` from `duration_cast<duration>(d).count()`.

@@ -1370,7 +1370,7 @@
 duration<typename common_type<Rep1, Rep2>::type, Period>
 operator*(const duration<Rep1, Period>& d, const Rep2& s);

-[*Requires:] Let `CR` represent the `common_type` of `Rep1` and `Rep2`. Both `Rep1` and `Rep2` shall be implicitly convertible to `CR`, diagnostic required.
+[*Requires:] Let `CR` represent the `common_type` of `Rep1` and `Rep2`. This function will not participate in overload resolution unless both `Rep1` and `Rep2` are implicitly convertible to `CR`.

[*Returns:] `duration<CR, Period>(d) *= s`.

@@ -1381,7 +1381,7 @@
 duration<typename common_type<Rep1, Rep2>::type, Period>
 operator*(const Rep1& s, const duration<Rep2, Period>& d);

-[*Requires:] Let `CR` represent the `common_type` of `Rep1` and `Rep2`. Both `Rep1` and `Rep2` shall be implicitly convertible to `CR`, diagnostic required.
+[*Requires:] Let `CR` represent the `common_type` of `Rep1` and `Rep2`. This function will not participate in overload resolution unless both `Rep1` and `Rep2` are implicitly convertible to `CR`.

[*Returns:] `d * s`.

@@ -1392,7 +1392,7 @@
 duration<typename common_type<Rep1, Rep2>::type, Period>
 operator/(const duration<Rep1, Period>& d, const Rep2& s);

-[*Requires:] Let `CR` represent the `common_type` of `Rep1` and `Rep2`. Both `Rep1` and `Rep2` shall be implicitly convertible to `CR`, and `Rep2` shall not be an instantiation of `duration`, diagnostic required.
+[*Requires:] Let `CR` represent the `common_type` of `Rep1` and `Rep2`. This function will not participate in overload resolution unless both `Rep1` and `Rep2` are implicitly convertible to `CR`, and `Rep2` is not an instantiation of `duration`.

[*Returns:] `duration<CR, Period>(d) /= s`.

@@ -1465,7 +1465,7 @@
 template <class ToDuration, class Rep, class Period>
 ToDuration duration_cast(const duration<Rep, Period>& d);

-[*Requires:] `ToDuration` is an instantiation of `duration`, diagnostic required.
+[*Requires:] This function will not participate in overload resolution unless `ToDuration` is an instantiation of `duration`.

[*Returns:] Forms `CF` which is a `ratio` resulting from `ratio_divide<Period, typename ToDuration::period>::type`. Let `CR` be the `common_type` of `ToDuration::rep`, `Rep`, and `intmax_t`.

@@ -1481,7 +1481,7 @@
 static_cast<CR>(CF::num) /
 static_cast<CR>(CF::den)))`

-[*Remarks:] This function shall not rely on any implicit conversions. All conversions shall be accomplished through `static_cast`. The implementation shall avoid all multiplications or divisions when it is known at compile time that it can be avoided because one or more arguments are `1`. All intermediate computations shall be carried out in the widest possible representation and only converted to the destination representation at the final step.
+[*Remarks:] This function does not rely on any implicit conversions. All conversions must be accomplished through `static_cast`. The implementation avoids all multiplications or divisions when it is known at compile time that it can be avoided because one or more arguments are `1`. All intermediate computations are carried out in the widest possible representation and only converted to the destination representation at the final step.

[endsect]
@@ -1528,9 +1528,9 @@
 static BOOST_CONSTEXPR time_point max();
 };

-Clock shall meet the Clock Requirements.
+Clock must meet the Clock Requirements.

-Duration shall be an instantiation of `duration`, diagnostic required.
+Duration must be an instantiation of `duration`, compile diagnostic otherwise.

[section:time_point_c_1 Constructor `time_point()`]

@@ -1550,7 +1550,7 @@

 template <class Duration2> time_point(const time_point<clock, Duration2>& t);

-[*Requires:] `Duration2` shall be implicitly convertible to `duration`, diagnostic required.
+[*Requires:] This function will not participate in overload resolution unless `Duration2` is implicitly convertible to `duration`.

[*Effects:] Constructs an object of `time_point`, initializing `d_` with `t.time_since_epoch()`.

@@ -1693,7 +1693,7 @@
 template <class ToDuration, class Clock, class Duration>
 time_point<Clock, ToDuration> time_point_cast(const time_point<Clock, Duration>& t);

-[*Requires:] `ToDuration` is an instantiation of `duration`, diagnostic required.
+[*Requires:] This function will not participate in overload resolution unless `ToDuration` is an instantiation of `duration`.

[*Returns:] `time_point<Clock, ToDuration>(duration_cast<ToDuration>(t.time_since_epoch()))`.

@@ -3150,6 +3150,9 @@
* Update Jamfiles to manage with dll
* removal of conversion warning in test_duration
* manage with MSVC reporting a warning instead of an error when there is an integral constant overflow
+* Use STATIC_ASSERT specific macro to solve the compile failing issue
+* Qualify with boost::detail boost::chrono::detail to avoid ambiguities with MSVC
+

[*Documentation:]

@@ -3273,9 +3276,9 @@

In [@http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2009/n3000.pdf [*N3000]] 20.4.2 and similar clauses

-[/3 The nested typedef type shall be a synonym for ratio<T1, T2> where T1 has the value R1::num * R2::den - R2::num * R1::den and T2 has the value R1::den * R2::den.]
+['3 The nested typedef type shall be a synonym for ratio<T1, T2> where T1 has the value R1::num * R2::den - R2::num * R1::den and T2 has the value R1::den * R2::den.]

-The meaning of synonym let think that the result shall be a normalized ratio equivalent to ratio<T1, T2>, but there is not an explicit definition of what synonym means in this context.
+The meaning of synonym let think that the result should be a normalized ratio equivalent to ratio<T1, T2>, but there is not an explicit definition of what synonym means in this context.

If the CopyConstruction and Assignment ([[@http://home.roadrunner.com/~hinnant/issue_review/lwg-active.html#12811281 [*LWG 1281]]) is not added we need a typedef for accessing the normalized ratio, and change 20.4.2 to return only this normalized result. In this case the user will need to

Modified: sandbox/chrono/libs/chrono/doc/html/boost_chrono/appendices.html
==============================================================================
--- sandbox/chrono/libs/chrono/doc/html/boost_chrono/appendices.html (original)
+++ sandbox/chrono/libs/chrono/doc/html/boost_chrono/appendices.html 2009-12-13 17:05:29 EST (Sun, 13 Dec 2009)
@@ -29,7 +29,7 @@
<div class="toc"><dl>
<dt> Appendix A: History</dt>
<dd><dl>
-<dt>Version 0.2.1, December 12, 2009 Bug fixes</dt>
+<dt>Version 0.2.1, December 13, 2009 Bug fixes</dt>
<dt><a href="appendices/history.html#boost_chrono.appendices.history.__version_0_2_0__december_8__2009______features___bug_fixes___updated_documentation_">Version 0.2.0, December 8, 2009 + Features
+ Bug fixes + Updated documentation</a></dt>
<dt><a href="appendices/history.html#boost_chrono.appendices.history.__version_0_1_0__april_29__2009____beman_s_boostified_version_chrono_">Version 0.1.0, April 29, 2009 Beman's boostified

Modified: sandbox/chrono/libs/chrono/doc/html/boost_chrono/appendices/history.html
==============================================================================
--- sandbox/chrono/libs/chrono/doc/html/boost_chrono/appendices/history.html (original)
+++ sandbox/chrono/libs/chrono/doc/html/boost_chrono/appendices/history.html 2009-12-13 17:05:29 EST (Sun, 13 Dec 2009)
@@ -27,7 +27,7 @@
<a name="boost_chrono.appendices.history"></a> Appendix A: History
</h3></div></div></div>
<div class="toc"><dl>
-<dt>Version 0.2.1, December 12, 2009 Bug fixes</dt>
+<dt>Version 0.2.1, December 13, 2009 Bug fixes</dt>
<dt><a href="history.html#boost_chrono.appendices.history.__version_0_2_0__december_8__2009______features___bug_fixes___updated_documentation_">Version 0.2.0, December 8, 2009 + Features
 + Bug fixes + Updated documentation</a></dt>
<dt><a href="history.html#boost_chrono.appendices.history.__version_0_1_0__april_29__2009____beman_s_boostified_version_chrono_">Version 0.1.0, April 29, 2009 Beman's boostified
@@ -35,7 +35,7 @@
</dl></div>
<div class="section" lang="en">
<div class="titlepage"><div><div><h4 class="title">
-<a name="boost_chrono.appendices.history.__version_0_2_1__december_12__2009____bug_fixes_"></a>Version 0.2.1, December 12, 2009 Bug fixes
+<a name="boost_chrono.appendices.history.__version_0_2_1__december_13__2009____bug_fixes_"></a>Version 0.2.1, December 13, 2009 Bug fixes
</h4></div></div></div>

 Bug Fixes
@@ -82,7 +82,20 @@
 manage with MSVC reporting a warning instead of an error when there is
 an integral constant overflow
 </li>
+<li>
+ Use STATIC_ASSERT specific macro to solve the compile failing issue
+ </li>
+<li>
+ Qualify with boost::detail boost::chrono::detail to avoid ambiguities
+ with MSVC
+ </li>
</ul></div>
+
+ Documentation:
+ 
+
+ More updated documentation.
+ 
</div>
<div class="section" lang="en">
<div class="titlepage"><div><div><h4 class="title">

Modified: sandbox/chrono/libs/chrono/doc/html/boost_chrono/appendices/implementation.html
==============================================================================
--- sandbox/chrono/libs/chrono/doc/html/boost_chrono/appendices/implementation.html (original)
+++ sandbox/chrono/libs/chrono/doc/html/boost_chrono/appendices/implementation.html 2009-12-13 17:05:29 EST (Sun, 13 Dec 2009)
@@ -31,7 +31,7 @@
 Implementation Notes</a>
</h3></div></div></div>
<a name="boost_chrono.appendices.implementation.why_does_run_timer_only_display_millisecond_place_precision_when_the_underlying_timer_has_nanosecond_precision_"></a><h4>
-<a name="id4882056"></a>
+<a name="id4882086"></a>
 <a href="implementation.html#boost_chrono.appendices.implementation.why_does_run_timer_only_display_millisecond_place_precision_when_the_underlying_timer_has_nanosecond_precision_">Why
 does run_timer only display millisecond place precision when the underlying
 timer has nanosecond precision?</a>
@@ -42,7 +42,7 @@
 dangerously.
 
<a name="boost_chrono.appendices.implementation.why_does_run_timer_sometimes_report_more_cpu_seconds_than_real_seconds_"></a><h4>
-<a name="id4882097"></a>
+<a name="id4882127"></a>
 <a href="implementation.html#boost_chrono.appendices.implementation.why_does_run_timer_sometimes_report_more_cpu_seconds_than_real_seconds_">Why
 does run_timer sometimes report more cpu seconds than real seconds?</a>
 </h4>

Modified: sandbox/chrono/libs/chrono/doc/html/boost_chrono/appendices/rationale.html
==============================================================================
--- sandbox/chrono/libs/chrono/doc/html/boost_chrono/appendices/rationale.html (original)
+++ sandbox/chrono/libs/chrono/doc/html/boost_chrono/appendices/rationale.html 2009-12-13 17:05:29 EST (Sun, 13 Dec 2009)
@@ -33,7 +33,7 @@
 are an extract from this document.
 
<a name="boost_chrono.appendices.rationale.is_it_possible_for_the_user_to_pass_a__code__phrase_role__identifier__duration__phrase___code__to_a_function_with_the_units_being_ambiguous_"></a><h4>
-<a name="id4880902"></a>
+<a name="id4880918"></a>
 <a href="rationale.html#boost_chrono.appendices.rationale.is_it_possible_for_the_user_to_pass_a__code__phrase_role__identifier__duration__phrase___code__to_a_function_with_the_units_being_ambiguous_">Is
 it possible for the user to pass a <code class="computeroutput">duration</code>
 to a function with the units being ambiguous?</a>
@@ -45,7 +45,7 @@
<pre class="programlisting">f(3); // Will not compile, 3 is not implicitly convertible to any `duration`
</pre>
<a name="boost_chrono.appendices.rationale.why_duration_needs_operator_"></a><h4>
-<a name="id4880992"></a>
+<a name="id4881008"></a>
 <a href="rationale.html#boost_chrono.appendices.rationale.why_duration_needs_operator_">Why
 duration needs operator%</a>
 </h4>
@@ -73,7 +73,7 @@
};
</pre>
<a name="boost_chrono.appendices.rationale.why_ratio_needs_copyconstruction_and_assignment_from_ratios_having_the_same_normalized_form"></a><h4>
-<a name="id4881570"></a>
+<a name="id4881586"></a>
 <a href="rationale.html#boost_chrono.appendices.rationale.why_ratio_needs_copyconstruction_and_assignment_from_ratios_having_the_same_normalized_form">Why
 ratio needs CopyConstruction and Assignment from ratios having the same normalized
 form</a>
@@ -102,7 +102,7 @@
 succeeds.
 
<a name="boost_chrono.appendices.rationale.why_ratio_needs_the_nested_normalizer_typedef_type"></a><h4>
-<a name="id4881859"></a>
+<a name="id4881875"></a>
 <a href="rationale.html#boost_chrono.appendices.rationale.why_ratio_needs_the_nested_normalizer_typedef_type">Why
 ratio needs the nested normalizer typedef type</a>
 </h4>
@@ -110,7 +110,12 @@
 In N3000 20.4.2 and similar clauses
 

- The meaning of synonym let think that the result shall be a normalized ratio
+ 3 The nested typedef type shall be a synonym for ratio<T1, T2>
+ where T1 has the value R1::num * R2::den - R2::num * R1::den and T2 has the
+ value R1::den * R2::den.
+ 
+
+ The meaning of synonym let think that the result should be a normalized ratio
 equivalent to ratio<T1, T2>, but there is not an explicit definition
 of what synonym means in this context.

Modified: sandbox/chrono/libs/chrono/doc/html/boost_chrono/appendices/todo.html
==============================================================================
--- sandbox/chrono/libs/chrono/doc/html/boost_chrono/appendices/todo.html (original)
+++ sandbox/chrono/libs/chrono/doc/html/boost_chrono/appendices/todo.html 2009-12-13 17:05:29 EST (Sun, 13 Dec 2009)
@@ -27,7 +27,7 @@
<a name="boost_chrono.appendices.todo"></a> Appendix F: Future plans
</h3></div></div></div>
<a name="boost_chrono.appendices.todo.tasks_to_do_before_review"></a><h4>
-<a name="id4882691"></a>
+<a name="id4882722"></a>
 <a href="todo.html#boost_chrono.appendices.todo.tasks_to_do_before_review">Tasks
 to do before review</a>
 </h4>
@@ -61,7 +61,7 @@
 > high resolution timers to avoid these issues.
 
<a name="boost_chrono.appendices.todo.for_later_releases"></a><h4>
-<a name="id4882750"></a>
+<a name="id4882780"></a>
 <a href="todo.html#boost_chrono.appendices.todo.for_later_releases">For later
 releases</a>
 </h4>

Modified: sandbox/chrono/libs/chrono/doc/html/boost_chrono/reference/chrono_hpp.html
==============================================================================
--- sandbox/chrono/libs/chrono/doc/html/boost_chrono/reference/chrono_hpp.html (original)
+++ sandbox/chrono/libs/chrono/doc/html/boost_chrono/reference/chrono_hpp.html 2009-12-13 17:05:29 EST (Sun, 13 Dec 2009)
@@ -310,7 +310,7 @@
 a native <code class="computeroutput">time_point</code>, and
 a function <code class="computeroutput">now()</code>
 to get the current <code class="computeroutput">time_point</code>.
- A clock shall meet the requirements in the following Table.
+ A clock must meet the requirements in the following Table.
 

 In this table <code class="computeroutput">C1</code> and <code class="computeroutput">C2</code> denote <code class="computeroutput">clock</code>
@@ -320,7 +320,7 @@
 and both of these calls happen before <code class="computeroutput">C1::time_point::max()</code>.
 
<div class="table">
-<a name="id4829640"></a>Table 1. Clock Requirements
+<a name="id4829637"></a>Table 1. Clock Requirements
<table class="table" summary="Clock Requirements">
<colgroup>
<col>
@@ -418,7 +418,7 @@
 Different clocks are permitted to share a <code class="computeroutput">time_point</code>
 definition if it is valid to compare their time_points by comparing
 their respective <code class="computeroutput">duration</code>s.
- <code class="computeroutput">C1</code> and <code class="computeroutput">C2</code> shall refer to the same epoch.
+ <code class="computeroutput">C1</code> and <code class="computeroutput">C2</code> must refer to the same epoch.
 
 </td>
</tr>
@@ -552,8 +552,8 @@
 as an uninitialized value.
 

- Remarks: The value returned shall
- correspond to the additive identity.
+ Remarks: The value returned corresponds
+ to the additive identity.
 
</div>
<div class="section" lang="en">
@@ -568,8 +568,8 @@
 Returns: <code class="computeroutput">numeric_limits<Rep>::max()</code>.
 

- Remarks: The value returned shall
- compare greater than zero().
+ Remarks: The value returned compares
+ greater than zero().
 
</div>
<div class="section" lang="en">
@@ -584,8 +584,8 @@
 Returns: <code class="computeroutput">numeric_limits<Rep>::lowest()</code>.
 

- Remarks: The value returned shall
- compare less than or equal to <code class="computeroutput">zero()</code>.
+ Remarks: The value returned compares
+ less than or equal to <code class="computeroutput">zero()</code>.
 
</div>
</div>
@@ -602,7 +602,7 @@

 The period of the <code class="computeroutput">duration</code>
 indicated by this specialization of <code class="computeroutput">common_type</code>
- shall be the greatest common divisor of <code class="computeroutput">Period1</code>
+ is the greatest common divisor of <code class="computeroutput">Period1</code>
 and <code class="computeroutput">Period2</code>. This can
 be computed by forming a <code class="computeroutput">ratio</code>
 of the greatest common divisor of <code class="computeroutput">Period1::num</code>
@@ -626,7 +626,7 @@
</pre>

 The <code class="computeroutput">common_type</code> of two
- <code class="computeroutput">time_point</code>s is a <code class="computeroutput">time_point</code> with the same <code class="computeroutput">clock</code> (both shall have the same <code class="computeroutput">clock</code>), and the <code class="computeroutput">common_type</code>
+ <code class="computeroutput">time_point</code>s is a <code class="computeroutput">time_point</code> with the same <code class="computeroutput">clock</code> (both have the same <code class="computeroutput">clock</code>), and the <code class="computeroutput">common_type</code>
 of the two <code class="computeroutput">duration</code>s.
 
</div>
@@ -745,18 +745,18 @@
}}
</pre>

- Rep shall be an arithmetic type, or a class emulating an arithmetic type.
+ Rep must be an arithmetic type, or a class emulating an arithmetic type.
 If <code class="computeroutput">duration</code> is instantiated
 with the type of <code class="computeroutput">Rep</code> being
 a <code class="computeroutput">duration</code>, a diagnostic
 is required.
 

- Period shall be an instantiation of <code class="computeroutput">ratio</code>,
- diagnostic required.
+ Period must be an instantiation of <code class="computeroutput">ratio</code>,
+ compile diagnostic otherwise.
 

- Period::num shall be positive, diagnostic required.
+ Period::num must be positive, compile diagnostic otherwise.
 

 Examples:
@@ -805,7 +805,7 @@

 Example:
 
-<pre class="programlisting">duration<int, milli> d(3.5); // shall not compile
+<pre class="programlisting">duration<int, milli> d(3.5); // do not compile
duration<int, milli> d(3); // ok
</pre>

@@ -842,7 +842,7 @@
 
<pre class="programlisting">duration<int, milli> ms(3);
duration<int, micro> us = ms; // ok
-duration<int, milli> ms2 = us; // shall not compile
+duration<int, milli> ms2 = us; // do not compile
</pre>

 Effects: Constructs an object of type
@@ -1133,10 +1133,10 @@

 Requires: Let <code class="computeroutput">CR</code>
 represent the <code class="computeroutput">common_type</code>
- of <code class="computeroutput">Rep1</code> and <code class="computeroutput">Rep2</code>. Both <code class="computeroutput">Rep1</code>
- and <code class="computeroutput">Rep2</code> shall be implicitly
- convertible to <code class="computeroutput">CR</code>, diagnostic
- required.
+ of <code class="computeroutput">Rep1</code> and <code class="computeroutput">Rep2</code>. This function will not participate
+ in overload resolution unless both <code class="computeroutput">Rep1</code>
+ and <code class="computeroutput">Rep2</code> are implicitly
+ convertible to <code class="computeroutput">CR</code>.
 

 Returns: <code class="computeroutput">duration<CR, Period>(d) *= s</code>.
@@ -1155,10 +1155,10 @@

 Requires: Let <code class="computeroutput">CR</code>
 represent the <code class="computeroutput">common_type</code>
- of <code class="computeroutput">Rep1</code> and <code class="computeroutput">Rep2</code>. Both <code class="computeroutput">Rep1</code>
- and <code class="computeroutput">Rep2</code> shall be implicitly
- convertible to <code class="computeroutput">CR</code>, diagnostic
- required.
+ of <code class="computeroutput">Rep1</code> and <code class="computeroutput">Rep2</code>. This function will not participate
+ in overload resolution unless both <code class="computeroutput">Rep1</code>
+ and <code class="computeroutput">Rep2</code> are implicitly
+ convertible to <code class="computeroutput">CR</code>.
 

 Returns: <code class="computeroutput">d
@@ -1178,12 +1178,12 @@

 Requires: Let <code class="computeroutput">CR</code>
 represent the <code class="computeroutput">common_type</code>
- of <code class="computeroutput">Rep1</code> and <code class="computeroutput">Rep2</code>. Both <code class="computeroutput">Rep1</code>
- and <code class="computeroutput">Rep2</code> shall be implicitly
+ of <code class="computeroutput">Rep1</code> and <code class="computeroutput">Rep2</code>. This function will not participate
+ in overload resolution unless both <code class="computeroutput">Rep1</code>
+ and <code class="computeroutput">Rep2</code> are implicitly
 convertible to <code class="computeroutput">CR</code>, and
- <code class="computeroutput">Rep2</code> shall not be an
- instantiation of <code class="computeroutput">duration</code>,
- diagnostic required.
+ <code class="computeroutput">Rep2</code> is not an instantiation
+ of <code class="computeroutput">duration</code>.
 

 Returns: <code class="computeroutput">duration<CR, Period>(d) /= s</code>.
@@ -1325,9 +1325,9 @@
ToDuration duration_cast(const duration<Rep, Period>& d);
</pre>

- Requires: <code class="computeroutput">ToDuration</code>
- is an instantiation of <code class="computeroutput">duration</code>,
- diagnostic required.
+ Requires: This function will not participate
+ in overload resolution unless <code class="computeroutput">ToDuration</code>
+ is an instantiation of <code class="computeroutput">duration</code>.
 

 Returns: Forms <code class="computeroutput">CF</code>
@@ -1356,13 +1356,13 @@
</li>
</ul></div>

- Remarks: This function shall not rely
- on any implicit conversions. All conversions shall be accomplished through
+ Remarks: This function does not rely on
+ any implicit conversions. All conversions must be accomplished through
 <code class="computeroutput">static_cast</code>. The implementation
- shall avoid all multiplications or divisions when it is known at compile
- time that it can be avoided because one or more arguments are <code class="computeroutput">1</code>. All intermediate computations shall be
- carried out in the widest possible representation and only converted to
- the destination representation at the final step.
+ avoids all multiplications or divisions when it is known at compile time
+ that it can be avoided because one or more arguments are <code class="computeroutput">1</code>. All intermediate computations are carried
+ out in the widest possible representation and only converted to the destination
+ representation at the final step.
 
</div>
<div class="section" lang="en">
@@ -1430,11 +1430,11 @@
};
</pre>

- Clock shall meet the Clock Requirements.
+ Clock must meet the Clock Requirements.
 

- Duration shall be an instantiation of <code class="computeroutput">duration</code>,
- diagnostic required.
+ Duration must be an instantiation of <code class="computeroutput">duration</code>,
+ compile diagnostic otherwise.
 
<div class="section" lang="en">
<div class="titlepage"><div><div><h5 class="title">
@@ -1472,9 +1472,9 @@
<pre class="programlisting">template <class Duration2> time_point(const time_point<clock, Duration2>& t);
</pre>

- Requires: <code class="computeroutput">Duration2</code>
- shall be implicitly convertible to <code class="computeroutput">duration</code>,
- diagnostic required.
+ Requires: This function will not participate
+ in overload resolution unless <code class="computeroutput">Duration2</code>
+ is implicitly convertible to <code class="computeroutput">duration</code>.
 

 Effects: Constructs an object of <code class="computeroutput">time_point</code>, initializing <code class="computeroutput">d_</code> with <code class="computeroutput">t.time_since_epoch()</code>.
@@ -1743,9 +1743,9 @@
time_point<Clock, ToDuration> time_point_cast(const time_point<Clock, Duration>& t);
</pre>

- Requires: <code class="computeroutput">ToDuration</code>
- is an instantiation of <code class="computeroutput">duration</code>,
- diagnostic required.
+ Requires: This function will not participate
+ in overload resolution unless <code class="computeroutput">ToDuration</code>
+ is an instantiation of <code class="computeroutput">duration</code>.
 

 Returns: <code class="computeroutput">time_point<Clock, ToDuration>(duration_cast<ToDuration>(t.time_since_epoch()))</code>.

Modified: sandbox/chrono/libs/chrono/doc/html/boost_chrono/reference/common_type_hpp.html
==============================================================================
--- sandbox/chrono/libs/chrono/doc/html/boost_chrono/reference/common_type_hpp.html (original)
+++ sandbox/chrono/libs/chrono/doc/html/boost_chrono/reference/common_type_hpp.html 2009-12-13 17:05:29 EST (Sun, 13 Dec 2009)
@@ -45,7 +45,7 @@
 

 The nested typedef <code class="computeroutput">common_type::type</code>
- shall be defined as follows:
+ could be defined as follows:
 
<pre class="programlisting">template <class T, class U = void, class V = void>
struct common_type {
@@ -68,9 +68,8 @@
};
</pre>

- All types in the parameter pack T shall be complete. This trait is permitted
- to be specialized by a user if at least one template parameter is a user-defined
- type.
+ All parameter types must be complete. This trait is permitted to be specialized
+ by a user if at least one template parameter is a user-defined type.
 

 Note: Such specializations are required

Modified: sandbox/chrono/libs/chrono/doc/html/boost_chrono/reference/ratio_hpp.html
==============================================================================
--- sandbox/chrono/libs/chrono/doc/html/boost_chrono/reference/ratio_hpp.html (original)
+++ sandbox/chrono/libs/chrono/doc/html/boost_chrono/reference/ratio_hpp.html 2009-12-13 17:05:29 EST (Sun, 13 Dec 2009)
@@ -120,7 +120,7 @@
};
</pre>

- A diagnostic shall be emitted if <code class="computeroutput">ratio</code>
+ A diagnostic will be emitted if <code class="computeroutput">ratio</code>
 is instantiated with <code class="computeroutput">D == 0</code>, or
 if the absolute value of <code class="computeroutput">N</code>
 or <code class="computeroutput">D</code> can not be represented.
@@ -137,12 +137,10 @@
 
<div class="itemizedlist"><ul type="disc">
<li>
-<code class="computeroutput">num</code> shall have the value
- <code class="computeroutput">sign(N)*sign(D)*abs(N)/gcd</code>.
+<code class="computeroutput">num</code> has the value <code class="computeroutput">sign(N)*sign(D)*abs(N)/gcd</code>.
 </li>
<li>
-<code class="computeroutput">den</code> shall have the value
- <code class="computeroutput">abs(D)/gcd</code>.
+<code class="computeroutput">den</code> has the value <code class="computeroutput">abs(D)/gcd</code>.
 </li>
</ul></div>

@@ -167,8 +165,8 @@
 Effects: Constructs a <code class="computeroutput">ratio</code> object.
 

- Remarks: This constructor shall not
- participate in overload resolution unless <code class="computeroutput">r</code>
+ Remarks: This constructor will not participate
+ in overload resolution unless <code class="computeroutput">r</code>
 has the same normalized form as <code class="computeroutput">*this</code>.
 
<pre class="programlisting">template <intmax_t N2, intmax_t D2>
@@ -182,7 +180,7 @@
 Returns: *this.
 

- Remarks: This operator shall not participate
+ Remarks: This operator will not participate
 in overload resolution unless <code class="computeroutput">r</code>
 has the same normalized form as <code class="computeroutput">*this</code>.
 
@@ -196,9 +194,9 @@
</h4></div></div></div>

 For each of the class templates in this clause, each template parameter
- shall refer to a <code class="computeroutput">ratio</code>.
- If the implementation is unable to form the indicated <code class="computeroutput">ratio</code>
- due to overflow, a diagnostic shall be issued.
+ refers to a <code class="computeroutput">ratio</code>. If the
+ implementation is unable to form the indicated <code class="computeroutput">ratio</code>
+ due to overflow, a diagnostic will be issued.
 
<pre class="programlisting">template <class R1, class R2> struct ratio_add {
 typedef [/see below] type;
@@ -206,7 +204,7 @@
</pre>

 The nested typedef <code class="computeroutput">type</code>
- shall be a synonym for <code class="computeroutput">ratio<R1::num * R2::den + R2::num * R1::den, R1::den * R2::den>::type</code>.
+ is a synonym for <code class="computeroutput">ratio<R1::num * R2::den + R2::num * R1::den, R1::den * R2::den>::type</code>.
 
<pre class="programlisting">template <class R1, class R2> struct ratio_subtract {
 typedef [/see below] type;
@@ -214,7 +212,7 @@
</pre>

 The nested typedef <code class="computeroutput">type</code>
- shall be a synonym for <code class="computeroutput">ratio<R1::num * R2::den - R2::num * R1::den, R1::den * R2::den>::type</code>.
+ is a synonym for <code class="computeroutput">ratio<R1::num * R2::den - R2::num * R1::den, R1::den * R2::den>::type</code>.
 
<pre class="programlisting">template <class R1, class R2> struct ratio_multiply {
 typedef [/see below] type;
@@ -222,7 +220,7 @@
</pre>

 The nested typedef <code class="computeroutput">type</code>
- shall be a synonym for <code class="computeroutput">ratio<R1::num * R2::num, R1::den * R2::den>::type</code>.
+ is a synonym for <code class="computeroutput">ratio<R1::num * R2::num, R1::den * R2::den>::type</code>.
 
<pre class="programlisting">template <class R1, class R2> struct ratio_divide {
 typedef [/see below] type;
@@ -230,7 +228,7 @@
</pre>

 The nested typedef <code class="computeroutput">type</code>
- shall be a synonym for <code class="computeroutput">ratio<R1::num * R2::den, R2::num * R1::den>::type</code>.
+ is a synonym for <code class="computeroutput">ratio<R1::num * R2::den, R2::num * R1::den>::type</code>.
 
</div>
<div class="section" lang="en">
@@ -254,8 +252,7 @@
 If R1::num * R2::den < R2::num * R1::den, ratio_less derives from true_type,
 else derives from false_type. Implementations are permitted to use more
 complex algorithms to compute the above relationship to avoid overflow.
- If the implementation is not able to avoid overflow, a diagnostic shall
- be emitted.
+ If the implementation is not able to avoid overflow, a diagnostic is emitted.
 
<pre class="programlisting">template <class R1, class R2> struct ratio_not_equal
 : public boost::integral_constant<bool, !ratio_equal<R1, R2>::value> {};

Modified: sandbox/chrono/libs/chrono/doc/html/index.html
==============================================================================
--- sandbox/chrono/libs/chrono/doc/html/index.html (original)
+++ sandbox/chrono/libs/chrono/doc/html/index.html 2009-12-13 17:05:29 EST (Sun, 13 Dec 2009)
@@ -116,7 +116,7 @@
</table></div>
</div>
<table xmlns:rev="http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" width="100%"><tr>
-<td align="left">Last revised: December 13, 2009 at 12:44:57 GMT</td>
+<td align="left">Last revised: December 13, 2009 at 22:03:26 GMT</td>
<td align="right"><div class="copyright-footer"></div></td>
</tr></table>
<hr>

Next message: atompkins_at_[hidden]: "[Boost-commit] svn:boost r58370 - trunk/boost/uuid"
Previous message: vicente.botet_at_[hidden]: "[Boost-commit] svn:boost r58368 - in sandbox/chrono/boost: . type_traits"

Date view	Thread view	Subject view	Author view

Boost-Commit list run by bdawes at acm.org, david.abrahams at rcn.com, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk