From 6840cef483b35e39e01b9055fd061ca2b3bbf735 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Tue, 23 Jul 2024 11:14:02 +0200
Subject: [PATCH] [ivette] update API
---
.../frama-c/kernel/api/parameters/index.ts | 36 +++++++++++++++++++
1 file changed, 36 insertions(+)
diff --git a/ivette/src/frama-c/kernel/api/parameters/index.ts b/ivette/src/frama-c/kernel/api/parameters/index.ts
index 9a351edb81d..f42b08cf6cd 100644
--- a/ivette/src/frama-c/kernel/api/parameters/index.ts
+++ b/ivette/src/frama-c/kernel/api/parameters/index.ts
@@ -38,6 +38,42 @@ import * as Server from 'frama-c/server';
import * as State from 'frama-c/states';
+/** Signal for state [`session`](#session) */
+export const signalSession: Server.Signal = {
+ name: 'kernel.parameters.signalSession',
+};
+
+const getSession_internal: Server.GetRequest<null,string> = {
+ kind: Server.RqKind.GET,
+ name: 'kernel.parameters.getSession',
+ input: Json.jNull,
+ output: Json.jString,
+ fallback: '',
+ signals: [],
+};
+/** Getter for state [`session`](#session) */
+export const getSession: Server.GetRequest<null,string>= getSession_internal;
+
+const setSession_internal: Server.SetRequest<string,null> = {
+ kind: Server.RqKind.SET,
+ name: 'kernel.parameters.setSession',
+ input: Json.jString,
+ output: Json.jNull,
+ fallback: null,
+ signals: [],
+};
+/** Setter for state [`session`](#session) */
+export const setSession: Server.SetRequest<string,null>= setSession_internal;
+
+const session_internal: State.State<string> = {
+ name: 'kernel.parameters.session',
+ signal: signalSession,
+ getter: getSession,
+ setter: setSession,
+};
+/** State of parameter -session */
+export const session: State.State<string> = session_internal;
+
/** Signal for state [`astDiff`](#astdiff) */
export const signalAstDiff: Server.Signal = {
name: 'kernel.parameters.signalAstDiff',
--
GitLab