DATA
)
node
::=
#node
DATA
)
range
::=
{
"label"
:
string ,"offset"
:
number ,"length"
:
number ,"cells"
:
number ,"data"
:
node
}
DATA
)
region
::=
{
"node"
:
node
,"roots"
:
string[]
,"labels"
:
string[]
,"parents"
:
node
[]
,"sizeof"
:
number ,"ranges"
:
range
[]
,"pointed"
:?
node
,"reads"
:
boolean ,"writes"
:
boolean ,"bytes"
:
boolean ,"label"
:
string ,"title"
:
string}
SIGNAL
)Region Analysis Updated
EXEC
)Compute regions for the given declaration
input
::=
decl
output
::=
null
GET
)Returns computed regions for the given declaration
input
::=
decl
output
::=
region
[]
signals
plugins.region.updated
GET
)Compute regions at the given marker program point
input
::=
marker
output
::=
region
[]
signals
plugins.region.updated
GET
)Localize the marker in its map
input
::=
marker
output
::=
node
?
signals
plugins.region.updated