diff options
author | Anas Nashif <anas.nashif@intel.com> | 2012-10-30 12:57:26 -0700 |
---|---|---|
committer | Anas Nashif <anas.nashif@intel.com> | 2012-10-30 12:57:26 -0700 |
commit | 1a78a62555be32868418fe52f8e330c9d0f95d5a (patch) | |
tree | d3765a80e7d3b9640ec2e930743630cd6b9fce2b /doc/html/proto.html | |
download | boost-1a78a62555be32868418fe52f8e330c9d0f95d5a.tar.gz boost-1a78a62555be32868418fe52f8e330c9d0f95d5a.tar.bz2 boost-1a78a62555be32868418fe52f8e330c9d0f95d5a.zip |
Imported Upstream version 1.49.0upstream/1.49.0
Diffstat (limited to 'doc/html/proto.html')
-rw-r--r-- | doc/html/proto.html | 265 |
1 files changed, 265 insertions, 0 deletions
diff --git a/doc/html/proto.html b/doc/html/proto.html new file mode 100644 index 0000000000..e44bc85cd5 --- /dev/null +++ b/doc/html/proto.html @@ -0,0 +1,265 @@ +<html> +<head> +<meta http-equiv="Content-Type" content="text/html; charset=US-ASCII"> +<title>Chapter 20. Boost.Proto</title> +<link rel="stylesheet" href="../../doc/src/boostbook.css" type="text/css"> +<meta name="generator" content="DocBook XSL Stylesheets V1.76.1"> +<link rel="home" href="index.html" title="The Boost C++ Libraries BoostBook Documentation Subset"> +<link rel="up" href="libraries.html" title="Part I. The Boost C++ Libraries (BoostBook Subset)"> +<link rel="prev" href="boost/property_tree/xml_parser/write_xml_id1154652.html" title="Function template write_xml"> +<link rel="next" href="proto/users_guide.html" title="Users' Guide"> +</head> +<body bgcolor="white" text="black" link="#0000FF" vlink="#840084" alink="#0000FF"> +<table cellpadding="2" width="100%"><tr> +<td valign="top"><img alt="Boost C++ Libraries" width="277" height="86" src="../../boost.png"></td> +<td align="center"><a href="../../index.html">Home</a></td> +<td align="center"><a href="../../libs/libraries.htm">Libraries</a></td> +<td align="center"><a href="http://www.boost.org/users/people.html">People</a></td> +<td align="center"><a href="http://www.boost.org/users/faq.html">FAQ</a></td> +<td align="center"><a href="../../more/index.htm">More</a></td> +</tr></table> +<hr> +<div class="spirit-nav"> +<a accesskey="p" href="boost/property_tree/xml_parser/write_xml_id1154652.html"><img src="../../doc/src/images/prev.png" alt="Prev"></a><a accesskey="u" href="libraries.html"><img src="../../doc/src/images/up.png" alt="Up"></a><a accesskey="h" href="index.html"><img src="../../doc/src/images/home.png" alt="Home"></a><a accesskey="n" href="proto/users_guide.html"><img src="../../doc/src/images/next.png" alt="Next"></a> +</div> +<div class="chapter"> +<div class="titlepage"><div> +<div><h2 class="title"> +<a name="proto"></a>Chapter 20. Boost.Proto</h2></div> +<div><div class="author"><h3 class="author"> +<span class="firstname">Eric</span> <span class="surname">Niebler</span> +</h3></div></div> +<div><p class="copyright">Copyright © 2008 Eric Niebler</p></div> +<div><div class="legalnotice"> +<a name="proto.legal"></a><p> + Distributed under the Boost Software License, Version 1.0. (See accompanying + file LICENSE_1_0.txt or copy at <a href="http://www.boost.org/LICENSE_1_0.txt" target="_top">http://www.boost.org/LICENSE_1_0.txt</a>) + </p> +</div></div> +</div></div> +<div class="toc"> +<p><b>Table of Contents</b></p> +<dl> +<dt><span class="section"><a href="proto.html#boost_proto.preface">Preface</a></span></dt> +<dt><span class="section"><a href="proto/users_guide.html">Users' Guide</a></span></dt> +<dd><dl> +<dt><span class="section"><a href="proto/users_guide.html#boost_proto.users_guide.getting_started">Getting Started</a></span></dt> +<dt><span class="section"><a href="proto/users_guide.html#boost_proto.users_guide.front_end">Fronts Ends: Defining + Terminals and Non-Terminals of Your EDSL</a></span></dt> +<dt><span class="section"><a href="proto/users_guide.html#boost_proto.users_guide.intermediate_form">Intermediate + Form: Understanding and Introspecting Expressions</a></span></dt> +<dt><span class="section"><a href="proto/users_guide.html#boost_proto.users_guide.back_end">Back Ends: Making Expression + Templates Do Useful Work</a></span></dt> +<dt><span class="section"><a href="proto/users_guide.html#boost_proto.users_guide.examples">Examples</a></span></dt> +<dt><span class="section"><a href="proto/users_guide.html#boost_proto.users_guide.resources">Background and Resources</a></span></dt> +<dt><span class="section"><a href="proto/users_guide.html#boost_proto.users_guide.glossary">Glossary</a></span></dt> +</dl></dd> +<dt><span class="section"><a href="proto/reference.html">Reference</a></span></dt> +<dd><dl> +<dt><span class="section"><a href="proto/reference.html#proto.concepts">Concepts</a></span></dt> +<dt><span class="section"><a href="proto/reference.html#proto.reference.classes">Classes</a></span></dt> +<dt><span class="section"><a href="proto/reference.html#proto.reference.functions">Functions</a></span></dt> +<dt><span class="section"><a href="proto/reference.html#header.boost.proto.args_hpp">Header <boost/proto/args.hpp></a></span></dt> +<dt><span class="section"><a href="proto/reference.html#header.boost.proto.core_hpp">Header <boost/proto/core.hpp></a></span></dt> +<dt><span class="section"><a href="proto/reference.html#header.boost.proto.debug_hpp">Header <boost/proto/debug.hpp></a></span></dt> +<dt><span class="section"><a href="proto/reference.html#header.boost.proto.deep_copy_hpp">Header <boost/proto/deep_copy.hpp></a></span></dt> +<dt><span class="section"><a href="proto/reference.html#header.boost.proto.domain_hpp">Header <boost/proto/domain.hpp></a></span></dt> +<dt><span class="section"><a href="proto/reference.html#header.boost.proto.eval_hpp">Header <boost/proto/eval.hpp></a></span></dt> +<dt><span class="section"><a href="proto/reference.html#header.boost.proto.expr_hpp">Header <boost/proto/expr.hpp></a></span></dt> +<dt><span class="section"><a href="proto/reference.html#header.boost.proto.extends_hpp">Header <boost/proto/extends.hpp></a></span></dt> +<dt><span class="section"><a href="proto/reference.html#header.boost.proto.functional_hpp">Header <boost/proto/functional.hpp></a></span></dt> +<dt><span class="section"><a href="proto/reference.html#header.boost.proto.functional.fusion_hpp">Header <boost/proto/functional/fusion.hpp></a></span></dt> +<dt><span class="section"><a href="proto/reference.html#header.boost.proto.functional.fusion.at_hpp">Header <boost/proto/functional/fusion/at.hpp></a></span></dt> +<dt><span class="section"><a href="proto/reference.html#header.boost.proto.functional.fusion.pop_back_hpp">Header <boost/proto/functional/fusion/pop_back.hpp></a></span></dt> +<dt><span class="section"><a href="proto/reference.html#header.boost.proto.functional.fusion.pop_front_hpp">Header <boost/proto/functional/fusion/pop_front.hpp></a></span></dt> +<dt><span class="section"><a href="proto/reference.html#header.boost.proto.functional.fusion.push_back_hpp">Header <boost/proto/functional/fusion/push_back.hpp></a></span></dt> +<dt><span class="section"><a href="proto/reference.html#header.boost.proto.functional.fusion.push_front_hpp">Header <boost/proto/functional/fusion/push_front.hpp></a></span></dt> +<dt><span class="section"><a href="proto/reference.html#header.boost.proto.functional.fusion.reverse_hpp">Header <boost/proto/functional/fusion/reverse.hpp></a></span></dt> +<dt><span class="section"><a href="proto/reference.html#header.boost.proto.functional.std_hpp">Header <boost/proto/functional/std.hpp></a></span></dt> +<dt><span class="section"><a href="proto/reference.html#header.boost.proto.functional.std.utility_hpp">Header <boost/proto/functional/std/utility.hpp></a></span></dt> +<dt><span class="section"><a href="proto/reference.html#header.boost.proto.fusion_hpp">Header <boost/proto/fusion.hpp></a></span></dt> +<dt><span class="section"><a href="proto/reference.html#header.boost.proto.generate_hpp">Header <boost/proto/generate.hpp></a></span></dt> +<dt><span class="section"><a href="proto/reference.html#header.boost.proto.literal_hpp">Header <boost/proto/literal.hpp></a></span></dt> +<dt><span class="section"><a href="proto/reference.html#header.boost.proto.make_expr_hpp">Header <boost/proto/make_expr.hpp></a></span></dt> +<dt><span class="section"><a href="proto/reference.html#header.boost.proto.matches_hpp">Header <boost/proto/matches.hpp></a></span></dt> +<dt><span class="section"><a href="proto/reference.html#header.boost.proto.operators_hpp">Header <boost/proto/operators.hpp></a></span></dt> +<dt><span class="section"><a href="proto/reference.html#header.boost.proto.proto_hpp">Header <boost/proto/proto.hpp></a></span></dt> +<dt><span class="section"><a href="proto/reference.html#header.boost.proto.proto_fwd_hpp">Header <boost/proto/proto_fwd.hpp></a></span></dt> +<dt><span class="section"><a href="proto/reference.html#header.boost.proto.proto_typeof_hpp">Header <boost/proto/proto_typeof.hpp></a></span></dt> +<dt><span class="section"><a href="proto/reference.html#header.boost.proto.repeat_hpp">Header <boost/proto/repeat.hpp></a></span></dt> +<dt><span class="section"><a href="proto/reference.html#header.boost.proto.tags_hpp">Header <boost/proto/tags.hpp></a></span></dt> +<dt><span class="section"><a href="proto/reference.html#header.boost.proto.traits_hpp">Header <boost/proto/traits.hpp></a></span></dt> +<dt><span class="section"><a href="proto/reference.html#header.boost.proto.transform_hpp">Header <boost/proto/transform.hpp></a></span></dt> +<dt><span class="section"><a href="proto/reference.html#header.boost.proto.transform.arg_hpp">Header <boost/proto/transform/arg.hpp></a></span></dt> +<dt><span class="section"><a href="proto/reference.html#header.boost.proto.transform.call_hpp">Header <boost/proto/transform/call.hpp></a></span></dt> +<dt><span class="section"><a href="proto/reference.html#header.boost.proto.transform.default_hpp">Header <boost/proto/transform/default.hpp></a></span></dt> +<dt><span class="section"><a href="proto/reference.html#header.boost.proto.transform.fold_hpp">Header <boost/proto/transform/fold.hpp></a></span></dt> +<dt><span class="section"><a href="proto/reference.html#header.boost.proto.transform.fold_tree_hpp">Header <boost/proto/transform/fold_tree.hpp></a></span></dt> +<dt><span class="section"><a href="proto/reference.html#header.boost.proto.transform.impl_hpp">Header <boost/proto/transform/impl.hpp></a></span></dt> +<dt><span class="section"><a href="proto/reference.html#header.boost.proto.transform.integral_c_hpp">Header <boost/proto/transform/integral_c.hpp></a></span></dt> +<dt><span class="section"><a href="proto/reference.html#header.boost.proto.transform.lazy_hpp">Header <boost/proto/transform/lazy.hpp></a></span></dt> +<dt><span class="section"><a href="proto/reference.html#header.boost.proto.transform.make_hpp">Header <boost/proto/transform/make.hpp></a></span></dt> +<dt><span class="section"><a href="proto/reference.html#header.boost.proto.transform.pass_through_hpp">Header <boost/proto/transform/pass_through.hpp></a></span></dt> +<dt><span class="section"><a href="proto/reference.html#header.boost.proto.transform.when_hpp">Header <boost/proto/transform/when.hpp></a></span></dt> +<dt><span class="section"><a href="proto/reference.html#header.boost.proto.context_hpp">Header <boost/proto/context.hpp></a></span></dt> +<dt><span class="section"><a href="proto/reference.html#header.boost.proto.context.callable_hpp">Header <boost/proto/context/callable.hpp></a></span></dt> +<dt><span class="section"><a href="proto/reference.html#header.boost.proto.context.default_hpp">Header <boost/proto/context/default.hpp></a></span></dt> +<dt><span class="section"><a href="proto/reference.html#header.boost.proto.context.null_hpp">Header <boost/proto/context/null.hpp></a></span></dt> +</dl></dd> +<dt><span class="section"><a href="proto/appendices.html">Appendices</a></span></dt> +<dd><dl> +<dt><span class="section"><a href="proto/appendices.html#boost_proto.appendices.release_notes">Appendix A: Release + Notes</a></span></dt> +<dt><span class="section"><a href="proto/appendices.html#boost_proto.appendices.history">Appendix B: History</a></span></dt> +<dt><span class="section"><a href="proto/appendices.html#boost_proto.appendices.rationale">Appendix C: Rationale</a></span></dt> +<dt><span class="section"><a href="proto/appendices.html#boost_proto.appendices.implementation">Appendix D: Implementation + Notes</a></span></dt> +<dt><span class="section"><a href="proto/appendices.html#boost_proto.appendices.acknowledgements">Appendix E: + Acknowledgements</a></span></dt> +</dl></dd> +</dl> +</div> +<div class="section"> +<div class="titlepage"><div><div><h2 class="title" style="clear: both"> +<a name="boost_proto.preface"></a><a class="link" href="proto.html#boost_proto.preface" title="Preface">Preface</a> +</h2></div></div></div> +<div class="blockquote"><blockquote class="blockquote"><p> + <span class="quote">“<span class="quote">There are more things in heaven and earth, Horatio, than are dreamt + of in your philosophy.</span>”</span> + </p></blockquote></div> +<div class="blockquote"><blockquote class="blockquote"><p> + <span class="bold"><strong><span class="emphasis"><em>-- William Shakespeare</em></span></strong></span> + </p></blockquote></div> +<h4> +<a name="boost_proto.preface.h0"></a> + <span><a name="boost_proto.preface.description"></a></span><a class="link" href="proto.html#boost_proto.preface.description">Description</a> + </h4> +<p> + Proto is a framework for building Embedded Domain-Specific Languages in C++. + It provides tools for constructing, type-checking, transforming and executing + <span class="emphasis"><em>expression templates</em></span><sup>[<a name="boost_proto.preface.f0" href="#ftn.boost_proto.preface.f0" class="footnote">3</a>]</sup>. More specifically, Proto provides: + </p> +<div class="itemizedlist"><ul class="itemizedlist" type="disc"> +<li class="listitem"> + An expression tree data structure. + </li> +<li class="listitem"> + A mechanism for giving expressions additional behaviors and members. + </li> +<li class="listitem"> + Operator overloads for building the tree from an expression. + </li> +<li class="listitem"> + Utilities for defining the grammar to which an expression must conform. + </li> +<li class="listitem"> + An extensible mechanism for immediately executing an expression template. + </li> +<li class="listitem"> + An extensible set of tree transformations to apply to expression trees. + </li> +</ul></div> +<h4> +<a name="boost_proto.preface.h1"></a> + <span><a name="boost_proto.preface.motivation"></a></span><a class="link" href="proto.html#boost_proto.preface.motivation">Motivation</a> + </h4> +<p> + Expression Templates are an advanced technique that C++ library developers + use to define embedded mini-languages that target specific problem domains. + The technique has been used to create efficient and easy-to-use libraries for + linear algebra as well as to define C++ parser generators with a readable syntax. + But developing such a library involves writing an inordinate amount of unreadable + and unmaintainable template mumbo-jumbo. Boost.Proto eases the development + of <a class="link" href="proto/users_guide.html#boost_proto.users_guide.glossary.edsl">domain-specific embedded + languages (EDSLs)</a>. Use Proto to define the primitives of your mini-language + and let Proto handle the operator overloading and the construction of the expression + parse tree. Immediately evaluate the expression tree by passing it a function + object. Or transform the expression tree by defining the grammar of your mini-language, + decorated with an assortment of tree transforms provided by Proto or defined + by you. Then use the grammar to give your users short and readable syntax errors + for invalid expressions! No more mumbo-jumbo -- an expression template library + developed with Proto is declarative and readable. + </p> +<p> + In short, Proto is a EDSL for defining EDSLs. + </p> +<h4> +<a name="boost_proto.preface.h2"></a> + <span><a name="boost_proto.preface.how_to_use_this_documentation"></a></span><a class="link" href="proto.html#boost_proto.preface.how_to_use_this_documentation">How + to Use This Documentation</a> + </h4> +<p> + This documentation makes use of the following naming and formatting conventions. + </p> +<div class="itemizedlist"><ul class="itemizedlist" type="disc"> +<li class="listitem"> + Code is in <code class="computeroutput"><span class="identifier">fixed</span> <span class="identifier">width</span> + <span class="identifier">font</span></code> and is syntax-highlighted. + </li> +<li class="listitem"> + Replaceable text that you will need to supply is in <em class="replaceable"><code>italics</code></em>. + </li> +<li class="listitem"> + If a name refers to a free function, it is specified like this: <code class="computeroutput"><span class="identifier">free_function</span><span class="special">()</span></code>; + that is, it is in code font and its name is followed by <code class="computeroutput"><span class="special">()</span></code> + to indicate that it is a free function. + </li> +<li class="listitem"> + If a name refers to a class template, it is specified like this: <code class="computeroutput"><span class="identifier">class_template</span><span class="special"><></span></code>; + that is, it is in code font and its name is followed by <code class="computeroutput"><span class="special"><></span></code> + to indicate that it is a class template. + </li> +<li class="listitem"> + If a name refers to a function-like macro, it is specified like this: + <code class="computeroutput"><span class="identifier">MACRO</span><span class="special">()</span></code>; + that is, it is uppercase in code font and its name is followed by <code class="computeroutput"><span class="special">()</span></code> to indicate that it is a function-like + macro. Object-like macros appear without the trailing <code class="computeroutput"><span class="special">()</span></code>. + </li> +<li class="listitem"> + Names that refer to <span class="emphasis"><em>concepts</em></span> in the generic programming + sense are specified in CamelCase. + </li> +</ul></div> +<div class="note"><table border="0" summary="Note"> +<tr> +<td rowspan="2" align="center" valign="top" width="25"><img alt="[Note]" src="../../doc/src/images/note.png"></td> +<th align="left">Note</th> +</tr> +<tr><td align="left" valign="top"><p> + In addition, notes such as this one specify non-essential information that + provides additional background or rationale. + </p></td></tr> +</table></div> +<p> + Finally, you can mentally add the following to any code fragments in this document: + </p> +<pre class="programlisting"><span class="comment">// Include all of Proto</span> +<span class="preprocessor">#include</span> <span class="special"><</span><span class="identifier">boost</span><span class="special">/</span><span class="identifier">proto</span><span class="special">/</span><span class="identifier">proto</span><span class="special">.</span><span class="identifier">hpp</span><span class="special">></span> + +<span class="comment">// Create some namespace aliases</span> +<span class="keyword">namespace</span> <span class="identifier">mpl</span> <span class="special">=</span> <span class="identifier">boost</span><span class="special">::</span><span class="identifier">mpl</span><span class="special">;</span> +<span class="keyword">namespace</span> <span class="identifier">fusion</span> <span class="special">=</span> <span class="identifier">boost</span><span class="special">::</span><span class="identifier">fusion</span><span class="special">;</span> +<span class="keyword">namespace</span> <span class="identifier">proto</span> <span class="special">=</span> <span class="identifier">boost</span><span class="special">::</span><span class="identifier">proto</span><span class="special">;</span> + +<span class="comment">// Allow unqualified use of Proto's wildcard pattern</span> +<span class="keyword">using</span> <span class="identifier">proto</span><span class="special">::</span><span class="identifier">_</span><span class="special">;</span> +</pre> +</div> +<div class="footnotes"> +<br><hr width="100" align="left"> +<div class="footnote"><p><sup>[<a id="ftn.boost_proto.preface.f0" href="#boost_proto.preface.f0" class="para">3</a>] </sup> + See <a href="http://www.osl.iu.edu/~tveldhui/papers/Expression-Templates/exprtmpl.html" target="_top">Expression + Templates</a> + </p></div> +</div> +</div> +<table xmlns:rev="http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" width="100%"><tr> +<td align="left"><p><small>Last revised: February 20, 2012 at 20:50:32 GMT</small></p></td> +<td align="right"><div class="copyright-footer"></div></td> +</tr></table> +<hr> +<div class="spirit-nav"> +<a accesskey="p" href="boost/property_tree/xml_parser/write_xml_id1154652.html"><img src="../../doc/src/images/prev.png" alt="Prev"></a><a accesskey="u" href="libraries.html"><img src="../../doc/src/images/up.png" alt="Up"></a><a accesskey="h" href="index.html"><img src="../../doc/src/images/home.png" alt="Home"></a><a accesskey="n" href="proto/users_guide.html"><img src="../../doc/src/images/next.png" alt="Next"></a> +</div> +</body> +</html> |