From 0e799e95883b882e2d4b9172c2bd1c05f37ea25a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Wed, 13 May 2020 15:45:48 +0200
Subject: [PATCH] [ivette] New component displaying some information about the
selected AST marker.
---
ivette/src/renderer/ASTinfo.tsx | 127 ++++++++++++++++++++++++++++
ivette/src/renderer/Application.tsx | 2 +
2 files changed, 129 insertions(+)
create mode 100644 ivette/src/renderer/ASTinfo.tsx
diff --git a/ivette/src/renderer/ASTinfo.tsx b/ivette/src/renderer/ASTinfo.tsx
new file mode 100644
index 00000000000..0416b0cd63f
--- /dev/null
+++ b/ivette/src/renderer/ASTinfo.tsx
@@ -0,0 +1,127 @@
+// --------------------------------------------------------------------------
+// --- AST Information
+// --------------------------------------------------------------------------
+
+import React from 'react';
+import * as States from 'frama-c/states';
+
+import { Vfill } from 'dome/layout/boxes';
+import { RichTextBuffer } from 'dome/text/buffers';
+import { Text } from 'dome/text/editors';
+import { Component } from 'frama-c/LabViews';
+
+// --------------------------------------------------------------------------
+// --- Parsing information from the server
+// --------------------------------------------------------------------------
+
+function addMarker(buffer: any, fct: string) {
+ buffer.openTextMarker({ id: fct, css: 'color: blue' });
+ buffer.append(fct);
+ buffer.closeTextMarker();
+}
+
+function parseVarinfo(buffer: any, data: any) {
+ buffer.append(`Variable ${data.name} has type '${data.type.name}'.`);
+ buffer.flushline();
+ if (data.global) {
+ buffer.append('It is a global variable.');
+ } else {
+ const kind = data.formal ? 'formal' : 'local';
+ buffer.append(`It is a ${kind} variable of function `);
+ addMarker(buffer, data.defining_function);
+ }
+ buffer.flushline();
+ if (data.temp) {
+ const descr = data.descr ? ` for ${data.descr}` : '';
+ buffer.append(`This is a temporary variable${descr}.`);
+ buffer.flushline();
+ }
+ const ref = data.referenced ? '' : 'not ';
+ const taken = data.addrof ? '' : 'not ';
+ buffer.append(`It is ${ref}referenced and its address is ${taken}taken.`);
+}
+
+function parseInfo(buffer: any, data: any) {
+ switch (data.kind) {
+ case 'expression':
+ buffer.append(`This is a pure C expression of type '${data.type.name}'.`);
+ break;
+ case 'function':
+ addMarker(buffer, data.varinfo.name);
+ buffer.append(` is a C function of type '${data.type.name}'.`);
+ break;
+ case 'variable':
+ parseVarinfo(buffer, data.varinfo);
+ break;
+ case 'lvalue':
+ buffer.append(`This is an lvalue of type '${data.type.name}'.`);
+ break;
+ case 'declaration':
+ buffer.append('This is the declaration of variable '
+ + `${data.varinfo.name}.`);
+ buffer.flushline(); buffer.append(' '); buffer.flushline();
+ parseVarinfo(buffer, data.varinfo);
+ break;
+ case 'statement':
+ buffer.append(`This is a statement of function ${data.function}.`);
+ break;
+ default:
+ break;
+ }
+}
+
+// --------------------------------------------------------------------------
+// --- Information Panel
+// --------------------------------------------------------------------------
+
+const ASTinfo = () => {
+
+ const buffer = React.useMemo(() => new RichTextBuffer(), []);
+ const [select, setSelect] = States.useSelection();
+ const marker = select && select.marker;
+ const data = States.useRequest('kernel.ast.info', marker || '');
+
+ React.useEffect(() => {
+ if (data) {
+ buffer.clear();
+ parseInfo(buffer, data);
+ }
+ }, [buffer, data]);
+
+ // Callbacks
+ function onSelection(mark: any) {
+ // For now, the only markers are functions.
+ setSelect({ function: mark });
+ }
+
+ // Component
+ return (
+ <>
+ <Vfill>
+ <Text
+ buffer={buffer}
+ mode="text"
+ theme="default"
+ onSelection={onSelection}
+ readOnly
+ />
+ </Vfill>
+ </>
+ );
+};
+
+// --------------------------------------------------------------------------
+// --- Export Component
+// --------------------------------------------------------------------------
+
+export default () => (
+ <Component
+ id="frama-c.astinfo"
+ label="Information"
+ title="AST Information"
+ >
+ <ASTinfo />
+ </Component>
+);
+
+// --------------------------------------------------------------------------
diff --git a/ivette/src/renderer/Application.tsx b/ivette/src/renderer/Application.tsx
index 10439a75ba8..e3c343f52bd 100644
--- a/ivette/src/renderer/Application.tsx
+++ b/ivette/src/renderer/Application.tsx
@@ -16,6 +16,7 @@ import { GridItem } from 'dome/layout/grids';
import * as Controller from './Controller';
import Properties from './Properties';
import ASTview from './ASTview';
+import ASTinfo from './ASTinfo';
// --------------------------------------------------------------------------
// --- Main View
@@ -64,6 +65,7 @@ export default (() => {
<Controller.Console />
<Properties />
<ASTview />
+ <ASTinfo />
</Group>
</LabView>
</Splitter>
--
GitLab