Lines Matching refs:FullTextDocument

1418         return new FullTextDocument(uri, languageId, version, content);
1488 var FullTextDocument = /** @class */ (function () { function
1489 function FullTextDocument(uri, languageId, version, content) { class in AnonymousFunction410cd55f0100.FullTextDocument
1496 Object.defineProperty(FullTextDocument.prototype, "uri", {
1503 Object.defineProperty(FullTextDocument.prototype, "languageId", {
1510 Object.defineProperty(FullTextDocument.prototype, "version", {
1517 FullTextDocument.prototype.getText = function (range) { class
1525 FullTextDocument.prototype.update = function (event, version) {
1530 FullTextDocument.prototype.getLineOffsets = function () {
1553 FullTextDocument.prototype.positionAt = function (offset) {
1574 FullTextDocument.prototype.offsetAt = function (position) {
1586 Object.defineProperty(FullTextDocument.prototype, "lineCount", {
1593 return FullTextDocument;
36028 var FullTextDocument = /** @class */ (function () { function
36029 function FullTextDocument(uri, languageId, version, content) { class in AnonymousFunction410cd55f25b00.FullTextDocument
36036 Object.defineProperty(FullTextDocument.prototype, "uri", {
36043 Object.defineProperty(FullTextDocument.prototype, "languageId", {
36050 Object.defineProperty(FullTextDocument.prototype, "version", {
36057 FullTextDocument.prototype.getText = function (range) {
36065 FullTextDocument.prototype.update = function (changes, version) {
36068 if (FullTextDocument.isIncremental(change)) {
36100 else if (FullTextDocument.isFull(change)) {
36110 FullTextDocument.prototype.getLineOffsets = function () {
36116 FullTextDocument.prototype.positionAt = function (offset) {
36137 FullTextDocument.prototype.offsetAt = function (position) {
36149 Object.defineProperty(FullTextDocument.prototype, "lineCount", {
36156 FullTextDocument.isIncremental = function (event) {
36162 FullTextDocument.isFull = function (event) {
36167 return FullTextDocument;
36180 return new FullTextDocument(uri, languageId, version, content);
36192 if (document instanceof FullTextDocument) {