| ────────────────────────────────────────────────── |
| Warning: this tree is indicative only. Some tags may have been hidden. |
| 0.. 1 |
| | Act | └─┬──<TAG=root of the allocation> |
| | Rs | └─┬──<TAG=data> |
| | Rs | └────<TAG=x> |
| ────────────────────────────────────────────────── |
| ────────────────────────────────────────────────── |
| Warning: this tree is indicative only. Some tags may have been hidden. |
| 0.. 1 |
| | Act | └─┬──<TAG=root of the allocation> |
| | Rs | └─┬──<TAG=data> |
| | Rs | └─┬──<TAG=x> |
| | Rs | └─┬──<TAG=caller:x> |
| | Rs | └────<TAG=callee:x> Strongly protected |
| ────────────────────────────────────────────────── |
| ────────────────────────────────────────────────── |
| Warning: this tree is indicative only. Some tags may have been hidden. |
| 0.. 1 |
| | Act | └─┬──<TAG=root of the allocation> |
| | Rs | └─┬──<TAG=data> |
| | Rs | ├─┬──<TAG=x> |
| | Rs | │ └─┬──<TAG=caller:x> |
| | Rs | │ └────<TAG=callee:x> |
| | Rs | └────<TAG=y> |
| ────────────────────────────────────────────────── |
| ────────────────────────────────────────────────── |
| Warning: this tree is indicative only. Some tags may have been hidden. |
| 0.. 1 |
| | Act | └─┬──<TAG=root of the allocation> |
| | Act | └─┬──<TAG=data> |
| | Dis | ├─┬──<TAG=x> |
| | Dis | │ └─┬──<TAG=caller:x> |
| | Dis | │ └────<TAG=callee:x> |
| | Act | └────<TAG=y> |
| ────────────────────────────────────────────────── |
