DSL verb token: move to distinct definition header
concept finished thus far
This commit is contained in:
parent
4fe1f64eb5
commit
746fba98d5
3 changed files with 111 additions and 38 deletions
|
|
@ -27,14 +27,14 @@
|
|||
** mostly for the purpose of documenting the issue at the
|
||||
** usage site.
|
||||
**
|
||||
** @see cxx-demangle.cpp
|
||||
** @see lib::test::demangleCxx
|
||||
** @see UniqueMallocOwner_test
|
||||
**
|
||||
*/
|
||||
|
||||
|
||||
#ifndef UNIQUE_MALLOC_OWNER_H_
|
||||
#define UNIQUE_MALLOC_OWNER_H_
|
||||
#ifndef LIB_UNIQUE_MALLOC_OWNER_H
|
||||
#define LIB_UNIQUE_MALLOC_OWNER_H
|
||||
|
||||
|
||||
#include "lib/error.hpp"
|
||||
|
|
@ -83,4 +83,4 @@ namespace lib {
|
|||
|
||||
|
||||
} // namespace lib
|
||||
#endif /*UNIQUE_MALLOC_OWNER_HPP_*/
|
||||
#endif /*LIB_UNIQUE_MALLOC_OWNER_H*/
|
||||
|
|
|
|||
106
src/lib/verb-token.hpp
Normal file
106
src/lib/verb-token.hpp
Normal file
|
|
@ -0,0 +1,106 @@
|
|||
/*
|
||||
VERB-TOKEN.hpp - double dispatch based on DSL tokens
|
||||
|
||||
Copyright (C) Lumiera.org
|
||||
2014, Hermann Vosseler <Ichthyostega@web.de>
|
||||
|
||||
This program is free software; you can redistribute it and/or
|
||||
modify it under the terms of the GNU General Public License as
|
||||
published by the Free Software Foundation; either version 2 of
|
||||
the License, or (at your option) any later version.
|
||||
|
||||
This program is distributed in the hope that it will be useful,
|
||||
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
||||
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
||||
GNU General Public License for more details.
|
||||
|
||||
You should have received a copy of the GNU General Public License
|
||||
along with this program; if not, write to the Free Software
|
||||
Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
|
||||
|
||||
*/
|
||||
|
||||
|
||||
/** @file verb-token.hpp
|
||||
** Building blocks for a simple DSL using double dispatch to a handler function.
|
||||
** Actually this is a specialised variation of the visitor pattern, where the
|
||||
** "verb tokens" of the language are the domain objects accepting a "receiver"
|
||||
** (visitor) to provide the concrete implementation function for each "verb".
|
||||
**
|
||||
** The intended usage is to set up a language comprised of several abstract actions ("verbs"),
|
||||
** but to defer the concrete implementation to a specific set of handler functions, which
|
||||
** is provided late, at application time. This way, we can send a sequence of verbs towards
|
||||
** an unknown receiver, which supplies the actual meaning within the target context. In
|
||||
** the end, there is a double-dispatch based both on the individual verb given and the
|
||||
** concrete receiver, which needs to implement the interface used in the definition
|
||||
** of the verb tokens. The handler functions defined within this interface may
|
||||
** take additional arguments, which are passed through on application to
|
||||
** the concrete receiver, e.g. `VERB_doit (receiver, arg1, arg2)`
|
||||
** results in the invocation of \c receiver.doit(arg1,arg2)
|
||||
**
|
||||
** @see ...TODO
|
||||
** @see VerbFunctionDispatch_test
|
||||
**
|
||||
*/
|
||||
|
||||
|
||||
#ifndef LIB_VERB_TOKEN_H
|
||||
#define LIB_VERB_TOKEN_H
|
||||
|
||||
|
||||
#include "lib/symbol.hpp"
|
||||
#include "lib/util.hpp"
|
||||
|
||||
#include <utility>
|
||||
#include <string>
|
||||
|
||||
|
||||
namespace lib {
|
||||
|
||||
using std::string;
|
||||
|
||||
|
||||
/**
|
||||
* Action token implemented by double dispatch to a handler function,
|
||||
* as defined in the "receiver" interface (parameter \c REC).
|
||||
* The token is typically part of a DSL and can be applied
|
||||
* to a concrete receiver subclass.
|
||||
* @note the #VERB macro simplifies definition of actual tokens
|
||||
*/
|
||||
template<class REC, class SIG>
|
||||
class VerbToken;
|
||||
|
||||
template<class REC, class RET, typename... ARGS>
|
||||
class VerbToken<REC, RET(ARGS...)>
|
||||
{
|
||||
typedef RET (REC::*Handler) (ARGS...);
|
||||
|
||||
Handler handler_;
|
||||
Literal token_;
|
||||
|
||||
public:
|
||||
RET
|
||||
applyTo (REC& receiver, ARGS&&... args)
|
||||
{
|
||||
return (receiver.*handler_)(std::forward<ARGS>(args)...);
|
||||
}
|
||||
|
||||
operator string()
|
||||
{
|
||||
return string(token_);
|
||||
}
|
||||
|
||||
VerbToken(Handler handlerFunction, Literal token)
|
||||
: handler_(handlerFunction)
|
||||
, token_(token)
|
||||
{ }
|
||||
};
|
||||
|
||||
#define VERB(RECEIVER, FUN) VERB_##FUN (&RECEIVER::FUN, STRINGIFY(FUN))
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
} // namespace lib
|
||||
#endif /*LIB_VERB_TOKEN_H*/
|
||||
|
|
@ -22,12 +22,10 @@
|
|||
|
||||
|
||||
#include "lib/test/run.hpp"
|
||||
#include "lib/verb-token.hpp"
|
||||
#include "lib/format-string.hpp"
|
||||
#include "lib/symbol.hpp"
|
||||
#include "lib/util.hpp"
|
||||
|
||||
#include <iostream>
|
||||
#include <utility>
|
||||
#include <string>
|
||||
#include <vector>
|
||||
|
||||
|
|
@ -40,37 +38,6 @@ using std::cout;
|
|||
namespace lib {
|
||||
namespace test{
|
||||
|
||||
template<class REC, class SIG>
|
||||
class VerbToken;
|
||||
|
||||
template<class REC, class RET, typename... ARGS>
|
||||
class VerbToken<REC, RET(ARGS...)>
|
||||
{
|
||||
typedef RET (REC::*Handler) (ARGS...);
|
||||
|
||||
Handler handler_;
|
||||
Literal token_;
|
||||
|
||||
public:
|
||||
RET
|
||||
applyTo (REC& receiver, ARGS&&... args)
|
||||
{
|
||||
return (receiver.*handler_)(std::forward<ARGS>(args)...);
|
||||
}
|
||||
|
||||
operator string()
|
||||
{
|
||||
return string(token_);
|
||||
}
|
||||
|
||||
VerbToken(Handler handlerFunction, Literal token)
|
||||
: handler_(handlerFunction)
|
||||
, token_(token)
|
||||
{ }
|
||||
};
|
||||
|
||||
#define VERB(RECEIVER, FUN) VERB_##FUN (&RECEIVER::FUN, STRINGIFY(FUN))
|
||||
|
||||
|
||||
class Receiver
|
||||
{
|
||||
|
|
|
|||
Loading…
Reference in a new issue