<> <> <> <> <<>> DIRECTORY GGModelTypes ; GGSceneType: CEDAR DEFINITIONS = BEGIN Slice: TYPE = GGModelTypes.Slice; SliceDescriptor: TYPE = GGModelTypes.SliceDescriptor; SceneObj: TYPE = RECORD [ 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 ]; SelectedData: TYPE = RECORD [ normal: LIST OF SliceDescriptor _ NIL, -- a list of selected SliceDescriptors hot: LIST OF SliceDescriptor _ NIL, -- a list of hot SliceDescriptors active: LIST OF SliceDescriptor _ NIL -- a list of active SliceDescriptors ]; END.