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
159
160
161
|
// -*- C++ -*-
// Copyright 2005 Red Hat Inc.
// GPL
#ifndef ELABORATE_H
#define ELABORATE_H
#include "staptree.h"
#include "parse.h"
#include <string>
#include <vector>
// ------------------------------------------------------------------------
struct systemtap_session;
struct derived_probe;
struct symresolution_info: public traversing_visitor
{
protected:
systemtap_session& session;
public:
functiondecl* current_function;
derived_probe* current_probe;
symresolution_info (systemtap_session& s);
// XXX: instead in systemtap_session?
void derive_probes (probe *p, std::vector<derived_probe*>& dps);
protected:
vardecl* find_scalar (const std::string& name);
vardecl* find_array (const std::string& name, unsigned arity);
functiondecl* find_function (const std::string& name, unsigned arity);
void visit_block (block *s);
void visit_symbol (symbol* e);
void visit_arrayindex (arrayindex* e);
void visit_functioncall (functioncall* e);
};
struct typeresolution_info: public visitor
{
typeresolution_info (systemtap_session& s): session (s) {}
systemtap_session& session;
unsigned num_newly_resolved;
unsigned num_still_unresolved;
bool assert_resolvability;
functiondecl* current_function;
void mismatch (const token* tok, exp_type t1, exp_type t2);
void unresolved (const token* tok);
void resolved (const token* tok, exp_type t);
void invalid (const token* tok, exp_type t);
exp_type t; // implicit parameter for nested visit call; may clobber
void visit_block (block *s);
void visit_null_statement (null_statement *s);
void visit_expr_statement (expr_statement *s);
void visit_if_statement (if_statement* s);
void visit_for_loop (for_loop* s);
void visit_return_statement (return_statement* s);
void visit_delete_statement (delete_statement* s);
void visit_literal_string (literal_string* e);
void visit_literal_number (literal_number* e);
void visit_binary_expression (binary_expression* e);
void visit_unary_expression (unary_expression* e);
void visit_pre_crement (pre_crement* e);
void visit_post_crement (post_crement* e);
void visit_logical_or_expr (logical_or_expr* e);
void visit_logical_and_expr (logical_and_expr* e);
void visit_array_in (array_in* e);
void visit_comparison (comparison* e);
void visit_concatenation (concatenation* e);
void visit_exponentiation (exponentiation* e);
void visit_ternary_expression (ternary_expression* e);
void visit_assignment (assignment* e);
void visit_symbol (symbol* e);
void visit_arrayindex (arrayindex* e);
void visit_functioncall (functioncall* e);
};
// ------------------------------------------------------------------------
// A derived_probe is a probe that has been elaborated by
// binding to a matching provider. The locations std::vector
// may be smaller or larger than the base probe, since a
// provider may transform it.
class translator_output;
struct derived_probe: public probe
{
derived_probe (probe* b);
derived_probe (probe* b, probe_point* l);
probe* base; // the original parsed probe
virtual ~derived_probe () {}
virtual void emit_registrations (translator_output* o,
unsigned probeidx) = 0;
// (from within module_init):
// rc = ..... ENTRYFN ;
virtual void emit_deregistrations (translator_output* o,
unsigned probeidx) = 0;
// (from within module_exit):
// rc = ..... ENTRYFN ;
virtual void emit_probe_entries (translator_output* o,
unsigned probeidx) = 0;
// ... for all probe-points:
// ELABORATE_SPECIFIC_SIGNATURE ENTRYFN {
// /* allocate context */
// /* copy parameters, initial state into context */
// probe_NUMBER (context);
// /* deallocate context */
// }
};
class unparser;
class translator_output;
struct systemtap_session
{
systemtap_session ();
// parse trees for the various script files
stapfile* user_file;
std::vector<stapfile*> library_files;
// configuration options
// bool verbose_resolution;
// resolved globals/functions/probes for the run as a whole
std::vector<stapfile*> files;
std::vector<vardecl*> globals;
std::vector<functiondecl*> functions;
std::vector<derived_probe*> probes;
// unparser data
translator_output* op;
unparser* up;
unsigned num_errors;
// void print_error (const parse_error& e);
void print_error (const semantic_error& e);
};
int semantic_pass (systemtap_session& s);
#endif // ELABORATE_H
|
