1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
|
// This file is part of the AspectC++ compiler 'ac++'.
// Copyright (C) 1999-2003 The 'ac++' developers (see aspectc.org)
//
// 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., 59 Temple Place, Suite 330, Boston,
// MA 02111-1307 USA
#ifndef __AspectIncludes_h__
#define __AspectIncludes_h__
#include <set>
using std::set;
#include <map>
using std::map;
#include <string>
using std::string;
namespace Puma {
class Unit;
class CProject;
class ACAspectInfo;
} // namespace Puma
using namespace Puma;
class AspectInfo;
// this class manages all #includes and forward declarations, which have to be
// generated in order to make the aspects visible at the join points they affect
struct AspectRef {
AspectInfo *_concrete_aspect;
ACAspectInfo *_aspect;
// Kind of dependency: the value defines the importance
enum Kind { AR_UNKNOWN = 0, AR_DECL = 1, AR_ADVICE = 2, AR_DEF = 3 } _kind;
mutable bool _mark;
operator ACAspectInfo* () const { return _aspect; }
bool operator < (const AspectRef &cmp) const {
return _aspect < cmp._aspect;
}
bool operator == (const AspectRef &cmp) const {
return _aspect == cmp._aspect;
}
AspectRef (AspectInfo *ca, ACAspectInfo *a, Kind k) : _concrete_aspect (ca),
_aspect (a), _kind (k), _mark (false) {}
};
typedef set<AspectRef> AspectRefSet;
struct MarkedUnitRef {
Unit *_unit;
mutable bool _mark;
operator Unit *() const { return _unit; }
MarkedUnitRef (Unit *u) : _unit (u), _mark (false) {}
};
typedef map<MarkedUnitRef, AspectRefSet> UnitAspectRefMap;
class AspectIncludes : private UnitAspectRefMap {
// helper function that find the unit in which an aspect 'ai' is defined
static Unit *aspect_unit (ACAspectInfo *ai);
// generate the #include directive for a given aspect header unit
static string generate (CProject &project, ACAspectInfo *ai);
public:
// this function declares that a unit 'iu' depends on the aspect 'ai'
// ('kind' specifies the kind of dependy, i.e. class def, decl, or advice)
void insert (Unit *iu, AspectInfo *ai, ACAspectInfo *acai,
AspectRef::Kind kind);
// interator type and functions to access the elements (only const access)
typedef UnitAspectRefMap::const_iterator const_iterator;
const_iterator begin () const { return UnitAspectRefMap::begin (); }
const_iterator end () const { return UnitAspectRefMap::end (); }
// get the target unit associated with an entry
Unit *unit (const_iterator entry) const { return (*entry).first; }
// generate the #include directives for a given unit
string generate (CProject &prj, const_iterator entry) const;
// check whether a unit has already been handled
bool marked (const_iterator entry) const { return (*entry).first._mark; }
};
#endif // __AspectIncludes_h__
|