[ivette] introduce AST view

ivette/src/renderer/ASTview.js

+// --------------------------------------------------------------------------
+// --- AST Source Code
+// --------------------------------------------------------------------------
+
+import _ from 'lodash' ;
+import React from 'react' ;
+import Dome from 'dome' ;
+import States from 'frama-c/states' ;
+import { Component } from 'frama-c/labviews' ;
+
+// --------------------------------------------------------------------------
+// --- AST Printer
+// --------------------------------------------------------------------------
+
+const ASTview = () => {
+
+  // Hooks
+  const [ select, setSelect ] = States.useSelection();
+
+  return (
+    <div>
+      <div>Function: {select && select.function}</div>
+      <div>Marker: {select && select.marker}</div>
+    </div>
+  );
+};
+
+// --------------------------------------------------------------------------
+// --- Export Component
+// --------------------------------------------------------------------------
+
+export default () => (
+  <Component id='frama-c.astview'
+             label='AST'
+             title='Normalized source code representation.'
+             >
+    <ASTview/>
+  </Component>
+);
+
+// --------------------------------------------------------------------------

ivette/src/renderer/Application.js

@@ -17,6 +17,7 @@ import { LabView, View, Group, Component } from 'frama-c/labviews' ;
 import { GridItem, GridHbox, GridVbox } from 'dome/layout/grids';
 import Controller from './Controller' ;
 import Properties from './Properties' ;
+import ASTview from './ASTview' ;
 
 // --------------------------------------------------------------------------
 // --- Main View
@@ -56,8 +57,8 @@ export default (function() {
           </View>
           <Group id='frama-c' label='Frama-C' title='Frama-C Kernel Components'>
             <Controller.Console/>
-            <Properties.PropTable/>
             <Properties/>
+            <ASTview/>
           </Group>
         </LabView>
       </Splitter>