OLD | NEW |
1 // Copyright 2006-2008 the V8 project authors. All rights reserved. | 1 // Copyright 2006-2008 the V8 project authors. All rights reserved. |
2 // Redistribution and use in source and binary forms, with or without | 2 // Redistribution and use in source and binary forms, with or without |
3 // modification, are permitted provided that the following conditions are | 3 // modification, are permitted provided that the following conditions are |
4 // met: | 4 // met: |
5 // | 5 // |
6 // * Redistributions of source code must retain the above copyright | 6 // * Redistributions of source code must retain the above copyright |
7 // notice, this list of conditions and the following disclaimer. | 7 // notice, this list of conditions and the following disclaimer. |
8 // * Redistributions in binary form must reproduce the above | 8 // * Redistributions in binary form must reproduce the above |
9 // copyright notice, this list of conditions and the following | 9 // copyright notice, this list of conditions and the following |
10 // disclaimer in the documentation and/or other materials provided | 10 // disclaimer in the documentation and/or other materials provided |
(...skipping 1574 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1585 ScriptMirror.prototype.scriptType = function() { | 1585 ScriptMirror.prototype.scriptType = function() { |
1586 return this.script_.type; | 1586 return this.script_.type; |
1587 }; | 1587 }; |
1588 | 1588 |
1589 | 1589 |
1590 ScriptMirror.prototype.lineCount = function() { | 1590 ScriptMirror.prototype.lineCount = function() { |
1591 return this.script_.lineCount(); | 1591 return this.script_.lineCount(); |
1592 }; | 1592 }; |
1593 | 1593 |
1594 | 1594 |
1595 ScriptMirror.prototype.locationFromPosition = function(position) { | 1595 ScriptMirror.prototype.locationFromPosition = function( |
1596 return this.script_.locationFromPosition(position); | 1596 position, include_resource_offset) { |
| 1597 return this.script_.locationFromPosition(position, include_resource_offset); |
1597 } | 1598 } |
1598 | 1599 |
1599 | 1600 |
1600 ScriptMirror.prototype.sourceSlice = function (opt_from_line, opt_to_line) { | 1601 ScriptMirror.prototype.sourceSlice = function (opt_from_line, opt_to_line) { |
1601 return this.script_.sourceSlice(opt_from_line, opt_to_line); | 1602 return this.script_.sourceSlice(opt_from_line, opt_to_line); |
1602 } | 1603 } |
1603 | 1604 |
1604 | 1605 |
1605 ScriptMirror.prototype.toText = function() { | 1606 ScriptMirror.prototype.toText = function() { |
1606 var result = ''; | 1607 var result = ''; |
(...skipping 466 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
2073 /** | 2074 /** |
2074 * Convert a Date to ISO 8601 format. To avoid depending on the Date object | 2075 * Convert a Date to ISO 8601 format. To avoid depending on the Date object |
2075 * this method calls the functions in date.js directly and not through the | 2076 * this method calls the functions in date.js directly and not through the |
2076 * value. | 2077 * value. |
2077 * @param {Date} value The Date value to format as JSON | 2078 * @param {Date} value The Date value to format as JSON |
2078 * @return {string} JSON formatted Date value | 2079 * @return {string} JSON formatted Date value |
2079 */ | 2080 */ |
2080 function DateToJSON_(value) { | 2081 function DateToJSON_(value) { |
2081 return '"' + DateToISO8601_(value) + '"'; | 2082 return '"' + DateToISO8601_(value) + '"'; |
2082 } | 2083 } |
OLD | NEW |