Index: src/log.h |
diff --git a/src/log.h b/src/log.h |
index 58bbe63ad0bc7718b9346391986d11cdbcb12b06..3df4c83ba7400ea94b95b2d23000de88ed42eecc 100644 |
--- a/src/log.h |
+++ b/src/log.h |
@@ -441,6 +441,26 @@ class TimerEventScope { |
Isolate* isolate_; |
}; |
+class PositionsRecorder BASE_EMBEDDED { |
+ public: |
+ PositionsRecorder() { jit_handler_data_ = NULL; } |
+ |
+ void AttachJITHandlerData(void* user_data) { jit_handler_data_ = user_data; } |
+ |
+ void* DetachJITHandlerData() { |
+ void* old_data = jit_handler_data_; |
+ jit_handler_data_ = NULL; |
+ return old_data; |
+ } |
+ |
+ protected: |
+ // Currently jit_handler_data_ is used to store JITHandler-specific data |
+ // over the lifetime of a PositionsRecorder |
+ void* jit_handler_data_; |
+ |
+ private: |
+ DISALLOW_COPY_AND_ASSIGN(PositionsRecorder); |
+}; |
class CodeEventListener { |
public: |