Milena (Olena)
User documentation 2.0a Id
Main Page
Related Pages
Modules
Namespaces
Classes
All
Classes
Namespaces
Functions
Variables
Typedefs
Enumerator
Groups
Pages
core/concept/value.hh
1
// Copyright (C) 2007, 2008, 2009 EPITA Research and Development Laboratory (LRDE)
2
//
3
// This file is part of Olena.
4
//
5
// Olena is free software: you can redistribute it and/or modify it under
6
// the terms of the GNU General Public License as published by the Free
7
// Software Foundation, version 2 of the License.
8
//
9
// Olena is distributed in the hope that it will be useful,
10
// but WITHOUT ANY WARRANTY; without even the implied warranty of
11
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
12
// General Public License for more details.
13
//
14
// You should have received a copy of the GNU General Public License
15
// along with Olena. If not, see <http://www.gnu.org/licenses/>.
16
//
17
// As a special exception, you may use this file as part of a free
18
// software project without restriction. Specifically, if other files
19
// instantiate templates or use macros or inline functions from this
20
// file, or you compile this file and link it with other files to produce
21
// an executable, this file does not by itself cause the resulting
22
// executable to be covered by the GNU General Public License. This
23
// exception does not however invalidate any other reasons why the
24
// executable file might be covered by the GNU General Public License.
25
26
#ifndef MLN_CORE_CONCEPT_VALUE_HH
27
# define MLN_CORE_CONCEPT_VALUE_HH
28
33
# include <mln/core/concept/object.hh>
34
# include <mln/trait/value_.hh>
35
36
37
namespace
mln
38
{
39
40
// Fwd decl.
41
template
<
typename
E>
struct
Value;
42
43
// Value category flag type.
44
template
<>
45
struct
Value<void>
46
{
47
typedef
Object<void> super;
48
};
49
50
56
template
<
typename
E>
57
struct
Value
:
public
Object
<E>
58
{
59
typedef
Value<void>
category;
60
61
/*
62
typedef enc; // encoding type
63
typedef equiv; // equivalent type
64
65
equiv to_equiv() const; // go to equivalent value
66
*/
67
68
protected
:
69
Value
();
70
};
71
72
73
74
# ifndef MLN_INCLUDE_ONLY
75
76
template
<
typename
E>
77
inline
78
Value<E>::Value
()
79
{
80
typedef
mln_enc(E) enc;
81
typedef mln_equiv(E) equiv;
82
// FIXME HERE
83
// equiv (E::*m)() const = & E::to_equiv;
84
// m = 0;
85
}
86
87
# endif // ! MLN_INCLUDE_ONLY
88
89
}
// end of namespace mln
90
91
92
//# include <mln/value/cast.hh>
93
94
95
#endif // ! MLN_CORE_CONCEPT_VALUE_HH
mln
core
concept
value.hh
Generated on Thu Nov 8 2012 10:58:25 for Milena (Olena) by
1.8.2-20120930