The Frama-C current project can be managed with the server requests provided below.
Initially, the current project is the one selected when the
server starts. Hence, from the Frama-C command line,
-then-on <P> -server-xxx
would start the server
with current project <P>
.
When modifying the current project through request
Kernel.Project.SetCurrent
, client shall wait for an
acknowledgement before sending further GET
requests.
Otherwise, the GET
might be executed on a different
project, due to the asynchronous behavior of the server.
However, it is still possible to execute a request on a
specific project with Kernel.Project.{Get|Set|Exec}On
requests.
DATA
)Project informations
projectInfo
::=
{
"id"
:
#project
,"name"
:
string ,"current"
:
boolean}
GET
)Returns the list of all projects
input
::=
null
output
::=
projectInfo
[]
SET
)Create a new project
input
::=
string
output
::=
projectInfo