Eva Values

plugins.eva.values.changed (SIGNAL)

Emitted when EVA results has changed

plugins.eva.values.callstack (DATA)

callstack ::= #0eva-callstack-id

plugins.eva.values.getCallstacks (GET)

Callstacks for markers

input ::= marker []

output ::= callstack []

plugins.eva.values.getCallstackInfo (GET)

Callstack Description

input ::= callstack

output ::= { "callee" : #fct , "caller" :? #fct , "stmt" :? #stmt , "rank" :? number } []

plugins.eva.values.getStmtInfo (GET)

Stmt Information

input ::= #stmt

output ::= { output… }

Output Format Description
"rank" number Global stmt order
"fct" #fct Englobing function

plugins.eva.values.getProbeInfo (GET)

Probe informations

input ::= marker

output ::= { output… }

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

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