SIGNAL
)Emitted when EVA results has changed
DATA
)
callstack
::=
#0eva-callstack-id
GET
)Callstacks for markers
input
::=
marker
[]
output
::=
callstack
[]
GET
)Callstack Description
input
::=
callstack
output
::=
{
"callee"
:
#fct
,"caller"
:?
#fct
,"stmt"
:?
#stmt
,"rank"
:?
number}
[]
GET
)Stmt Information
input
::=
#stmt
output
::=
{
output…}
Output | Format | Description |
---|---|---|
"rank" |
number | Global stmt order |
"fct" |
#fct |
Englobing function |
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? |
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 |
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 |