| Index: src/profile-generator.h
|
| diff --git a/src/profile-generator.h b/src/profile-generator.h
|
| index 2783a08806e1b00fe73db35e2dcc761225429c8b..411cbdbab270c700f528a7a9ecd6077b995a0210 100644
|
| --- a/src/profile-generator.h
|
| +++ b/src/profile-generator.h
|
| @@ -111,6 +111,8 @@ class CodeEntry {
|
| INLINE(const char* resource_name() const) { return resource_name_; }
|
| INLINE(int line_number() const) { return line_number_; }
|
| INLINE(void set_shared_id(int shared_id)) { shared_id_ = shared_id; }
|
| + INLINE(int script_id() const) { return script_id_; }
|
| + INLINE(void set_script_id(int script_id)) { script_id_ = script_id; }
|
| INLINE(int security_token_id() const) { return security_token_id_; }
|
|
|
| INLINE(static bool is_js_function_tag(Logger::LogEventsAndTags tag));
|
| @@ -138,6 +140,7 @@ class CodeEntry {
|
| const char* resource_name_;
|
| int line_number_;
|
| int shared_id_;
|
| + int script_id_;
|
| int security_token_id_;
|
| List<OffsetRange>* no_frame_ranges_;
|
|
|
|
|