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_; |