src/plugins/server/kernel_ast.ml · bf91559dcc7f5c12964a50dc9ad3032f8d00a238 · pub / frama-c

4 years ago

[server] Kernel ast: changes MarkerKind and adds MarkerVar to the markers array. · bf91559d

David Bühler authored 4 years ago and

Michele Alberti committed 4 years ago

Makes marker kinds a direct reflection of the ocaml type; removes the 'variable'
and 'function' kinds.
Adds a new column to the synchronized array of markers that indicates if a
marker is a variable, a function, or something else.

bf91559d

History

[server] Kernel ast: changes MarkerKind and adds MarkerVar to the markers array.

David Bühler authored 4 years ago and

Michele Alberti committed 4 years ago

Makes marker kinds a direct reflection of the ocaml type; removes the 'variable'
and 'function' kinds.
Adds a new column to the synchronized array of markers that indicates if a
marker is a variable, a function, or something else.