-- SaffronAG7aDef.mesa -- Copyright Ó 1987 by Xerox Corporation. All rights reserved. -- Generated by Rauen.pa at September 1, 1988 2:46:00 pm PDT -- using ThreeCasabaFour [1.2] of June 1, 1987 6:00:00 pm PDT DIRECTORY SaffronTreeDeclsDef, SaffronGenericDef, SaffronATDef; SaffronAG7aDef: CEDAR DEFINITIONS = BEGIN OPEN SaffronTreeDeclsDef, SaffronGenericDef, SaffronATDef; -- AccessemptyProd AccessemptyProdData: TYPE = REF AccessemptyProdDataBody; AccessemptyProdDataBody: TYPE = RECORD[ ]; AccessemptyProdProcs: AccessNodeProcs; BuildAccessemptyProdNode: PROC[position: INT, length: INT] RETURNS[AccessNode]; AccessemptyProdGetAccessVal: GetAccessValProcType; -- AccesspublicProd AccesspublicProdData: TYPE = REF AccesspublicProdDataBody; AccesspublicProdDataBody: TYPE = RECORD[ ]; AccesspublicProdProcs: AccessNodeProcs; BuildAccesspublicProdNode: PROC[position: INT, length: INT] RETURNS[AccessNode]; AccesspublicProdGetAccessVal: GetAccessValProcType; -- AccessprivateProd AccessprivateProdData: TYPE = REF AccessprivateProdDataBody; AccessprivateProdDataBody: TYPE = RECORD[ ]; AccessprivateProdProcs: AccessNodeProcs; BuildAccessprivateProdNode: PROC[position: INT, length: INT] RETURNS[AccessNode]; AccessprivateProdGetAccessVal: GetAccessValProcType; -- DefaultemptyProd DefaultemptyProdData: TYPE = REF DefaultemptyProdDataBody; DefaultemptyProdDataBody: TYPE = RECORD[ ]; DefaultemptyProdProcs: DefaultNodeProcs; BuildDefaultemptyProdNode: PROC[position: INT, length: INT] RETURNS[DefaultNode]; DefaultemptyProdGetDefaultExpVal: GetDefaultExpValProcType; -- DefaultgetsProd DefaultgetsProdData: TYPE = REF DefaultgetsProdDataBody; DefaultgetsProdDataBody: TYPE = RECORD[ ]; DefaultgetsProdProcs: DefaultNodeProcs; BuildDefaultgetsProdNode: PROC[position: INT, length: INT] RETURNS[DefaultNode]; DefaultgetsProdGetDefaultExpVal: GetDefaultExpValProcType; -- DefaultgetsexpProd DefaultgetsexpProdData: TYPE = REF DefaultgetsexpProdDataBody; DefaultgetsexpProdDataBody: TYPE = RECORD[ Exp: ExpNode]; DefaultgetsexpProdProcs: DefaultNodeProcs; BuildDefaultgetsexpProdNode: PROC[position: INT, length: INT, Exp: ExpNode] RETURNS[DefaultNode]; DefaultgetsexpProdGetDefaultExpVal: GetDefaultExpValProcType; -- DefaultgetstrashProd DefaultgetstrashProdData: TYPE = REF DefaultgetstrashProdDataBody; DefaultgetstrashProdDataBody: TYPE = RECORD[ ]; DefaultgetstrashProdProcs: DefaultNodeProcs; BuildDefaultgetstrashProdNode: PROC[position: INT, length: INT] RETURNS[DefaultNode]; DefaultgetstrashProdGetDefaultExpVal: GetDefaultExpValProcType; -- DefaultgetsexportrashProd DefaultgetsexportrashProdData: TYPE = REF DefaultgetsexportrashProdDataBody; DefaultgetsexportrashProdDataBody: TYPE = RECORD[ Exp: ExpNode]; DefaultgetsexportrashProdProcs: DefaultNodeProcs; BuildDefaultgetsexportrashProdNode: PROC[position: INT, length: INT, Exp: ExpNode] RETURNS[DefaultNode]; DefaultgetsexportrashProdGetDefaultExpVal: GetDefaultExpValProcType; -- IdentidProd IdentidProdData: TYPE = REF IdentidProdDataBody; IdentidProdDataBody: TYPE = RECORD[ Id: IdNode]; IdentidProdProcs: IdentNodeProcs; BuildIdentidProdNode: PROC[position: INT, length: INT, Id: IdNode] RETURNS[IdentNode]; IdentidProdAddNamesToFieldList: AddNamesToFieldListProcType; IdentidProdGetIdentInfo: GetIdentInfoProcType; IdentidProdAddNamesToSequence: AddNamesToSequenceProcType; IdentidProdAddValueDeclarationToFieldList: AddValueDeclarationToFieldListProcType; IdentidProdAddTypeDeclarationToFieldList: AddTypeDeclarationToFieldListProcType; IdentidProdMakeCodeToStoreTOSInVariousLocalFrameSlots: MakeCodeToStoreTOSInVariousLocalFrameSlotsProcType; -- IdentidpositionProd IdentidpositionProdData: TYPE = REF IdentidpositionProdDataBody; IdentidpositionProdDataBody: TYPE = RECORD[ Id: IdNode, Position: PositionNode]; IdentidpositionProdProcs: IdentNodeProcs; BuildIdentidpositionProdNode: PROC[position: INT, length: INT, Id: IdNode, Position: PositionNode] RETURNS[IdentNode]; IdentidpositionProdAddNamesToFieldList: AddNamesToFieldListProcType; IdentidpositionProdGetIdentInfo: GetIdentInfoProcType; IdentidpositionProdAddNamesToSequence: AddNamesToSequenceProcType; IdentidpositionProdAddValueDeclarationToFieldList: AddValueDeclarationToFieldListProcType; IdentidpositionProdAddTypeDeclarationToFieldList: AddTypeDeclarationToFieldListProcType; IdentidpositionProdMakeCodeToStoreTOSInVariousLocalFrameSlots: MakeCodeToStoreTOSInVariousLocalFrameSlotsProcType; -- PositionProd PositionProdData: TYPE = REF PositionProdDataBody; PositionProdDataBody: TYPE = RECORD[ Exp: ExpNode, OptBits: OptBitsNode]; PositionProdProcs: PositionNodeProcs; BuildPositionProdNode: PROC[position: INT, length: INT, Exp: ExpNode, OptBits: OptBitsNode] RETURNS[PositionNode]; PositionProdGetPositionVal: GetPositionValProcType; -- OptBitsabsentProd OptBitsabsentProdData: TYPE = REF OptBitsabsentProdDataBody; OptBitsabsentProdDataBody: TYPE = RECORD[ ]; OptBitsabsentProdProcs: OptBitsNodeProcs; BuildOptBitsabsentProdNode: PROC[position: INT, length: INT] RETURNS[OptBitsNode]; OptBitsabsentProdGetBoundsVal: GetBoundsValProcType; -- OptBitspresentProd OptBitspresentProdData: TYPE = REF OptBitspresentProdDataBody; OptBitspresentProdDataBody: TYPE = RECORD[ Bounds: BoundsNode]; OptBitspresentProdProcs: OptBitsNodeProcs; BuildOptBitspresentProdNode: PROC[position: INT, length: INT, Bounds: BoundsNode] RETURNS[OptBitsNode]; OptBitspresentProdGetBoundsVal: GetBoundsValProcType; END..