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
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
|
// 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 __CodeWeaver_h__
#define __CodeWeaver_h__
// The code weaver allows AspectC++ specific code manipulation transactions.
// All access to the syntax tree nodes for the transformation is
// encapsulated here.
// The class does not know about class JoinPoint. It only knows join point
// locations (JPL_*).
#include <iostream>
using namespace std;
#include "PointCut.h" // Oh no, it knows JoinPoint
#include "WeaverBase.h"
#include "AspectIncludes.h"
#include "SliceIncludes.h"
#include "Puma/CUnit.h"
#include "Puma/CProtection.h"
using namespace Puma;
namespace Puma {
class CTree;
class ACAspectInfo;
class CClassInfo;
class CProject;
} // namespace Puma
#ifdef ACMODEL
class ACM_Any;
class ACM_Class;
class ACM_Execution;
class ACM_Call;
#else
class JoinPointLoc;
class JPL_Class;
class JPL_Method;
class JPL_MethodCall;
#endif
class JPP_Class;
class JPP_Code;
class AspectInfo;
class AdviceInfo;
class JPAdvice;
class ThisJoinPoint;
class CodeWeaver : public WeaverBase
{
JPP_Code *_code_plan;
AspectIncludes _aspect_includes;
SliceIncludes _slice_includes;
void make_check_function (bool in_checked,
CRecord *in, CRecord *check_for);
void provide_typename (CTree *node);
#ifdef ACMODEL
void make_tjp_typename (ostream &out, ACM_Code *loc, int depth);
void make_proceed_code (ostream &out, ACM_Any *loc, bool action,
int max_depth);
void make_advice_call(ostream &out, ACM_Any *loc, AdviceInfo *ad,
bool inter, int depth);
void make_advice_calls (ostream &out, JPAdvice *jpa,
ACM_Any *loc, bool inter = false);
void make_action_wrapper(ostream &impl, ACM_Any *jpl,
JPAdvice *jpa);
void make_proceed_func(ostream &impl, ACM_Any *loc, JPAdvice *jpa);
string wrapper_function_signature (ACM_Code *loc, CFunctionInfo *func,
bool def);
void gen_special_member_function (ACM_Any *loc, JPP_Code &plan);
void wrap_function (ACM_Code *loc, JPP_Code &plan);
void wrap_function_def (ACM_Code *loc, CFunctionInfo *func,
bool wrapped_decl);
bool wrap_function_decl (ACM_Code *loc, CFunctionInfo *func);
#else
void make_tjp_typename (ostream &out, JPL_Code *loc, int depth);
void make_proceed_code (ostream &out, JoinPointLoc *loc, bool action,
int max_depth);
void make_advice_call(ostream &out, JoinPointLoc *loc, AdviceInfo *ad,
bool inter, int depth);
void make_advice_calls (ostream &out, JPAdvice *jpa,
JoinPointLoc *loc, bool inter = false);
void make_action_wrapper(ostream &impl, JoinPointLoc *jpl,
JPAdvice *jpa);
void make_proceed_func(ostream &impl, JoinPointLoc *loc, JPAdvice *jpa);
string wrapper_function_signature (JPL_Code *loc, CFunctionInfo *func,
bool def);
void gen_special_member_function (JoinPointLoc *loc, JPP_Code &plan);
void wrap_function (JPL_Code *loc, JPP_Code &plan);
void wrap_function_def (JPL_Code *loc, CFunctionInfo *func,
bool wrapped_decl);
bool wrap_function_decl (JPL_Code *loc, CFunctionInfo *func);
#endif
void wrap_attribute_arrays (CT_MembList *members);
void gen_wrapped_array (ostream &out, CObjectInfo *obj);
bool check_special_member_function (CFunctionInfo *func);
public:
CodeWeaver (ErrorSink& e, LineDirectiveMgr &ldm) :
WeaverBase (e, ldm) {}
void insert_namespace_ac_before (Token *inspos);
void to_class (ACAspectInfo *ai);
void invocation_functions (ACAspectInfo *ai,
const string &decls, const string &defs);
void declare_friends (CClassInfo *cls, list<CClassInfo*> &friends);
void open_namespace (ostream &out, CClassInfo *obj);
void close_namespace (ostream &out, CClassInfo *obj);
void provide_tjp (CFunctionInfo *func, ThisJoinPoint &tjp);
void declare_function (CFunctionInfo *advice_func, CTree *advice_decl);
void singleton (ACAspectInfo *ai);
#ifdef ACMODEL
void make_tjp_struct(ostream &out, ACM_Any *loc, JPAdvice *jpa);
void make_tjp_common_init(ostream &code, ACM_Any *loc, JPAdvice *jpa);
void exec_join_point (ACM_Execution *loc, JPP_Code &plan);
void call_join_point (ACM_Call *loc, JPP_Code &plan);
void cons_join_point (ACM_Construction *loc, JPP_Code &plan);
void dest_join_point (ACM_Destruction *loc, JPP_Code &plan);
void add_aspect_include (ACM_Any *jpl, AspectInfo &aspect_info,
AspectRef::Kind kind);
#else
void make_tjp_struct(ostream &out, JoinPointLoc *loc, JPAdvice *jpa);
void make_tjp_common_init(ostream &code, JoinPointLoc *loc, JPAdvice *jpa);
void exec_join_point (JPL_Method *loc, JPP_Code &plan);
void call_join_point (JPL_MethodCall *loc, JPP_Code &plan);
void cons_join_point (JPL_Construction *loc, JPP_Code &plan);
void dest_join_point (JPL_Destruction *loc, JPP_Code &plan);
void add_aspect_include (JoinPointLoc *jpl, AspectInfo &aspect_info,
AspectRef::Kind kind);
#endif
void aspect_includes (CProject &project);
AspectIncludes &aspect_includes () { return _aspect_includes; }
void slice_includes (CProject &project, Token *first);
void type_check (CRecord *in, const string &name, bool result);
};
#endif // __CodeWeaver_h__
|
