|
|
Boost-Commit : |
Subject: [Boost-commit] svn:boost r64793 - in sandbox/SOC/2010/phoenix3/libs/phoenix/doc: html html/phoenix html/phoenix/reference html/phoenix/reference/concepts html/phoenix/reference/modules html/phoenix/reference/modules/core html/phoenix/reference/modules/stl html/phoenix/starter_kit reference
From: thom.heller_at_[hidden]
Date: 2010-08-13 18:37:00
Author: theller
Date: 2010-08-13 18:36:39 EDT (Fri, 13 Aug 2010)
New Revision: 64793
URL: http://svn.boost.org/trac/boost/changeset/64793
Log:
updated concepts docs
Text files modified:
sandbox/SOC/2010/phoenix3/libs/phoenix/doc/html/index.html | 16 +-
sandbox/SOC/2010/phoenix3/libs/phoenix/doc/html/phoenix/reference.html | 2
sandbox/SOC/2010/phoenix3/libs/phoenix/doc/html/phoenix/reference/basics.html | 10 +-
sandbox/SOC/2010/phoenix3/libs/phoenix/doc/html/phoenix/reference/concepts.html | 2
sandbox/SOC/2010/phoenix3/libs/phoenix/doc/html/phoenix/reference/concepts/actor.html | 45 +++++----
sandbox/SOC/2010/phoenix3/libs/phoenix/doc/html/phoenix/reference/concepts/environment.html | 10 +-
sandbox/SOC/2010/phoenix3/libs/phoenix/doc/html/phoenix/reference/concepts/evaluationpolicy.html | 186 ++++++++++++++++++++++++++++++++++++++-
sandbox/SOC/2010/phoenix3/libs/phoenix/doc/html/phoenix/reference/concepts/evaluator.html | 187 +++++++++++++++++++++++++++++++++++++++
sandbox/SOC/2010/phoenix3/libs/phoenix/doc/html/phoenix/reference/modules/core/arguments.html | 8
sandbox/SOC/2010/phoenix3/libs/phoenix/doc/html/phoenix/reference/modules/core/references.html | 2
sandbox/SOC/2010/phoenix3/libs/phoenix/doc/html/phoenix/reference/modules/core/values.html | 2
sandbox/SOC/2010/phoenix3/libs/phoenix/doc/html/phoenix/reference/modules/operator.html | 10 +-
sandbox/SOC/2010/phoenix3/libs/phoenix/doc/html/phoenix/reference/modules/stl/algorithm.html | 6
sandbox/SOC/2010/phoenix3/libs/phoenix/doc/html/phoenix/reference/modules/stl/container.html | 4
sandbox/SOC/2010/phoenix3/libs/phoenix/doc/html/phoenix/reference/organization.html | 6
sandbox/SOC/2010/phoenix3/libs/phoenix/doc/html/phoenix/starter_kit.html | 2
sandbox/SOC/2010/phoenix3/libs/phoenix/doc/html/phoenix/starter_kit/lazy_functions.html | 4
sandbox/SOC/2010/phoenix3/libs/phoenix/doc/html/phoenix/starter_kit/lazy_operators.html | 2
sandbox/SOC/2010/phoenix3/libs/phoenix/doc/html/phoenix/starter_kit/values.html | 4
sandbox/SOC/2010/phoenix3/libs/phoenix/doc/html/quickbook_HTML.manifest | 2
sandbox/SOC/2010/phoenix3/libs/phoenix/doc/reference/concepts.qbk | 100 ++++++++++++++++++++-
21 files changed, 527 insertions(+), 83 deletions(-)
Modified: sandbox/SOC/2010/phoenix3/libs/phoenix/doc/html/index.html
==============================================================================
--- sandbox/SOC/2010/phoenix3/libs/phoenix/doc/html/index.html (original)
+++ sandbox/SOC/2010/phoenix3/libs/phoenix/doc/html/index.html 2010-08-13 18:36:39 EDT (Fri, 13 Aug 2010)
@@ -26,7 +26,7 @@
</h3></div></div>
<div><p class="copyright">Copyright © 2002-2005, 2010 Joel de Guzman, Dan Marsden, Thomas Heller</p></div>
<div><div class="legalnotice">
-<a name="id629925"></a><p>
+<a name="id672967"></a><p>
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)
</p>
@@ -57,8 +57,6 @@
<dd><dl>
<dt><span class="section">Environment</span></dt>
<dt><span class="section">Actor</span></dt>
-<dt><span class="section">Primitive</span></dt>
-<dt><span class="section">Composite</span></dt>
<dt><span class="section">EvaluationPolicy</span></dt>
<dt><span class="section">Evaluator</span></dt>
</dl></dd>
@@ -134,7 +132,7 @@
</dl>
</div>
<a name="phoenix.preface"></a><h2>
-<a name="id660654"></a>
+<a name="id703696"></a>
<a class="link" href="index.html#phoenix.preface">Preface</a>
</h2>
<div class="blockquote"><blockquote class="blockquote">
@@ -165,7 +163,7 @@
<span class="inlinemediaobject"><img src="images/lambda_cpp.png" alt="lambda_cpp"></span>
</p>
<a name="phoenix.description"></a><h3>
-<a name="id628713"></a>
+<a name="id671755"></a>
<a class="link" href="index.html#phoenix.description">Description</a>
</h3>
<p>
@@ -183,7 +181,7 @@
library is organized in highly independent modules and layers.
</p>
<a name="phoenix.how_to_use_this_manual"></a><h3>
-<a name="id628760"></a>
+<a name="id671802"></a>
<a class="link" href="index.html#phoenix.how_to_use_this_manual">How to use this manual</a>
</h3>
<p>
@@ -205,7 +203,7 @@
icons precede some text to indicate:
</p>
<div class="table">
-<a name="id628791"></a><p class="title"><b>Table 1.1. Icons</b></p>
+<a name="id671833"></a><p class="title"><b>Table 1.1. Icons</b></p>
<div class="table-contents"><table class="table" summary="Icons">
<colgroup>
<col>
@@ -294,14 +292,14 @@
</p>
</div>
<a name="phoenix._emphasis_role__bold___emphasis____to_my_dear_daughter__phoenix__emphasis___emphasis_"></a><h3>
-<a name="id669612"></a>
+<a name="id712654"></a>
<a class="link" href="index.html#phoenix._emphasis_role__bold___emphasis____to_my_dear_daughter__phoenix__emphasis___emphasis_"><span class="bold"><strong><span class="emphasis"><em>...To my dear daughter, Phoenix</em></span></strong></span></a>
</h3>
<p>
</p>
</div>
<table xmlns:rev="http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" width="100%"><tr>
-<td align="left"><p><small>Last revised: August 13, 2010 at 21:39:31 GMT</small></p></td>
+<td align="left"><p><small>Last revised: August 13, 2010 at 22:32:23 GMT</small></p></td>
<td align="right"><div class="copyright-footer"></div></td>
</tr></table>
<hr>
Modified: sandbox/SOC/2010/phoenix3/libs/phoenix/doc/html/phoenix/reference.html
==============================================================================
--- sandbox/SOC/2010/phoenix3/libs/phoenix/doc/html/phoenix/reference.html (original)
+++ sandbox/SOC/2010/phoenix3/libs/phoenix/doc/html/phoenix/reference.html 2010-08-13 18:36:39 EDT (Fri, 13 Aug 2010)
@@ -26,8 +26,6 @@
<dd><dl>
<dt><span class="section">Environment</span></dt>
<dt><span class="section">Actor</span></dt>
-<dt><span class="section">Primitive</span></dt>
-<dt><span class="section">Composite</span></dt>
<dt><span class="section">EvaluationPolicy</span></dt>
<dt><span class="section">Evaluator</span></dt>
</dl></dd>
Modified: sandbox/SOC/2010/phoenix3/libs/phoenix/doc/html/phoenix/reference/basics.html
==============================================================================
--- sandbox/SOC/2010/phoenix3/libs/phoenix/doc/html/phoenix/reference/basics.html (original)
+++ sandbox/SOC/2010/phoenix3/libs/phoenix/doc/html/phoenix/reference/basics.html 2010-08-13 18:36:39 EDT (Fri, 13 Aug 2010)
@@ -42,7 +42,7 @@
</p></td></tr>
</table></div>
<a name="phoenix.reference.basics.partial_function_application"></a><h3>
-<a name="id672871"></a>
+<a name="id715913"></a>
<a class="link" href="basics.html#phoenix.reference.basics.partial_function_application">Partial
Function Application</a>
</h3>
@@ -98,7 +98,7 @@
be black boxes anymore.
</p>
<a name="phoenix.reference.basics.stl_and_higher_order_functions"></a><h3>
-<a name="id673087"></a>
+<a name="id716129"></a>
<a class="link" href="basics.html#phoenix.reference.basics.stl_and_higher_order_functions">STL
and higher order functions</a>
</h3>
@@ -129,7 +129,7 @@
</p></td></tr>
</table></div>
<a name="phoenix.reference.basics.lazy_evaluation"></a><h3>
-<a name="id673291"></a>
+<a name="id716333"></a>
<a class="link" href="basics.html#phoenix.reference.basics.lazy_evaluation">Lazy Evaluation</a>
</h3>
<p>
@@ -184,7 +184,7 @@
</span><span class="identifier">cout</span> <span class="special"><<</span> <span class="special">(</span><span class="identifier">arg1</span> <span class="special">%</span> <span class="number">2</span> <span class="special">==</span> <span class="number">1</span><span class="special">)(</span><span class="identifier">y</span><span class="special">)</span> <span class="special"><<</span> <span class="identifier">endl</span><span class="special">;</span> <span class="comment">// prints 0 or false
</span></pre>
<a name="phoenix.reference.basics.forwarding_function_problem"></a><h3>
-<a name="id673868"></a>
+<a name="id716910"></a>
<a class="link" href="basics.html#phoenix.reference.basics.forwarding_function_problem">Forwarding
Function Problem</a>
</h3>
@@ -225,7 +225,7 @@
</p></td></tr>
</table></div>
<a name="phoenix.reference.basics.polymorphic_functions"></a><h3>
-<a name="id674006"></a>
+<a name="id717048"></a>
<a class="link" href="basics.html#phoenix.reference.basics.polymorphic_functions">Polymorphic
Functions</a>
</h3>
Modified: sandbox/SOC/2010/phoenix3/libs/phoenix/doc/html/phoenix/reference/concepts.html
==============================================================================
--- sandbox/SOC/2010/phoenix3/libs/phoenix/doc/html/phoenix/reference/concepts.html (original)
+++ sandbox/SOC/2010/phoenix3/libs/phoenix/doc/html/phoenix/reference/concepts.html 2010-08-13 18:36:39 EDT (Fri, 13 Aug 2010)
@@ -22,8 +22,6 @@
<div class="toc"><dl>
<dt><span class="section">Environment</span></dt>
<dt><span class="section">Actor</span></dt>
-<dt><span class="section">Primitive</span></dt>
-<dt><span class="section">Composite</span></dt>
<dt><span class="section">EvaluationPolicy</span></dt>
<dt><span class="section">Evaluator</span></dt>
</dl></div>
Modified: sandbox/SOC/2010/phoenix3/libs/phoenix/doc/html/phoenix/reference/concepts/actor.html
==============================================================================
--- sandbox/SOC/2010/phoenix3/libs/phoenix/doc/html/phoenix/reference/concepts/actor.html (original)
+++ sandbox/SOC/2010/phoenix3/libs/phoenix/doc/html/phoenix/reference/concepts/actor.html 2010-08-13 18:36:39 EDT (Fri, 13 Aug 2010)
@@ -7,20 +7,20 @@
<link rel="home" href="../../../index.html" title="Chapter 1. Phoenix 3.0">
<link rel="up" href="../concepts.html" title="Concepts">
<link rel="prev" href="environment.html" title="Environment">
-<link rel="next" href="primitive.html" title="Primitive">
+<link rel="next" href="evaluationpolicy.html" title="EvaluationPolicy">
</head>
<body bgcolor="white" text="black" link="#0000FF" vlink="#840084" alink="#0000FF">
<table cellpadding="2" width="100%"><tr><td valign="top"></td></tr></table>
<hr>
<div class="spirit-nav">
-<a accesskey="p" href="environment.html"><img src="../../../images/prev.png" alt="Prev"></a><a accesskey="u" href="../concepts.html"><img src="../../../images/up.png" alt="Up"></a><a accesskey="h" href="../../../index.html"><img src="../../../images/home.png" alt="Home"></a><a accesskey="n" href="primitive.html"><img src="../../../images/next.png" alt="Next"></a>
+<a accesskey="p" href="environment.html"><img src="../../../images/prev.png" alt="Prev"></a><a accesskey="u" href="../concepts.html"><img src="../../../images/up.png" alt="Up"></a><a accesskey="h" href="../../../index.html"><img src="../../../images/home.png" alt="Home"></a><a accesskey="n" href="evaluationpolicy.html"><img src="../../../images/next.png" alt="Next"></a>
</div>
<div class="section">
<div class="titlepage"><div><div><h4 class="title">
<a name="phoenix.reference.concepts.actor"></a><a class="link" href="actor.html" title="Actor">Actor</a>
</h4></div></div></div>
<a name="phoenix.reference.concepts.actor.description"></a><h6>
-<a name="id676084"></a>
+<a name="id719126"></a>
<a class="link" href="actor.html#phoenix.reference.concepts.actor.description">Description</a>
</h6>
<p>
@@ -52,10 +52,11 @@
</p></dd>
<dt><span class="term"><code class="computeroutput"><span class="identifier">actor</span></code></span></dt>
<dd><p>
- Object of type Env
+ Object of type Actor
</p></dd>
<dt><span class="term"><code class="computeroutput"><span class="identifier">A0</span><span class="special">...</span><span class="identifier">AN</span></code></span></dt>
<dd><p>
+ Argument Types
</p></dd>
<dt><span class="term"><code class="computeroutput"><span class="identifier">a0</span><span class="special">...</span><span class="identifier">aN</span></code></span></dt>
<dd><p>
@@ -73,7 +74,7 @@
</dl>
</div>
<a name="phoenix.reference.concepts.actor.valid_expressions"></a><h6>
-<a name="id676295"></a>
+<a name="id719337"></a>
<a class="link" href="actor.html#phoenix.reference.concepts.actor.valid_expressions">Valid
Expressions</a>
</h6>
@@ -155,7 +156,7 @@
</tbody>
</table></div>
<a name="phoenix.reference.concepts.actor.result_type_expressions"></a><h6>
-<a name="id676420"></a>
+<a name="id719462"></a>
<a class="link" href="actor.html#phoenix.reference.concepts.actor.result_type_expressions">Result
Type Expressions</a>
</h6>
@@ -181,23 +182,25 @@
Compiletime Complexity
</p>
</th>
-<th>
+</tr></thead>
+<tbody>
+<tr>
+<td>
<p>
- [result_of::actor<Expr, A0...AN>::type
+ result_of::actor<Expr, A0...AN>::type
</p>
- </th>
-<th>
+ </td>
+<td>
<p>
Any Type
</p>
- </th>
-<th>
+ </td>
+<td>
<p>
unspecified
</p>
- </th>
-</tr></thead>
-<tbody>
+ </td>
+</tr>
<tr>
<td>
<p>
@@ -211,7 +214,7 @@
</td>
<td>
<p>
- unspecified
+ Constant
</p>
</td>
</tr>
@@ -228,14 +231,14 @@
</td>
<td>
<p>
- unspecified
+ Constant
</p>
</td>
</tr>
</tbody>
</table></div>
<a name="phoenix.reference.concepts.actor.expression_semantics"></a><h6>
-<a name="id676541"></a>
+<a name="id719586"></a>
<a class="link" href="actor.html#phoenix.reference.concepts.actor.expression_semantics">Expression
Semantics</a>
</h6>
@@ -265,7 +268,7 @@
</td>
<td>
<p>
- Evaluates the expression with the default __phoenix_concept_evaluator
+ Evaluates the expression with the default <a class="link" href="evaluator.html" title="Evaluator">Evaluator</a>
</p>
</td>
</tr>
@@ -298,7 +301,7 @@
</tbody>
</table></div>
<a name="phoenix.reference.concepts.actor.models"></a><h6>
-<a name="id676665"></a>
+<a name="id719715"></a>
<a class="link" href="actor.html#phoenix.reference.concepts.actor.models">Models</a>
</h6>
<div class="itemizedlist"><ul class="itemizedlist" type="disc">
@@ -317,7 +320,7 @@
</tr></table>
<hr>
<div class="spirit-nav">
-<a accesskey="p" href="environment.html"><img src="../../../images/prev.png" alt="Prev"></a><a accesskey="u" href="../concepts.html"><img src="../../../images/up.png" alt="Up"></a><a accesskey="h" href="../../../index.html"><img src="../../../images/home.png" alt="Home"></a><a accesskey="n" href="primitive.html"><img src="../../../images/next.png" alt="Next"></a>
+<a accesskey="p" href="environment.html"><img src="../../../images/prev.png" alt="Prev"></a><a accesskey="u" href="../concepts.html"><img src="../../../images/up.png" alt="Up"></a><a accesskey="h" href="../../../index.html"><img src="../../../images/home.png" alt="Home"></a><a accesskey="n" href="evaluationpolicy.html"><img src="../../../images/next.png" alt="Next"></a>
</div>
</body>
</html>
Modified: sandbox/SOC/2010/phoenix3/libs/phoenix/doc/html/phoenix/reference/concepts/environment.html
==============================================================================
--- sandbox/SOC/2010/phoenix3/libs/phoenix/doc/html/phoenix/reference/concepts/environment.html (original)
+++ sandbox/SOC/2010/phoenix3/libs/phoenix/doc/html/phoenix/reference/concepts/environment.html 2010-08-13 18:36:39 EDT (Fri, 13 Aug 2010)
@@ -20,7 +20,7 @@
<a name="phoenix.reference.concepts.environment"></a><a class="link" href="environment.html" title="Environment">Environment</a>
</h4></div></div></div>
<a name="phoenix.reference.concepts.environment.description"></a><h6>
-<a name="id675372"></a>
+<a name="id718414"></a>
<a class="link" href="environment.html#phoenix.reference.concepts.environment.description">Description</a>
</h6>
<p>
@@ -51,7 +51,7 @@
</dl>
</div>
<a name="phoenix.reference.concepts.environment.valid_expressions"></a><h6>
-<a name="id675481"></a>
+<a name="id718524"></a>
<a class="link" href="environment.html#phoenix.reference.concepts.environment.valid_expressions">Valid
Expressions</a>
</h6>
@@ -116,7 +116,7 @@
</tbody>
</table></div>
<a name="phoenix.reference.concepts.environment.result_type_expressions"></a><h6>
-<a name="id675641"></a>
+<a name="id718683"></a>
<a class="link" href="environment.html#phoenix.reference.concepts.environment.result_type_expressions">Result
Type Expressions</a>
</h6>
@@ -182,7 +182,7 @@
</tbody>
</table></div>
<a name="phoenix.reference.concepts.environment.expression_semantics"></a><h6>
-<a name="id675828"></a>
+<a name="id718870"></a>
<a class="link" href="environment.html#phoenix.reference.concepts.environment.expression_semantics">Expression
Semantics</a>
</h6>
@@ -233,7 +233,7 @@
</tbody>
</table></div>
<a name="phoenix.reference.concepts.environment.models"></a><h6>
-<a name="id675993"></a>
+<a name="id719035"></a>
<a class="link" href="environment.html#phoenix.reference.concepts.environment.models">Models</a>
</h6>
<div class="itemizedlist"><ul class="itemizedlist" type="disc">
Modified: sandbox/SOC/2010/phoenix3/libs/phoenix/doc/html/phoenix/reference/concepts/evaluationpolicy.html
==============================================================================
--- sandbox/SOC/2010/phoenix3/libs/phoenix/doc/html/phoenix/reference/concepts/evaluationpolicy.html (original)
+++ sandbox/SOC/2010/phoenix3/libs/phoenix/doc/html/phoenix/reference/concepts/evaluationpolicy.html 2010-08-13 18:36:39 EDT (Fri, 13 Aug 2010)
@@ -6,18 +6,194 @@
<meta name="generator" content="DocBook XSL Stylesheets V1.75.2">
<link rel="home" href="../../../index.html" title="Chapter 1. Phoenix 3.0">
<link rel="up" href="../concepts.html" title="Concepts">
-<link rel="prev" href="composite.html" title="Composite">
+<link rel="prev" href="actor.html" title="Actor">
<link rel="next" href="evaluator.html" title="Evaluator">
</head>
<body bgcolor="white" text="black" link="#0000FF" vlink="#840084" alink="#0000FF">
<table cellpadding="2" width="100%"><tr><td valign="top"></td></tr></table>
<hr>
<div class="spirit-nav">
-<a accesskey="p" href="composite.html"><img src="../../../images/prev.png" alt="Prev"></a><a accesskey="u" href="../concepts.html"><img src="../../../images/up.png" alt="Up"></a><a accesskey="h" href="../../../index.html"><img src="../../../images/home.png" alt="Home"></a><a accesskey="n" href="evaluator.html"><img src="../../../images/next.png" alt="Next"></a>
+<a accesskey="p" href="actor.html"><img src="../../../images/prev.png" alt="Prev"></a><a accesskey="u" href="../concepts.html"><img src="../../../images/up.png" alt="Up"></a><a accesskey="h" href="../../../index.html"><img src="../../../images/home.png" alt="Home"></a><a accesskey="n" href="evaluator.html"><img src="../../../images/next.png" alt="Next"></a>
</div>
-<div class="section"><div class="titlepage"><div><div><h4 class="title">
+<div class="section">
+<div class="titlepage"><div><div><h4 class="title">
<a name="phoenix.reference.concepts.evaluationpolicy"></a><a class="link" href="evaluationpolicy.html" title="EvaluationPolicy">EvaluationPolicy</a>
-</h4></div></div></div></div>
+</h4></div></div></div>
+<a name="phoenix.reference.concepts.evaluationpolicy.description"></a><h6>
+<a name="id719838"></a>
+ <a class="link" href="evaluationpolicy.html#phoenix.reference.concepts.evaluationpolicy.description">Description</a>
+ </h6>
+<p>
+ Evaluation Policies are the classes which decide how the composite is to
+ be evaluated with respect to the default evaluator.
+ </p>
+<div class="variablelist">
+<p class="title"><b>Notation</b></p>
+<dl>
+<dt><span class="term"><code class="computeroutput"><span class="identifier">F</span></code></span></dt>
+<dd><p>
+ Type fulfilling this concept
+ </p></dd>
+<dt><span class="term"><code class="computeroutput"><span class="identifier">f</span></code></span></dt>
+<dd><p>
+ Object of type F
+ </p></dd>
+<dt><span class="term"><code class="computeroutput"><span class="identifier">Env</span></code></span></dt>
+<dd><p>
+ A type of <a class="link" href="environment.html" title="Environment">Environment</a>
+ </p></dd>
+<dt><span class="term"><code class="computeroutput"><span class="identifier">env</span></code></span></dt>
+<dd><p>
+ Object of type Env
+ </p></dd>
+<dt><span class="term"><code class="computeroutput"><span class="identifier">A0</span><span class="special">...</span><span class="identifier">AN</span></code></span></dt>
+<dd><p>
+ Argument Types
+ </p></dd>
+<dt><span class="term"><code class="computeroutput"><span class="identifier">a0</span><span class="special">...</span><span class="identifier">aN</span></code></span></dt>
+<dd><p>
+ Objects of type A0, ...AN
+ </p></dd>
+</dl>
+</div>
+<a name="phoenix.reference.concepts.evaluationpolicy.valid_expressions"></a><h6>
+<a name="id720002"></a>
+ <a class="link" href="evaluationpolicy.html#phoenix.reference.concepts.evaluationpolicy.valid_expressions">Valid
+ Expressions</a>
+ </h6>
+<div class="informaltable"><table class="table">
+<colgroup>
+<col>
+<col>
+<col>
+</colgroup>
+<thead><tr>
+<th>
+ <p>
+ Expression
+ </p>
+ </th>
+<th>
+ <p>
+ Return Type
+ </p>
+ </th>
+<th>
+ <p>
+ Runtime Complexity
+ </p>
+ </th>
+</tr></thead>
+<tbody><tr>
+<td>
+ <p>
+ <code class="computeroutput"><span class="identifier">f</span><span class="special">(</span><span class="identifier">env</span><span class="special">,</span>
+ <span class="identifier">a0</span><span class="special">...</span><span class="identifier">aN</span><span class="special">)</span></code>
+ </p>
+ </td>
+<td>
+ <p>
+ Any Type
+ </p>
+ </td>
+<td>
+ <p>
+ unspecified
+ </p>
+ </td>
+</tr></tbody>
+</table></div>
+<a name="phoenix.reference.concepts.evaluationpolicy.result_type_expressions"></a><h6>
+<a name="id720120"></a>
+ <a class="link" href="evaluationpolicy.html#phoenix.reference.concepts.evaluationpolicy.result_type_expressions">Result
+ Type Expressions</a>
+ </h6>
+<div class="informaltable"><table class="table">
+<colgroup>
+<col>
+<col>
+<col>
+</colgroup>
+<thead><tr>
+<th>
+ <p>
+ Expression
+ </p>
+ </th>
+<th>
+ <p>
+ Result Type
+ </p>
+ </th>
+<th>
+ <p>
+ Compiletime Complexity
+ </p>
+ </th>
+</tr></thead>
+<tbody><tr>
+<td>
+ <p>
+ <code class="computeroutput"><span class="identifier">boost</span><span class="special">::</span><span class="identifier">result_of</span><span class="special"><</span><span class="identifier">F</span><span class="special">(</span><span class="identifier">Env</span><span class="special">,</span>
+ <span class="identifier">A0</span><span class="special">...</span><span class="identifier">AN</span><span class="special">)>::</span><span class="identifier">type</span><span class="special">|</span></code>
+ </p>
+ </td>
+<td>
+ <p>
+ Result of evaluation
+ </p>
+ </td>
+<td>
+ <p>
+ unspecified
+ </p>
+ </td>
+</tr></tbody>
+</table></div>
+<a name="phoenix.reference.concepts.evaluationpolicy.expression_semantics"></a><h6>
+<a name="id720263"></a>
+ <a class="link" href="evaluationpolicy.html#phoenix.reference.concepts.evaluationpolicy.expression_semantics">Expression
+ Semantics</a>
+ </h6>
+<div class="informaltable"><table class="table">
+<colgroup>
+<col>
+<col>
+</colgroup>
+<thead><tr>
+<th>
+ <p>
+ Expression
+ </p>
+ </th>
+<th>
+ <p>
+ Semantics
+ </p>
+ </th>
+</tr></thead>
+<tbody><tr>
+<td>
+ <p>
+ <code class="computeroutput"><span class="identifier">f</span><span class="special">(</span><span class="identifier">env</span><span class="special">,</span>
+ <span class="identifier">a0</span><span class="special">...</span><span class="identifier">aN</span><span class="special">)</span></code>
+ </p>
+ </td>
+<td>
+ <p>
+ Evalutes the Composite with the given attached data
+ </p>
+ </td>
+</tr></tbody>
+</table></div>
+<a name="phoenix.reference.concepts.evaluationpolicy.models"></a><h6>
+<a name="id720367"></a>
+ <a class="link" href="evaluationpolicy.html#phoenix.reference.concepts.evaluationpolicy.models">Models</a>
+ </h6>
+<p>
+ TODO (almost everything)
+ </p>
+</div>
<table xmlns:rev="http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" width="100%"><tr>
<td align="left"></td>
<td align="right"><div class="copyright-footer">Copyright © 2002-2005, 2010 Joel de Guzman, Dan Marsden, Thomas Heller<p>
@@ -28,7 +204,7 @@
</tr></table>
<hr>
<div class="spirit-nav">
-<a accesskey="p" href="composite.html"><img src="../../../images/prev.png" alt="Prev"></a><a accesskey="u" href="../concepts.html"><img src="../../../images/up.png" alt="Up"></a><a accesskey="h" href="../../../index.html"><img src="../../../images/home.png" alt="Home"></a><a accesskey="n" href="evaluator.html"><img src="../../../images/next.png" alt="Next"></a>
+<a accesskey="p" href="actor.html"><img src="../../../images/prev.png" alt="Prev"></a><a accesskey="u" href="../concepts.html"><img src="../../../images/up.png" alt="Up"></a><a accesskey="h" href="../../../index.html"><img src="../../../images/home.png" alt="Home"></a><a accesskey="n" href="evaluator.html"><img src="../../../images/next.png" alt="Next"></a>
</div>
</body>
</html>
Modified: sandbox/SOC/2010/phoenix3/libs/phoenix/doc/html/phoenix/reference/concepts/evaluator.html
==============================================================================
--- sandbox/SOC/2010/phoenix3/libs/phoenix/doc/html/phoenix/reference/concepts/evaluator.html (original)
+++ sandbox/SOC/2010/phoenix3/libs/phoenix/doc/html/phoenix/reference/concepts/evaluator.html 2010-08-13 18:36:39 EDT (Fri, 13 Aug 2010)
@@ -15,9 +15,192 @@
<div class="spirit-nav">
<a accesskey="p" href="evaluationpolicy.html"><img src="../../../images/prev.png" alt="Prev"></a><a accesskey="u" href="../concepts.html"><img src="../../../images/up.png" alt="Up"></a><a accesskey="h" href="../../../index.html"><img src="../../../images/home.png" alt="Home"></a><a accesskey="n" href="../modules.html"><img src="../../../images/next.png" alt="Next"></a>
</div>
-<div class="section"><div class="titlepage"><div><div><h4 class="title">
+<div class="section">
+<div class="titlepage"><div><div><h4 class="title">
<a name="phoenix.reference.concepts.evaluator"></a><a class="link" href="evaluator.html" title="Evaluator">Evaluator</a>
-</h4></div></div></div></div>
+</h4></div></div></div>
+<a name="phoenix.reference.concepts.evaluator.description"></a><h6>
+<a name="id720396"></a>
+ <a class="link" href="evaluator.html#phoenix.reference.concepts.evaluator.description">Description</a>
+ </h6>
+<p>
+ The concepts of evaluators are the working horses behind phoenix. They
+ are responsible of evaluating the composed expressions.
+ </p>
+<p>
+ Various evaluators are thinkable, the main evaluator will be refered to
+ as the default evaluator. It is implemented in terms of the Boost.Proto
+ default context and the various __phoenix_concpets_evaluation<span class="underline">policies</span>_.
+ </p>
+<div class="variablelist">
+<p class="title"><b>Notation</b></p>
+<dl>
+<dt><span class="term"><code class="computeroutput"><span class="identifier">Actor</span></code></span></dt>
+<dd><p>
+ Type fulfilling this concept
+ </p></dd>
+<dt><span class="term"><code class="computeroutput"><span class="identifier">eval</span></code></span></dt>
+<dd><p>
+ An object of type Eval
+ </p></dd>
+<dt><span class="term"><code class="computeroutput"><span class="identifier">Expr</span></code></span></dt>
+<dd><p>
+ Type of the Actor Concept
+ </p></dd>
+<dt><span class="term"><code class="computeroutput"><span class="identifier">expr</span></code></span></dt>
+<dd><p>
+ Object of type Expr
+ </p></dd>
+</dl>
+</div>
+<a name="phoenix.reference.concepts.evaluator.valid_expressions"></a><h6>
+<a name="id720509"></a>
+ <a class="link" href="evaluator.html#phoenix.reference.concepts.evaluator.valid_expressions">Valid
+ Expressions</a>
+ </h6>
+<div class="informaltable"><table class="table">
+<colgroup>
+<col>
+<col>
+<col>
+</colgroup>
+<thead><tr>
+<th>
+ <p>
+ Expression
+ </p>
+ </th>
+<th>
+ <p>
+ Return Type
+ </p>
+ </th>
+<th>
+ <p>
+ Runtime Complexity
+ </p>
+ </th>
+</tr></thead>
+<tbody><tr>
+<td>
+ <p>
+ <code class="computeroutput"><span class="identifier">eval</span><span class="special">(</span><span class="identifier">expr</span><span class="special">,</span>
+ <span class="identifier">env</span><span class="special">)</span></code>
+ </p>
+ </td>
+<td>
+ <p>
+ Any Type
+ </p>
+ </td>
+<td>
+ <p>
+ unspecified
+ </p>
+ </td>
+</tr></tbody>
+</table></div>
+<a name="phoenix.reference.concepts.evaluator.result_type_expressions"></a><h6>
+<a name="id720618"></a>
+ <a class="link" href="evaluator.html#phoenix.reference.concepts.evaluator.result_type_expressions">Result
+ Type Expressions</a>
+ </h6>
+<div class="informaltable"><table class="table">
+<colgroup>
+<col>
+<col>
+<col>
+</colgroup>
+<thead><tr>
+<th>
+ <p>
+ Expression
+ </p>
+ </th>
+<th>
+ <p>
+ Result Type
+ </p>
+ </th>
+<th>
+ <p>
+ Compiletime Complexity
+ </p>
+ </th>
+</tr></thead>
+<tbody><tr>
+<td>
+ <p>
+ boost::result_of<Eval(Expr const&, Env&)>::type
+ </p>
+ </td>
+<td>
+ <p>
+ Result of evaluation
+ </p>
+ </td>
+<td>
+ <p>
+ unspecified
+ </p>
+ </td>
+</tr></tbody>
+</table></div>
+<a name="phoenix.reference.concepts.evaluator.expression_semantics"></a><h6>
+<a name="id720699"></a>
+ <a class="link" href="evaluator.html#phoenix.reference.concepts.evaluator.expression_semantics">Expression
+ Semantics</a>
+ </h6>
+<div class="informaltable"><table class="table">
+<colgroup>
+<col>
+<col>
+</colgroup>
+<thead><tr>
+<th>
+ <p>
+ Expression
+ </p>
+ </th>
+<th>
+ <p>
+ Semantics
+ </p>
+ </th>
+</tr></thead>
+<tbody><tr>
+<td>
+ <p>
+ <code class="computeroutput"><span class="identifier">eval</span><span class="special">(</span><span class="identifier">expr</span><span class="special">,</span>
+ <span class="identifier">env</span><span class="special">)</span></code>
+ </p>
+ </td>
+<td>
+ <p>
+ Evaluate the expression with the given environment
+ </p>
+ </td>
+</tr></tbody>
+</table></div>
+<a name="phoenix.reference.concepts.evaluator.models"></a><h6>
+<a name="id720796"></a>
+ <a class="link" href="evaluator.html#phoenix.reference.concepts.evaluator.models">Models</a>
+ </h6>
+<div class="itemizedlist"><ul class="itemizedlist" type="disc">
+<li class="listitem">
+ eval_grammar
+ </li>
+<li class="listitem">
+ arity
+ </li>
+<li class="listitem">
+ no_nullary
+ </li>
+<li class="listitem">
+ switch_grammar
+ </li>
+</ul></div>
+</div>
<table xmlns:rev="http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" width="100%"><tr>
<td align="left"></td>
<td align="right"><div class="copyright-footer">Copyright © 2002-2005, 2010 Joel de Guzman, Dan Marsden, Thomas Heller<p>
Modified: sandbox/SOC/2010/phoenix3/libs/phoenix/doc/html/phoenix/reference/modules/core/arguments.html
==============================================================================
--- sandbox/SOC/2010/phoenix3/libs/phoenix/doc/html/phoenix/reference/modules/core/arguments.html (original)
+++ sandbox/SOC/2010/phoenix3/libs/phoenix/doc/html/phoenix/reference/modules/core/arguments.html 2010-08-13 18:36:39 EDT (Fri, 13 Aug 2010)
@@ -31,7 +31,7 @@
as an imaginary data-bin where a function argument will be placed.
</p>
<a name="phoenix.reference.modules.core.arguments.predefined_arguments"></a><h3>
-<a name="id678082"></a>
+<a name="id722131"></a>
<a class="link" href="arguments.html#phoenix.reference.modules.core.arguments.predefined_arguments">Predefined
Arguments</a>
</h3>
@@ -79,7 +79,7 @@
for more details.
</p>
<a name="phoenix.reference.modules.core.arguments.user_defined_arguments"></a><h3>
-<a name="id678812"></a>
+<a name="id722908"></a>
<a class="link" href="arguments.html#phoenix.reference.modules.core.arguments.user_defined_arguments">User
Defined Arguments</a>
</h3>
@@ -119,7 +119,7 @@
</td></tr>
</table></div>
<a name="phoenix.reference.modules.core.arguments.evaluating_an_argument"></a><h3>
-<a name="id679039"></a>
+<a name="id723134"></a>
<a class="link" href="arguments.html#phoenix.reference.modules.core.arguments.evaluating_an_argument">Evaluating
an Argument</a>
</h3>
@@ -146,7 +146,7 @@
<span class="identifier">Hello</span> <span class="identifier">World</span>
</pre>
<a name="phoenix.reference.modules.core.arguments.extra_arguments"></a><h3>
-<a name="id679368"></a>
+<a name="id723463"></a>
<a class="link" href="arguments.html#phoenix.reference.modules.core.arguments.extra_arguments">Extra
Arguments</a>
</h3>
Modified: sandbox/SOC/2010/phoenix3/libs/phoenix/doc/html/phoenix/reference/modules/core/references.html
==============================================================================
--- sandbox/SOC/2010/phoenix3/libs/phoenix/doc/html/phoenix/reference/modules/core/references.html (original)
+++ sandbox/SOC/2010/phoenix3/libs/phoenix/doc/html/phoenix/reference/modules/core/references.html 2010-08-13 18:36:39 EDT (Fri, 13 Aug 2010)
@@ -55,7 +55,7 @@
<pre class="programlisting"><span class="identifier">add_assign</span><span class="special">(</span><span class="identifier">ref</span><span class="special">(</span><span class="identifier">i</span><span class="special">),</span> <span class="number">2</span><span class="special">)</span>
</pre>
<a name="phoenix.reference.modules.core.references.evaluating_a_reference"></a><h3>
-<a name="id677616"></a>
+<a name="id721619"></a>
<a class="link" href="references.html#phoenix.reference.modules.core.references.evaluating_a_reference">Evaluating
a Reference</a>
</h3>
Modified: sandbox/SOC/2010/phoenix3/libs/phoenix/doc/html/phoenix/reference/modules/core/values.html
==============================================================================
--- sandbox/SOC/2010/phoenix3/libs/phoenix/doc/html/phoenix/reference/modules/core/values.html (original)
+++ sandbox/SOC/2010/phoenix3/libs/phoenix/doc/html/phoenix/reference/modules/core/values.html 2010-08-13 18:36:39 EDT (Fri, 13 Aug 2010)
@@ -48,7 +48,7 @@
but, as we'll see later on, there are situations where this is unavoidable.
</p>
<a name="phoenix.reference.modules.core.values.evaluating_a_value"></a><h3>
-<a name="id677157"></a>
+<a name="id721160"></a>
<a class="link" href="values.html#phoenix.reference.modules.core.values.evaluating_a_value">Evaluating
a Value</a>
</h3>
Modified: sandbox/SOC/2010/phoenix3/libs/phoenix/doc/html/phoenix/reference/modules/operator.html
==============================================================================
--- sandbox/SOC/2010/phoenix3/libs/phoenix/doc/html/phoenix/reference/modules/operator.html (original)
+++ sandbox/SOC/2010/phoenix3/libs/phoenix/doc/html/phoenix/reference/modules/operator.html 2010-08-13 18:36:39 EDT (Fri, 13 Aug 2010)
@@ -134,12 +134,12 @@
</span><span class="identifier">val</span><span class="special">(</span><span class="number">1</span><span class="special">)</span> <span class="special"><<</span> <span class="number">3</span><span class="special">;</span> <span class="comment">// Lazily evaluated
</span></pre>
<a name="phoenix.reference.modules.operator.supported_operators"></a><h3>
-<a name="id681683"></a>
+<a name="id725779"></a>
<a class="link" href="operator.html#phoenix.reference.modules.operator.supported_operators">Supported
operators</a>
</h3>
<a name="phoenix.reference.modules.operator.unary_operators"></a><h4>
-<a name="id681703"></a>
+<a name="id725798"></a>
<a class="link" href="operator.html#phoenix.reference.modules.operator.unary_operators">Unary
operators</a>
</h4>
@@ -147,7 +147,7 @@
<span class="identifier">postfix</span><span class="special">:</span> <span class="special">++,</span> <span class="special">--</span>
</pre>
<a name="phoenix.reference.modules.operator.binary_operators"></a><h4>
-<a name="id681833"></a>
+<a name="id725929"></a>
<a class="link" href="operator.html#phoenix.reference.modules.operator.binary_operators">Binary
operators</a>
</h4>
@@ -157,7 +157,7 @@
<span class="special">&&,</span> <span class="special">||,</span> <span class="special">->*</span>
</pre>
<a name="phoenix.reference.modules.operator.ternary_operator"></a><h4>
-<a name="id682034"></a>
+<a name="id726130"></a>
<a class="link" href="operator.html#phoenix.reference.modules.operator.ternary_operator">Ternary
operator</a>
</h4>
@@ -172,7 +172,7 @@
is identical, albeit in a lazy manner.
</p>
<a name="phoenix.reference.modules.operator.member_pointer_operator"></a><h4>
-<a name="id682136"></a>
+<a name="id726231"></a>
<a class="link" href="operator.html#phoenix.reference.modules.operator.member_pointer_operator">Member
pointer operator</a>
</h4>
Modified: sandbox/SOC/2010/phoenix3/libs/phoenix/doc/html/phoenix/reference/modules/stl/algorithm.html
==============================================================================
--- sandbox/SOC/2010/phoenix3/libs/phoenix/doc/html/phoenix/reference/modules/stl/algorithm.html (original)
+++ sandbox/SOC/2010/phoenix3/libs/phoenix/doc/html/phoenix/reference/modules/stl/algorithm.html 2010-08-13 18:36:39 EDT (Fri, 13 Aug 2010)
@@ -73,7 +73,7 @@
</p>
</div>
<div class="table">
-<a name="id695178"></a><p class="title"><b>Table 1.6. Iteration Algorithms</b></p>
+<a name="id739274"></a><p class="title"><b>Table 1.6. Iteration Algorithms</b></p>
<div class="table-contents"><table class="table" summary="Iteration Algorithms">
<colgroup>
<col>
@@ -123,7 +123,7 @@
</table></div>
</div>
<br class="table-break"><div class="table">
-<a name="id695457"></a><p class="title"><b>Table 1.7. Querying Algorithms</b></p>
+<a name="id739552"></a><p class="title"><b>Table 1.7. Querying Algorithms</b></p>
<div class="table-contents"><table class="table" summary="Querying Algorithms">
<colgroup>
<col>
@@ -415,7 +415,7 @@
</table></div>
</div>
<br class="table-break"><div class="table">
-<a name="id697929"></a><p class="title"><b>Table 1.8. Transformation Algorithms</b></p>
+<a name="id742024"></a><p class="title"><b>Table 1.8. Transformation Algorithms</b></p>
<div class="table-contents"><table class="table" summary="Transformation Algorithms">
<colgroup>
<col>
Modified: sandbox/SOC/2010/phoenix3/libs/phoenix/doc/html/phoenix/reference/modules/stl/container.html
==============================================================================
--- sandbox/SOC/2010/phoenix3/libs/phoenix/doc/html/phoenix/reference/modules/stl/container.html (original)
+++ sandbox/SOC/2010/phoenix3/libs/phoenix/doc/html/phoenix/reference/modules/stl/container.html 2010-08-13 18:36:39 EDT (Fri, 13 Aug 2010)
@@ -137,7 +137,7 @@
does not use the member "dot" syntax.
</p>
<div class="table">
-<a name="id692126"></a><p class="title"><b>Table 1.4. Sample usage</b></p>
+<a name="id736222"></a><p class="title"><b>Table 1.4. Sample usage</b></p>
<div class="table-contents"><table class="table" summary="Sample usage">
<colgroup>
<col>
@@ -215,7 +215,7 @@
</p>
</div>
<div class="table">
-<a name="id692466"></a><p class="title"><b>Table 1.5. Lazy STL Container Functions</b></p>
+<a name="id736562"></a><p class="title"><b>Table 1.5. Lazy STL Container Functions</b></p>
<div class="table-contents"><table class="table" summary="Lazy STL Container Functions">
<colgroup>
<col>
Modified: sandbox/SOC/2010/phoenix3/libs/phoenix/doc/html/phoenix/reference/organization.html
==============================================================================
--- sandbox/SOC/2010/phoenix3/libs/phoenix/doc/html/phoenix/reference/organization.html (original)
+++ sandbox/SOC/2010/phoenix3/libs/phoenix/doc/html/phoenix/reference/organization.html 2010-08-13 18:36:39 EDT (Fri, 13 Aug 2010)
@@ -41,7 +41,7 @@
header files. There are no object files to link against.
</p>
<a name="phoenix.reference.organization.core"></a><h3>
-<a name="id674382"></a>
+<a name="id717425"></a>
<a class="link" href="organization.html#phoenix.reference.organization.core">Core</a>
</h3>
<p>
@@ -70,7 +70,7 @@
can again be another composite.
</p>
<div class="table">
-<a name="id674433"></a><p class="title"><b>Table 1.2. Modules</b></p>
+<a name="id717475"></a><p class="title"><b>Table 1.2. Modules</b></p>
<div class="table-contents"><table class="table" summary="Modules">
<colgroup>
<col>
@@ -199,7 +199,7 @@
the core module is defined in <code class="computeroutput"><span class="special"><</span><span class="identifier">boost</span><span class="special">/</span><span class="identifier">phoenix</span><span class="special">/</span><span class="identifier">core</span><span class="special">.</span><span class="identifier">hpp</span><span class="special">></span></code>.
</p>
<div class="table">
-<a name="id674724"></a><p class="title"><b>Table 1.3. Includes</b></p>
+<a name="id717766"></a><p class="title"><b>Table 1.3. Includes</b></p>
<div class="table-contents"><table class="table" summary="Includes">
<colgroup>
<col>
Modified: sandbox/SOC/2010/phoenix3/libs/phoenix/doc/html/phoenix/starter_kit.html
==============================================================================
--- sandbox/SOC/2010/phoenix3/libs/phoenix/doc/html/phoenix/starter_kit.html (original)
+++ sandbox/SOC/2010/phoenix3/libs/phoenix/doc/html/phoenix/starter_kit.html 2010-08-13 18:36:39 EDT (Fri, 13 Aug 2010)
@@ -53,7 +53,7 @@
into high gear quickly.
</p>
<a name="phoenix.starter_kit.functors_everywhere"></a><h3>
-<a name="id669720"></a>
+<a name="id712762"></a>
<a class="link" href="starter_kit.html#phoenix.starter_kit.functors_everywhere">Functors everywhere</a>
</h3>
<p>
Modified: sandbox/SOC/2010/phoenix3/libs/phoenix/doc/html/phoenix/starter_kit/lazy_functions.html
==============================================================================
--- sandbox/SOC/2010/phoenix3/libs/phoenix/doc/html/phoenix/starter_kit/lazy_functions.html (original)
+++ sandbox/SOC/2010/phoenix3/libs/phoenix/doc/html/phoenix/starter_kit/lazy_functions.html 2010-08-13 18:36:39 EDT (Fri, 13 Aug 2010)
@@ -45,7 +45,7 @@
<span class="identifier">function</span><span class="special"><</span><span class="identifier">is_odd_impl</span><span class="special">></span> <span class="identifier">is_odd</span><span class="special">;</span>
</pre>
<a name="phoenix.starter_kit.lazy_functions.things_to_note_"></a><h3>
-<a name="id672418"></a>
+<a name="id715460"></a>
<a class="link" href="lazy_functions.html#phoenix.starter_kit.lazy_functions.things_to_note_">Things
to note:</a>
</h3>
@@ -75,7 +75,7 @@
(See function.cpp)
</p>
<a name="phoenix.starter_kit.lazy_functions.predefined_lazy_functions"></a><h3>
-<a name="id672578"></a>
+<a name="id715620"></a>
<a class="link" href="lazy_functions.html#phoenix.starter_kit.lazy_functions.predefined_lazy_functions">Predefined
Lazy Functions</a>
</h3>
Modified: sandbox/SOC/2010/phoenix3/libs/phoenix/doc/html/phoenix/starter_kit/lazy_operators.html
==============================================================================
--- sandbox/SOC/2010/phoenix3/libs/phoenix/doc/html/phoenix/starter_kit/lazy_operators.html (original)
+++ sandbox/SOC/2010/phoenix3/libs/phoenix/doc/html/phoenix/starter_kit/lazy_operators.html 2010-08-13 18:36:39 EDT (Fri, 13 Aug 2010)
@@ -68,7 +68,7 @@
</p>
</div>
<a name="phoenix.starter_kit.lazy_operators.first_practical_example"></a><h3>
-<a name="id671380"></a>
+<a name="id714422"></a>
<a class="link" href="lazy_operators.html#phoenix.starter_kit.lazy_operators.first_practical_example">First
Practical Example</a>
</h3>
Modified: sandbox/SOC/2010/phoenix3/libs/phoenix/doc/html/phoenix/starter_kit/values.html
==============================================================================
--- sandbox/SOC/2010/phoenix3/libs/phoenix/doc/html/phoenix/starter_kit/values.html (original)
+++ sandbox/SOC/2010/phoenix3/libs/phoenix/doc/html/phoenix/starter_kit/values.html 2010-08-13 18:36:39 EDT (Fri, 13 Aug 2010)
@@ -32,7 +32,7 @@
World"</span></code>.
</p>
<a name="phoenix.starter_kit.values.lazy_evaluation"></a><h3>
-<a name="id669862"></a>
+<a name="id712904"></a>
<a class="link" href="values.html#phoenix.starter_kit.values.lazy_evaluation">Lazy Evaluation</a>
</h3>
<p>
@@ -64,7 +64,7 @@
anything and defers the evaluation for later.
</p>
<a name="phoenix.starter_kit.values.callbacks"></a><h3>
-<a name="id670065"></a>
+<a name="id713107"></a>
<a class="link" href="values.html#phoenix.starter_kit.values.callbacks">Callbacks</a>
</h3>
<p>
Modified: sandbox/SOC/2010/phoenix3/libs/phoenix/doc/html/quickbook_HTML.manifest
==============================================================================
--- sandbox/SOC/2010/phoenix3/libs/phoenix/doc/html/quickbook_HTML.manifest (original)
+++ sandbox/SOC/2010/phoenix3/libs/phoenix/doc/html/quickbook_HTML.manifest 2010-08-13 18:36:39 EDT (Fri, 13 Aug 2010)
@@ -16,8 +16,6 @@
phoenix/reference/concepts.html
phoenix/reference/concepts/environment.html
phoenix/reference/concepts/actor.html
-phoenix/reference/concepts/primitive.html
-phoenix/reference/concepts/composite.html
phoenix/reference/concepts/evaluationpolicy.html
phoenix/reference/concepts/evaluator.html
phoenix/reference/modules.html
Modified: sandbox/SOC/2010/phoenix3/libs/phoenix/doc/reference/concepts.qbk
==============================================================================
--- sandbox/SOC/2010/phoenix3/libs/phoenix/doc/reference/concepts.qbk (original)
+++ sandbox/SOC/2010/phoenix3/libs/phoenix/doc/reference/concepts.qbk 2010-08-13 18:36:39 EDT (Fri, 13 Aug 2010)
@@ -11,6 +11,7 @@
[def __phoenix_concept_environment__ [link phoenix.reference.concepts.environment Environment]]
[def __phoenix_concept_evaluator__ [link phoenix.reference.concepts.evaluator Evaluator]]
+[def __phoenix_concept_evaluation_policies__ [link phoenix.reference.concepts.evaluator Evaluation Policies]]
[section Concepts]
@@ -78,8 +79,8 @@
[variablelist Notation
[[`Actor`] [A type fulfilling this concept]]
- [[`actor`] [Object of type Env]]
- [[`A0...AN`] []]
+ [[`actor`] [Object of type Actor]]
+ [[`A0...AN`] [Argument Types]]
[[`a0...aN`] [Objects of type A0, ...AN]]
[[`N`] [A __boost_mpl_int__]]
[[`M`] [A positive Integer index]]
@@ -98,15 +99,15 @@
[table
[[Expression] [Result Type] [Compiletime Complexity]]
[[result_of::actor<Expr, A0...AN>::type] [Any Type] [unspecified]]
- [[result_of::element_at_c<Actor, N>::type] [Any Type] [unspecified]]
- [[result_of::element_at_c<Actor, M>::type] [Any Type] [unspecified]]
+ [[result_of::element_at_c<Actor, N>::type] [Any Type] [Constant]]
+ [[result_of::element_at_c<Actor, M>::type] [Any Type] [Constant]]
]
[heading Expression Semantics]
[table
[[Expression] [Semantics]]
- [[actor(a0...aN)] [Evaluates the expression with the default __phoenix_concept_evaluator]]
+ [[actor(a0...aN)] [Evaluates the expression with the default __phoenix_concept_evaluator__]]
[[element_at<N>(actor)] [Returns the `N::value`-th element of an compounf expression]]
[[element_at_c<M>(actor)] [Returns the `M`th element of an compound expression]]
]
@@ -119,16 +120,105 @@
[endsect]
+[/
[section Primitive]
+
+[heading Description]
+
+Refinement of Actor.
+
[endsect]
[section Composite]
[endsect]
+]
[section EvaluationPolicy]
+
+[heading Description]
+
+Evaluation Policies are the classes which decide how the composite is to be evaluated with respect to the default evaluator.
+
+[variablelist Notation
+ [[`F`] [Type fulfilling this concept]]
+ [[`f`] [Object of type F]]
+ [[`Env`] [A type of __phoenix_concept_environment__]]
+ [[`env`] [Object of type Env]]
+ [[`A0...AN`] [Argument Types]]
+ [[`a0...aN`] [Objects of type A0, ...AN]]
+]
+
+[heading Valid Expressions]
+
+[table
+ [[Expression] [Return Type] [Runtime Complexity]]
+ [[`f(env, a0...aN)`] [Any Type] [unspecified]]
+]
+
+[heading Result Type Expressions]
+[table
+ [[Expression] [Result Type] [Compiletime Complexity]]
+ [[`boost::result_of<F(Env, A0...AN)>::type|`] [Result of evaluation] [unspecified]]
+]
+
+[heading Expression Semantics]
+
+[table
+ [[Expression] [Semantics]]
+ [[`f(env, a0...aN)`] [Evalutes the Composite with the given attached data]]
+]
+
+[heading Models]
+
+TODO (almost everything)
+
[endsect]
[section Evaluator]
+
+[heading Description]
+
+The concepts of evaluators are the working horses behind phoenix.
+They are responsible of evaluating the composed expressions.
+
+Various evaluators are thinkable, the main evaluator will be refered to as the
+default evaluator. It is implemented in terms of the Boost.Proto default context
+and the various __phoenix_concpets_evaluation_policies__.
+
+[variablelist Notation
+ [[`Actor`] [Type fulfilling this concept]]
+ [[`eval`] [An object of type Eval]]
+ [[`Expr`] [Type of the Actor Concept]]
+ [[`expr`] [Object of type Expr]]
+]
+
+[heading Valid Expressions]
+
+[table
+ [[Expression] [Return Type] [Runtime Complexity]]
+ [[`eval(expr, env)`] [Any Type] [unspecified]]
+]
+
+[heading Result Type Expressions]
+[table
+ [[Expression] [Result Type] [Compiletime Complexity]]
+ [[boost::result_of<Eval(Expr const&, Env&)>::type] [Result of evaluation] [unspecified]]
+]
+
+[heading Expression Semantics]
+
+[table
+ [[Expression] [Semantics]]
+ [[`eval(expr, env)`] [Evaluate the expression with the given environment]]
+]
+
+[heading Models]
+
+* eval_grammar
+* arity
+* no_nullary
+* switch_grammar
+
[endsect]
[endsect]
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