[ivette] load function and display AST

ivette/.gitignore

@@ -10,5 +10,6 @@ yarn-error.log
 /bin
 /dist
 /doc/html
+/src/dome
 
 # --------------------------------------------------------------------------

ivette/foo.i

+// Test for Ivette
+
+int main(int x,int y)
+{
+  int k ;
+  if (0 < x) k = 0;
+  k += x ;
+  k += y ;
+  k += x ;
+  k += y ;
+  return k;
+}

ivette/src/dome/src/renderer/table/arrays.js

@@ -78,7 +78,7 @@ const chainableOrder = ( order ) => {
   const compare = (a,b) => {
     for (var k = 0; k < order.length ; k++) {
       const cmp = (order[k])(a,b);
-      if (cmp) return cmp;
+      if (cmp !==0 ) return cmp;
     }
     return 0;
   };

ivette/src/frama-c/states.js

@@ -356,8 +356,10 @@ class SyncArray
         updated.forEach((item) => {
           this.index[item.key] = item;
         });
-        if (reloaded || removed.length || updated.length)
+        if (reloaded || removed.length || updated.length) {
+          this.index = Object.assign( {}, this.index );
           Dome.emit( this.UPDATE );
+        }
         if (pending>0) {
           this.fetch();
         }

ivette/src/renderer/ASTview.js

@@ -5,9 +5,34 @@
 import _ from 'lodash' ;
 import React from 'react' ;
 import Dome from 'dome' ;
+import Server from 'frama-c/server' ;
 import States from 'frama-c/states' ;
+
+import { Vfill } from 'dome/layout/boxes' ;
+import { Buffer } from 'dome/text/buffers' ;
+import { Text } from 'dome/text/editors' ;
 import { Component } from 'frama-c/labviews' ;
 
+import 'codemirror/mode/clike/clike.js';
+import 'codemirror/theme/ambiance.css' ;
+
+// --------------------------------------------------------------------------
+// --- Rich Text Printer
+// --------------------------------------------------------------------------
+
+const print = async (buffer, text) => {
+  if (Array.isArray(text)) {
+    const tag = text.shift();
+    if (tag !== '')
+      buffer.openTextMarker( { id:tag } );
+    for (const k in text)
+      await print(buffer, text[k]);
+    if (tag !== '')
+      buffer.closeTextMarker();
+  } else if (typeof(text)==='string')
+    buffer.append(text);
+};
+
 // --------------------------------------------------------------------------
 // --- AST Printer
 // --------------------------------------------------------------------------
@@ -15,13 +40,31 @@ import { Component } from 'frama-c/labviews' ;
 const ASTview = () => {
 
   // Hooks
+  const buffer = React.useMemo( () => new Buffer(), []);
   const [ select, setSelect ] = States.useSelection();
+  const theFunction = select && select.function ;
+  React.useEffect( () => {
+    buffer.clear();
+    if (theFunction) {
+      buffer.log('Loading',theFunction,'…');
+      Server
+      .sendGET("kernel.ast.printFunction", theFunction)
+      .then(data => {
+        buffer.clear();
+        return print(buffer,data);
+      });
+    }
+  }, [ theFunction ] );
 
   return (
-    <div>
+    <Vfill>
       <div>Function: {select && select.function}</div>
       <div>Marker: {select && select.marker}</div>
-    </div>
+      <Text buffer={buffer}
+            mode='text/x-csrc'
+            theme='ambiance'
+            readOnly />
+    </Vfill>
   );
 };