[ivette] prettier events documentation

ivette/src/frama-c/server.js

@@ -21,9 +21,10 @@ import { Request } from 'zeromq' ;
 
 /**
    @event
+   @name 'frama-c.server'
    @summary Server Status Notification Event
    @description
-   Event `'frama-c.server'`.
+   Exported as `Server.SERVER' in public API.
 */
 export const SERVER = 'frama-c.server' ;
 

ivette/src/frama-c/states.js

@@ -16,17 +16,20 @@ const NONE = [ undefined, () => undefined ]; // No-state
 
 /**
    @event
+   @name 'frama-c.project'
    @summary Current Project Updates
    @description
-   Event `'frama-c.project'`.
+   Exported as `State.PROJECT` in public API.
 */
 export const PROJECT = 'frama-c.project' ;
 
 /**
    @event
-   @summary State Notification Event (prefix)
+   @name 'frama-c.state.*'
+   @summary State Notification Events.
    @description
    Event `'frama-c.state.<id>'` for project `<id>`.
+   The prefix `'frama-c-state.'` is exported as `States.STATE` in public API.
 */
 export const STATE = 'frama-c.state.' ;