Concept Domain

Domain

Description

A Domain creates an association between expressions and a so-called generator, which is a function that maps an expression in the default domain to an equivalent expression in this Domain. It also associates an expression with a grammar, to which all expressions within this Domain must conform.

Associated types

proto_grammar
proto_generator
proto_super_domain
result_type
as_expr_result_type
as_child_result_type

Notation

DomainA type playing the role of domain-type in the Domain concept.ExprA type playing the role of expression-type in the Domain concept.ObjectA type playing the role of object-type in the Domain concept.dObject of type DomaineObject of type ExproObject of type Object

Valid expressions

Name	Expression	Type	Semantics

Apply Generator

d(e)

result_type

The result of applying proto_generator to the specified expression.

| |

As Expression

Domain::as_expr< Object >()(o)

as_expr_result_type

The result of converting some object to a Proto expression in this domain. It returns a Proto expression object that is suitable for storage in a variable. It should return a new object, which may be a copy of the object passed in.

| |

As Child

Domain::as_child< Object >()(o)

as_child_result_type

The result of converting some object to a Proto expression in this domain. It returns an object suitable for storage as a child in an expression tree, which may simply be a reference to the object passed in.

Models

boost::proto::default_domain

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)