Region Analysis

plugins.region.node (DATA)

node ::= #node

plugins.region.root (DATA)

root ::= { "name" : string , "label" : string , "title" : string , "cells" : number }

plugins.region.range (DATA)

range ::= { "label" : string , "offset" : number , "length" : number , "cells" : number , "data" : node }

plugins.region.region (DATA)

region ::= { "node" : node , "roots" : root [] , "labels" : string [] , "parents" : node [] , "sizeof" : number , "ranges" : range [] , "pointed" :? node , "reads" : boolean , "writes" : boolean , "typed" : boolean , "singleton" : boolean , "label" : string , "title" : string }

plugins.region.updated (SIGNAL)

Region Analysis Updated

plugins.region.compute (EXEC)

Compute regions for the given declaration

input ::= decl

output ::= null

plugins.region.regions (GET)

Returns computed regions for the given declaration

input ::= decl

output ::= region []

signals

plugins.region.regionsAt (GET)

Compute regions at the given marker program point

input ::= marker

output ::= region []

signals

plugins.region.localize (GET)

Localize the marker in its map

input ::= marker

output ::= node ?

signals