Skip to content
Snippets Groups Projects
Commit 73018204 authored by Michele Alberti's avatar Michele Alberti
Browse files

[api] Spurious API change (should be already commited in master).

parent f79a5195
No related branches found
No related tags found
No related merge requests found
...@@ -31,13 +31,12 @@ const getCallers_internal: Server.GetRequest< ...@@ -31,13 +31,12 @@ const getCallers_internal: Server.GetRequest<
kind: Server.RqKind.GET, kind: Server.RqKind.GET,
name: 'plugins.eva.general.getCallers', name: 'plugins.eva.general.getCallers',
input: Json.jKey<'#fct'>('#fct'), input: Json.jKey<'#fct'>('#fct'),
output: Json.jList(Json.jTry( output: Json.jList(
Json.jPair( Json.jTry(
Json.jFail(Json.jKey<'#fct'>('#fct'), Json.jPair(
'#fct expected'), Json.jFail(Json.jKey<'#fct'>('#fct'),'#fct expected'),
Json.jFail(Json.jKey<'#stmt'>('#stmt'), Json.jFail(Json.jKey<'#stmt'>('#stmt'),'#stmt expected'),
'#stmt expected'), ))),
))),
}; };
/** Get the list of call site of a function */ /** Get the list of call site of a function */
export const getCallers: Server.GetRequest< export const getCallers: Server.GetRequest<
...@@ -45,9 +44,9 @@ export const getCallers: Server.GetRequest< ...@@ -45,9 +44,9 @@ export const getCallers: Server.GetRequest<
[ Json.key<'#fct'>, Json.key<'#stmt'> ][] [ Json.key<'#fct'>, Json.key<'#stmt'> ][]
>= getCallers_internal; >= getCallers_internal;
/** Dead code. */ /** Unreachable and non terminating statements. */
export interface deadCode { export interface deadCode {
/** List of unreachable statements of a function */ /** List of unreachable statements. */
unreachable: marker[]; unreachable: marker[];
/** List of reachable but non terminating statements. */ /** List of reachable but non terminating statements. */
nonTerminating: marker[]; nonTerminating: marker[];
...@@ -78,7 +77,7 @@ const getDeadCode_internal: Server.GetRequest<Json.key<'#fct'>,deadCode> = { ...@@ -78,7 +77,7 @@ const getDeadCode_internal: Server.GetRequest<Json.key<'#fct'>,deadCode> = {
input: Json.jKey<'#fct'>('#fct'), input: Json.jKey<'#fct'>('#fct'),
output: jDeadCode, output: jDeadCode,
}; };
/** Get the list of unreachable statements and non terminating statements in a function */ /** Get the lists of unreachable and of non terminating statements in a function */
export const getDeadCode: Server.GetRequest<Json.key<'#fct'>,deadCode>= getDeadCode_internal; export const getDeadCode: Server.GetRequest<Json.key<'#fct'>,deadCode>= getDeadCode_internal;
/* ------------------------------------- */ /* ------------------------------------- */
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment