From 1d41eb45b0ad7fa3950d8836db85b78abc795658 Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Wed, 27 May 2020 10:03:06 +0200
Subject: [PATCH] [ivette] Some typing in ASTinfo.
---
ivette/src/renderer/ASTinfo.tsx | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/ivette/src/renderer/ASTinfo.tsx b/ivette/src/renderer/ASTinfo.tsx
index 413b6c99d55..f3f37d73f52 100644
--- a/ivette/src/renderer/ASTinfo.tsx
+++ b/ivette/src/renderer/ASTinfo.tsx
@@ -14,13 +14,13 @@ import { Component } from 'frama-c/LabViews';
// --- Parsing information from the server
// --------------------------------------------------------------------------
-function addMarker(buffer: any, fct: string) {
+function addMarker(buffer: RichTextBuffer, fct: string) {
buffer.openTextMarker({ id: fct, css: 'color: blue' });
buffer.append(fct);
buffer.closeTextMarker();
}
-function parseVarinfo(buffer: any, data: any) {
+function parseVarinfo(buffer: RichTextBuffer, data: any) {
buffer.append(`Variable ${data.name} has type '${data.type.name}'.`);
buffer.flushline();
if (data.global) {
@@ -41,7 +41,7 @@ function parseVarinfo(buffer: any, data: any) {
buffer.append(`It is ${ref}referenced and its address is ${taken}taken.`);
}
-function parseInfo(buffer: any, data: any) {
+function parseInfo(buffer: RichTextBuffer, data: any) {
switch (data.kind) {
case 'expression':
buffer.append(`This is a pure C expression of type '${data.type.name}'.`);
--
GitLab