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.