Lumiera  0.pre.03
»edit your freedom«
TypeHandler< TY > Class Template Reference

#include "common/config-rules.hpp"

Description

template<class TY>
class lumiera::query::TypeHandler< TY >

the "back side" interface towards the classes participating in the configuration system (the config system will be delivering instances of these classes for a given query).

This one currently is just brainstorming. The idea is that a participating class would provide such and TypeHandler implementing the predicates which make sense for this special type of object. Registering such a TypeHandler should create the necessary handler functions to be installed into the Prolog system.

Deprecated:
it can't be done exactly this way, but I leave it in the current shape as a reminder for later, to show the intention...
Todo:
6/2010 unify this with the TypeHandler in typed-id.hpp

Definition at line 132 of file config-rules.hpp.

Private Member Functions

template<SYMBOL SYM, typename SIG >
TY find (Pred< SYM, SIG > capability)
 
template<SYMBOL SYM, typename SIG >
TY make (Pred< SYM, SIG > capability, TY &refObj=NIL)
 

Static Private Attributes

static const TY NIL
 
+ Collaboration diagram for TypeHandler< TY >:

The documentation for this class was generated from the following file: