blob: 258700dcefcf0a973bd7d55bafe1c03284e279d9 [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 'underscore';
import * as monaco from 'monaco-editor';
import { Container } from 'golden-layout';
import { Pane } from './pane';
import { GnatDebugTreeState } from './gnatdebugtree-view.interfaces';
import { BasePaneState } from './pane.interfaces';
import { ga } from '../analytics';
import { extendConfig } from '../monaco-config';
export class GnatDebugTree extends Pane<monaco.editor.IStandaloneCodeEditor, GnatDebugTreeState> {
constructor(hub: any, container: Container, state: GnatDebugTreeState & BasePaneState) {
super(hub, container, state);
if (state && state.gnatDebugTreeOutput) {
this.showGnatDebugTreeResults(state.gnatDebugTreeOutput);
}
}
override getInitialHTML(): string {
return $('#gnatdebugtree').html();
}
override createEditor(editorRoot: HTMLElement): monaco.editor.IStandaloneCodeEditor {
return monaco.editor.create(editorRoot, extendConfig({
language: 'plainText',
readOnly: true,
glyphMargin: true,
lineNumbersMinChars: 3,
}));
}
override registerOpeningAnalyticsEvent(): void {
ga.proxy('send', {
hitType: 'event',
eventCategory: 'OpenViewPane',
eventAction: 'GnatDebugTree',
});
}
override getPaneName(): string {
return `GNAT Debug Tree Viewer ${this.compilerInfo.compilerName}` +
`(Editor #${this.compilerInfo.editorId}, ` +
`Compiler #${this.compilerInfo.compilerId})`;
}
override registerCallbacks(): void {
const throttleFunction = _.throttle((event) => this.onDidChangeCursorSelection(event), 500);
this.editor.onDidChangeCursorSelection((event) => throttleFunction(event));
this.eventHub.emit('gnatDebugTreeViewOpened', this.compilerInfo.compilerId);
this.eventHub.emit('requestSettings');
}
override onCompileResult(compilerId: number, compiler: any, result: any): void {
if (this.compilerInfo.compilerId !== compilerId) return;
if (result.hasGnatDebugTreeOutput) {
this.showGnatDebugTreeResults(result.gnatDebugTreeOutput);
} else if (compiler.supportsGnatDebugViews) {
this.showGnatDebugTreeResults([{text: '<No output>'}]);
}
}
override onCompiler(compilerId: number, compiler: any, options: any, editorId: number): void {
if (this.compilerInfo.compilerId === compilerId) {
this.compilerInfo.compilerName = compiler ? compiler.name : '';
this.compilerInfo.editorId = editorId;
this.setTitle();
if (compiler && !compiler.supportsGnatDebugViews) {
this.showGnatDebugTreeResults([{text: '<GNAT Debug Tree output is not supported for this compiler>'}]);
}
}
}
showGnatDebugTreeResults(result: any[]): void {
if (!this.editor) return;
this.editor.getModel().setValue(result.length
? _.pluck(result, 'text').join('\n')
: '<No GNAT Debug Tree generated>');
if (!this.isAwaitingInitialResults) {
if (this.selection) {
this.editor.setSelection(this.selection);
this.editor.revealLinesInCenter(this.selection.selectionStartLineNumber,
this.selection.endLineNumber);
}
this.isAwaitingInitialResults = true;
}
}
override close(): void {
this.eventHub.unsubscribe();
this.eventHub.emit('gnatDebugTreeViewClosed', this.compilerInfo.compilerId);
this.editor.dispose();
}
}