DATA)State of the computation of Eva Analysis.
computationStateType::="not_computed"|"computing"|"computed"|"aborted"
STATE)The current computation state of the analysis.
SIGNAL)Signal for state computationState
GET)Getter for state computationState
input
::=null
output
::=computationStateType
EXEC)run eva analysis
input
::=null
output
::=null
GET)abort eva analysis
input
::=null
output
::=null
SET)removes all results from previous Eva analyses, including emitted alarms, annotations and statuses
input
::=null
output
::=null
DATA)Domain states before and after a statement
states::={"name":string ,"before":string ,"after":string}
GET)Get the domain states about the given marker
input
::=[marker, boolean]
output
::=states[]
signals
plugins.eva.signals.computationStateplugins.eva.signals.currentCallstacks