| Index: src/profile-generator.h
|
| diff --git a/src/profile-generator.h b/src/profile-generator.h
|
| index a16ea66f710dd75124dd90a08ed46f8f066c74ed..c0454cb821f6902b35f7e480023d2fab0bdd07e1 100644
|
| --- a/src/profile-generator.h
|
| +++ b/src/profile-generator.h
|
| @@ -64,9 +64,10 @@ class ProfileNode {
|
| INLINE(void IncrementSelfTicks()) { ++self_ticks_; }
|
| INLINE(void IncreaseTotalTicks(unsigned amount)) { total_ticks_ += amount; }
|
|
|
| - INLINE(CodeEntry* entry()) { return entry_; }
|
| - INLINE(unsigned total_ticks()) { return total_ticks_; }
|
| - INLINE(unsigned self_ticks()) { return self_ticks_; }
|
| + INLINE(CodeEntry* entry() const) { return entry_; }
|
| + INLINE(unsigned total_ticks() const) { return total_ticks_; }
|
| + INLINE(unsigned self_ticks() const) { return self_ticks_; }
|
| + void GetChildren(List<ProfileNode*>* children);
|
|
|
| void Print(int indent);
|
|
|
|
|