TestCoreThyme.mesa
Written by: Pradeep Sindhu March 29, 1986 11:10:54 pm PST
Last Edited by:
Bertrand Serlet October 20, 1986 8:41:02 pm PDT
Pradeep Sindhu April 29, 1986 0:57:54 am PDT
Last Edited by: Christian Jacobi, January 7, 1987 2:49:50 pm PST
DIRECTORY
CD, CDDirectory, CommandTool, Core, CoreOps, CoreThyme, PW, Sinix, Sisyph, TerminalIO;
TestCoreThyme:
CEDAR
PROGRAM
IMPORTS CDDirectory, CommandTool, CoreOps, CoreThyme, PW, Sinix, Sisyph, TerminalIO = BEGIN
CellType: TYPE = Core.CellType;
Wire: TYPE = Core.Wire;
Object: TYPE = CD.Object;
ROPE: TYPE = Core.ROPE;
Context: TYPE = Sisyph.Context;
Test:
PROC [] =
BEGIN
design: CD.Design ← PW.OpenDesign["TestCoreThyme"];
targetObj: CD.Object ← CDDirectory.Fetch[design, "Test"].object;
cx: Context ← Sisyph.Create[design];
result: CellType ← NARROW [Sinix.Extract[obj: targetObj, mode: Sisyph.mode, userData: cx].result];
thymeHandle: CoreThyme.ThymeHandle ← CoreThyme.CreateThymeViewer[CommandTool.CurrentWorkingDirectory[]];
CoreOps.PrintCellType[result, TerminalIO.CreateStream[]];
CoreThyme.Translate[result, "TestCoreThyme.thy"];
CoreThyme.Simulate["TestCoreThyme.thy", thymeHandle];
END;
END.