Index: src/source-position-table.h |
diff --git a/src/source-position-table.h b/src/source-position-table.h |
index bd822410cb67c4c8f4511e0d60d6c3d24df5e61e..c85d2371bfe1f0b023d1e5684d955102401e5ad1 100644 |
--- a/src/source-position-table.h |
+++ b/src/source-position-table.h |
@@ -32,7 +32,10 @@ struct PositionTableEntry { |
class SourcePositionTableBuilder { |
public: |
- SourcePositionTableBuilder(Isolate* isolate, Zone* zone); |
+ enum RecordingMode { OMIT_SOURCE_POSITIONS, RECORD_SOURCE_POSITIONS }; |
+ |
+ SourcePositionTableBuilder(Isolate* isolate, Zone* zone, |
+ RecordingMode mode = RECORD_SOURCE_POSITIONS); |
void EndJitLogging(AbstractCode* code); |
@@ -42,7 +45,10 @@ class SourcePositionTableBuilder { |
private: |
void AddEntry(const PositionTableEntry& entry); |
+ inline bool Omit() const { return mode_ == OMIT_SOURCE_POSITIONS; } |
+ |
Isolate* isolate_; |
+ RecordingMode mode_; |
ZoneVector<byte> bytes_; |
#ifdef ENABLE_SLOW_DCHECKS |
ZoneVector<PositionTableEntry> raw_entries_; |