pointer property

DivePointer? pointer
getter/setter pair

Implementation

DivePointer? pointer;