865   this.codeEntries_ = [];  property in JsonProfile
877   entry.codeId = this.codeEntries_.length;
878   this.codeEntries_.push({name : entry.name, type : entry.type});
888   entry.codeId = this.codeEntries_.length;
889   this.codeEntries_.push({name : entry.name, type : entry.type});
898   entry.codeId = this.codeEntries_.length;
899   this.codeEntries_.push({
940     entry.codeId = this.codeEntries_.length;
952     this.codeEntries_.push({
995   this.codeEntries_[entry.codeId].source = {  property
1019     if (!this.codeEntries_[codeId].deopt) {
1023       this.codeEntries_[codeId].deopt = {  property
1078   writeJson(this.codeEntries_);