Chapter 6 Working with PDMs
During an abstract data type (ADT) procedure check, the following object controls are made.