PartDesign Pocket

Introduction
'Create a pocket with the selected sketch' - This tool takes a selected sketch as its input, and produces with it a pocket. A pocket being essentially an extrusion of a sketch that subtracts from the geometry it protrudes into. For example, if a sketch were made simply of one circle on one face of a cube, then the pocket formed by that sketch would manifest as a hole 'drilled' into the cube:

Options
When creating a pocket, the 'pocket parameters' dialogue only has two parameters available for the user to edit:

Type
This parameter currently only has one implemented option - 'Dimension' - this tells the pocket tool that it is a dimension that is to control the formation of the pocket.

Length
This parameter sets the length a sketch is to be extruded by to create the pocket. Extrusions occur normal to the defining sketch plane.