GGModelTypes

;

ptrValid: BOOL ← FALSE, -- TRUE when ptr accurately points to end of entities

ptr: LIST OF Slice ← NIL, -- finger pointer to end of entities list

entities: LIST OF Slice ← NIL, -- a list of slices

oldEntities: LIST OF LIST OF Slice ← NIL, -- lists of slices. Used by Undelete.

selected: SelectedData,

savedSelected: SelectedData, -- needed to recover from Abort operations

prioritiesValid: BOOL -- TRUE if no top level entities have been added or deleted since priorities were last updated, Bier, March 10, 1987

];

normal: LIST OF REF ANY ← NIL, -- a list of selected SliceDescriptors

hot: LIST OF REF ANY ← NIL, -- a list of hot SliceDescriptors

active: LIST OF REF ANY ← NIL -- a list of active SliceDescriptors

];