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 information

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"	text	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