blob: 5442a8dcffb3fee3cc398e5452c00fc0b585c37f [file] [log] [blame] [raw]
// Copyright (c) 2021, Compiler Explorer Authors
// All rights reserved.
//
// Redistribution and use in source and binary forms, with or without
// modification, are permitted provided that the following conditions are met:
//
// * Redistributions of source code must retain the above copyright notice,
// this list of conditions and the following disclaimer.
// * Redistributions in binary form must reproduce the above copyright
// notice, this list of conditions and the following disclaimer in the
// documentation and/or other materials provided with the distribution.
//
// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
// AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
// IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
// ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE
// LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
// CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
// SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
// INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
// CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
// ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
// POSSIBILITY OF SUCH DAMAGE.
import $ from 'jquery';
import * as monaco from 'monaco-editor';
import { Promise } from "es6-promise";
import { Alert } from "./alert";
const getDocumentFormatter = (
language: string,
formatter: string,
formatBase: string
): monaco.languages.DocumentFormattingEditProvider => ({
provideDocumentFormattingEdits(
model: monaco.editor.ITextModel,
options: monaco.languages.FormattingOptions,
token: monaco.CancellationToken
): Promise<monaco.languages.TextEdit[]> {
const alertSystem = new Alert();
return new Promise((resolve, reject) => {
const source = model.getValue();
$.ajax({
type: 'POST',
url: `${window.location.origin}${window.httpRoot}api/format/${formatter}`,
dataType: 'json',
contentType: 'application/json',
data: JSON.stringify({
source,
base: formatBase,
}),
success: (result) => {
if (result.exit === 0) {
resolve([{
range: model.getFullModelRange(),
text: result.answer,
}]);
} else {
alertSystem.notify(`We encountered an error formatting your code: ${result.answer}`, {
group: 'formatting',
alertClass: 'notification-error',
});
}
},
error: (xhr, status, error) => {
// Hopefully we have not exploded!
if (xhr.responseText) {
try {
var res = JSON.parse(xhr.responseText);
error = res.answer || error;
} catch (e) {
// continue regardless of error
}
}
error = error || 'Unknown error';
alertSystem.notify(`We ran into some issues while formatting your code: ${error}`, {
group: 'formatting',
alertClass: 'notification-error',
});
reject();
},
cache: true,
});
});
}
});
monaco.languages.registerDocumentFormattingEditProvider('cppp', getDocumentFormatter('cppp', 'clangformat', 'Google'));
monaco.languages.registerDocumentFormattingEditProvider('nc', getDocumentFormatter('nc', 'clangformat', 'Google'));
monaco.languages.registerDocumentFormattingEditProvider('rust', getDocumentFormatter('rust', 'rustfmt', 'None'));