mirror of
https://github.com/microsoft/vscode.git
synced 2026-05-17 13:50:46 +01:00
179 lines
5.9 KiB
TypeScript
179 lines
5.9 KiB
TypeScript
/*---------------------------------------------------------------------------------------------
|
|
* Copyright (c) Microsoft Corporation. All rights reserved.
|
|
* Licensed under the MIT License. See License.txt in the project root for license information.
|
|
*--------------------------------------------------------------------------------------------*/
|
|
'use strict';
|
|
|
|
import Json = require('./json-toolbox/json');
|
|
import {ITextDocument, Range, Position, FormattingOptions, TextEdit} from 'vscode-languageserver';
|
|
|
|
export function format(document: ITextDocument, range: Range, options: FormattingOptions): TextEdit[] {
|
|
const documentText = document.getText();
|
|
let initialIndentLevel: number;
|
|
let value: string;
|
|
let rangeOffset: number;
|
|
if (range) {
|
|
let startPosition = Position.create(range.start.line, 0);
|
|
rangeOffset = document.offsetAt(startPosition);
|
|
|
|
let endOffset = document.offsetAt(Position.create(range.end.line + 1, 0));
|
|
let endLineStart = document.offsetAt(Position.create(range.end.line, 0));
|
|
while (endOffset > endLineStart && isEOL(documentText, endOffset - 1)) {
|
|
endOffset--;
|
|
}
|
|
range = Range.create(startPosition, document.positionAt(endOffset));
|
|
value = documentText.substring(rangeOffset, endOffset);
|
|
initialIndentLevel = computeIndentLevel(value, 0, options);
|
|
} else {
|
|
value = documentText;
|
|
range = Range.create(Position.create(0, 0), document.positionAt(value.length));
|
|
initialIndentLevel = 0;
|
|
rangeOffset = 0;
|
|
}
|
|
let eol = getEOL(document);
|
|
|
|
let lineBreak = false;
|
|
let indentLevel = 0;
|
|
let indentValue: string;
|
|
if (options.insertSpaces) {
|
|
indentValue = repeat(' ', options.tabSize);
|
|
} else {
|
|
indentValue = '\t';
|
|
}
|
|
|
|
let scanner = Json.createScanner(value, false);
|
|
|
|
function newLineAndIndent(): string {
|
|
return eol + repeat(indentValue, initialIndentLevel + indentLevel);
|
|
}
|
|
function scanNext(): Json.SyntaxKind {
|
|
let token = scanner.scan();
|
|
lineBreak = false;
|
|
while (token === Json.SyntaxKind.Trivia || token === Json.SyntaxKind.LineBreakTrivia) {
|
|
lineBreak = lineBreak || (token === Json.SyntaxKind.LineBreakTrivia);
|
|
token = scanner.scan();
|
|
}
|
|
return token;
|
|
}
|
|
let editOperations: TextEdit[] = [];
|
|
function addEdit(text: string, startOffset: number, endOffset: number) {
|
|
if (documentText.substring(startOffset, endOffset) !== text) {
|
|
let replaceRange = Range.create(document.positionAt(startOffset), document.positionAt(endOffset));
|
|
editOperations.push(TextEdit.replace(replaceRange, text));
|
|
}
|
|
}
|
|
|
|
let firstToken = scanNext();
|
|
if (firstToken !== Json.SyntaxKind.EOF) {
|
|
let firstTokenStart = scanner.getTokenOffset() + rangeOffset;
|
|
let initialIndent = repeat(indentValue, initialIndentLevel);
|
|
addEdit(initialIndent, rangeOffset, firstTokenStart);
|
|
}
|
|
|
|
while (firstToken !== Json.SyntaxKind.EOF) {
|
|
let firstTokenEnd = scanner.getTokenOffset() + scanner.getTokenLength() + rangeOffset;
|
|
let secondToken = scanNext();
|
|
|
|
while (!lineBreak && (secondToken === Json.SyntaxKind.LineCommentTrivia || secondToken === Json.SyntaxKind.BlockCommentTrivia)) {
|
|
// comments on the same line: keep them on the same line, but ignore them otherwise
|
|
let commentTokenStart = scanner.getTokenOffset() + rangeOffset;
|
|
addEdit(' ', firstTokenEnd, commentTokenStart);
|
|
firstTokenEnd = scanner.getTokenOffset() + scanner.getTokenLength() + rangeOffset;
|
|
secondToken = scanNext();
|
|
}
|
|
let replaceContent = '';
|
|
if (secondToken === Json.SyntaxKind.CloseBraceToken) {
|
|
if (firstToken !== Json.SyntaxKind.OpenBraceToken) {
|
|
indentLevel--;
|
|
replaceContent = newLineAndIndent();
|
|
}
|
|
} else if (secondToken === Json.SyntaxKind.CloseBracketToken) {
|
|
if (firstToken !== Json.SyntaxKind.OpenBracketToken) {
|
|
indentLevel--;
|
|
replaceContent = newLineAndIndent();
|
|
}
|
|
} else {
|
|
switch (firstToken) {
|
|
case Json.SyntaxKind.OpenBracketToken:
|
|
case Json.SyntaxKind.OpenBraceToken:
|
|
indentLevel++;
|
|
replaceContent = newLineAndIndent();
|
|
break;
|
|
case Json.SyntaxKind.CommaToken:
|
|
case Json.SyntaxKind.LineCommentTrivia:
|
|
replaceContent = newLineAndIndent();
|
|
break;
|
|
case Json.SyntaxKind.BlockCommentTrivia:
|
|
if (lineBreak) {
|
|
replaceContent = newLineAndIndent();
|
|
} else {
|
|
// symbol following comment on the same line: keep on same line, separate with ' '
|
|
replaceContent = ' ';
|
|
}
|
|
break;
|
|
case Json.SyntaxKind.ColonToken:
|
|
replaceContent = ' ';
|
|
break;
|
|
case Json.SyntaxKind.NullKeyword:
|
|
case Json.SyntaxKind.TrueKeyword:
|
|
case Json.SyntaxKind.FalseKeyword:
|
|
case Json.SyntaxKind.NumericLiteral:
|
|
if (secondToken === Json.SyntaxKind.NullKeyword || secondToken === Json.SyntaxKind.FalseKeyword || secondToken === Json.SyntaxKind.NumericLiteral) {
|
|
replaceContent = ' ';
|
|
}
|
|
break;
|
|
}
|
|
if (lineBreak && (secondToken === Json.SyntaxKind.LineCommentTrivia || secondToken === Json.SyntaxKind.BlockCommentTrivia)) {
|
|
replaceContent = newLineAndIndent();
|
|
}
|
|
|
|
}
|
|
let secondTokenStart = scanner.getTokenOffset() + rangeOffset;
|
|
addEdit(replaceContent, firstTokenEnd, secondTokenStart);
|
|
firstToken = secondToken;
|
|
}
|
|
return editOperations;
|
|
}
|
|
|
|
function repeat(s: string, count: number): string {
|
|
let result = '';
|
|
for (let i = 0; i < count; i++) {
|
|
result += s;
|
|
}
|
|
return result;
|
|
}
|
|
|
|
function computeIndentLevel(content: string, offset: number, options: FormattingOptions): number {
|
|
let i = 0;
|
|
let nChars = 0;
|
|
let tabSize = options.tabSize || 4;
|
|
while (i < content.length) {
|
|
let ch = content.charAt(i);
|
|
if (ch === ' ') {
|
|
nChars++;
|
|
} else if (ch === '\t') {
|
|
nChars += tabSize;
|
|
} else {
|
|
break;
|
|
}
|
|
i++;
|
|
}
|
|
return Math.floor(nChars / tabSize);
|
|
}
|
|
|
|
function getEOL(document: ITextDocument): string {
|
|
let text = document.getText();
|
|
if (document.lineCount > 1) {
|
|
let to = document.offsetAt(Position.create(1, 0));
|
|
let from = to;
|
|
while (from > 0 && isEOL(text, from - 1)) {
|
|
from--;
|
|
}
|
|
return text.substr(from, to - from);
|
|
}
|
|
return '\n';
|
|
}
|
|
|
|
function isEOL(text: string, offset: number) {
|
|
return '\r\n'.indexOf(text.charAt(offset)) !== -1;
|
|
} |