Eva Values

plugins.eva.values.changed (SIGNAL)

Emitted when EVA results has changed

plugins.eva.values.callstack (DATA)

Callstack identifier

callstack ::= #callstack

plugins.eva.values.callsite (DATA)

Call site infos

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

plugins.eva.values.getCallstacks (GET)

Callstacks for markers

input ::= marker []

output ::= callstack []

plugins.eva.values.getCallstackInfo (GET)

Callstack Description

input ::= callstack

output ::= callsite []

plugins.eva.values.getStmtInfo (GET)

Stmt Information

input ::= marker

output ::= { output… }

Output Format Description
"fct" string Function name
"rank" number Global stmt order

plugins.eva.values.getProbeInfo (GET)

Probe informations

input ::= marker

output ::= { output… }

Output Format Description
"evaluable" boolean Can the probe be evaluated?
"code" (opt.) string Probe source code
"stmt" (opt.) marker Probe statement
"effects" boolean Effectfull statement
"condition" boolean Conditional statement

plugins.eva.values.evaluation (DATA)

Evaluation of an expression or lvalue

evaluation ::= { fields… }

Field Format Description
"value" string Textual representation of the value
"alarms" [ "True" "False"
"pointedVars" [ string , marker ] [] List of variables pointed by the value

plugins.eva.values.getValues (GET)

Abstract values for the given marker

input ::= { input… }

output ::= { output… }

Input Format Description
"target" marker Works with all markers containing an expression
"callstack" (opt.) callstack Callstack to collect (defaults to none)
Output Format Description
"vBefore" (opt.) evaluation Domain values before execution
"vAfter" (opt.) evaluation Domain values after execution
"vThen" (opt.) evaluation Domain values for true condition
"vElse" (opt.) evaluation Domain values for false condition