The dereference function
These next few pages cover how the components described thus far are combined
to create the final dereference(pointer: Pointer)
function.
-
The Summary page broadly describes the control flow structure behind this function implementation.
-
Generating regions on the fly describes the process of recursively processing a pointer and reducing it to a concrete list of fully-evaluated
Cursor.Region
objects. -
Making regions concrete describes the process for converting a single
Pointer.Region
object into its fully-evaluatedCursor.Region
equivalent at runtime.