Skip to main content

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-evaluated Cursor.Region equivalent at runtime.