<> <> <<>> DIRECTORY SaffronBaseDef USING [MakeTrash], SaffronContextPrivateTypes, SaffronErrorHandling USING [Warning]; SaffronInitialValueImpl: CEDAR PROGRAM IMPORTS SaffronBaseDef, SaffronErrorHandling EXPORTS SaffronBaseDef = BEGIN OPEN BD: SaffronBaseDef, EH: SaffronErrorHandling, PT: SaffronContextPrivateTypes; TypeGraphNodeNode: TYPE = REF TypeGraphNodeNodeBody; TypeGraphNodeNodeBody: PUBLIC TYPE = PT.TypeGraphNodeNodeBody; ValueNode: TYPE = REF ValueNodeBody; ValueNodeBody: PUBLIC TYPE = PT.ValueNodeBody; CompileDefaultInitialization: PUBLIC PROC [tgn: TypeGraphNodeNode] RETURNS [ValueNode] = BEGIN WITH tgn.body SELECT FROM u: PT.RealTGN => RETURN [BD.MakeTrash[tgn]]; ENDCASE => { SIGNAL EH.Warning[0, "Default initialization not yet implemented!!!"]; RETURN [BD.MakeTrash[tgn]]; }; END; END.