810 |
indexing (Section 5), using P as the index key. |
indexing (Section 5), using P as the index key. |
811 |
|
|
812 |
.. uml:: storm_pointers |
.. uml:: storm_pointers |
813 |
:caption: The Storm pointer system |
:caption: The Storm pointer system. A pointer is implemented |
814 |
|
by a collection of pointer blocks which can obsolete |
815 |
|
other pointer blocks and each pointer block gives a single |
816 |
|
target for the pointer. |
817 |
|
|
818 |
class Pointer |
class Pointer |
819 |
|
|
829 |
|
|
830 |
Pointer.c = (0, 0); |
Pointer.c = (0, 0); |
831 |
horizontally(100, foo, Pointer, PointerBlock); |
horizontally(100, foo, Pointer, PointerBlock); |
832 |
vertically(50, bar, foo, Target); |
vertically(50, bar, PointerBlock, Target); |
833 |
ring.p = PointerBlock.e{right} .. PointerBlock.n{down}; |
ring.p = PointerBlock.e{right} .. PointerBlock.n{down}; |
834 |
|
|
835 |
|
|