Callstacks analyzed by Eva

plugins.eva.callstack.callsite (DATA)

Call site infos

callsite ::= { "caller" : decl , "callee" : decl , "stmt" : marker , "rank" : number }

plugins.eva.callstack.callstackInfo (DATA)

Callstack infos

callstackInfo ::= { "thread" : string , "entryPoint" : decl , "stack" : callsite [] , "analyzed" : boolean }

plugins.eva.callstack.callstack (DATA)

Callstack identifier

callstack ::= #callstack

plugins.eva.callstack.getCallstackInfo (GET)

Callstack Description

input ::= callstack

output ::= callstackInfo

signals

plugins.eva.callstack.getAllCallstacks (GET)

Returns the list of all callstacks analyzed

input ::= null

output ::= callstack []

signals

plugins.eva.callstack.getFunctionCallstacks (GET)

Returns the list of all callstacks analyzed for a given function

input ::= decl

output ::= callstack []

signals

plugins.eva.callstack.getMarkersCallstacks (GET)

Return the list of analyzed callstacks for the selected markers, filtered by the selected callstacks.

input ::= marker []

output ::= callstack []

signals

plugins.eva.callstack.currentCallstacks (STATE)

List of the currently selected callstacks, if any

plugins.eva.callstack.signalCurrentCallstacks (SIGNAL)

Signal for state currentCallstacks

plugins.eva.callstack.getCurrentCallstacks (GET)

Getter for state currentCallstacks

input ::= null

output ::= callstack []

plugins.eva.callstack.setCurrentCallstacks (SET)

Setter for state currentCallstacks

input ::= callstack []

output ::= null