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