Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
pub
frama-c
Commits
376653c0
Commit
376653c0
authored
Dec 26, 2019
by
Virgile Prevosto
Browse files
[server] compatibility between !2480 and !2487
parent
85ced63b
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/plugins/server/kernel_ast.ml
View file @
376653c0
...
...
@@ -219,6 +219,10 @@ let () =
(* --- Files --- *)
(* -------------------------------------------------------------------------- *)
let
get_files
()
=
let
files
=
Kernel
.
Files
.
get
()
in
List
.
map
(
fun
f
->
(
f
:
Filepath
.
Normalized
.
t
:>
string
))
files
let
()
=
Request
.
register
~
page
...
...
@@ -226,7 +230,11 @@ let () =
~
kind
:
`GET
~
name
:
"kernel.ast.getFiles"
~
input
:
(
module
Junit
)
~
output
:
(
module
Jstring
.
Jlist
)
Kernel
.
Files
.
get
get_files
let
set_files
files
=
let
s
=
String
.
concat
","
files
in
Kernel
.
Files
.
As_string
.
set
s
let
()
=
Request
.
register
...
...
@@ -236,7 +244,7 @@ let () =
~
name
:
"kernel.ast.setFiles"
~
input
:
(
module
Jstring
.
Jlist
)
~
output
:
(
module
Junit
)
Kernel
.
Files
.
set
set_files
let
()
=
Request
.
register
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment