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, "Test1"].object; cx: Context _ Sisyph.Create[design]; result: CellType _ NARROW [Sinix.Extract[obj: targetObj, mode: Sisyph.sisyphMode, userData: cx].result]; thymeHandle: CoreThyme.ThymeHandle _ CoreThyme.CreateThymeViewer[CommandTool.CurrentWorkingDirectory[]]; CoreOps.PrintCellType[result, TerminalIO.TOS[]]; CoreThyme.Translate[result, "TestCoreThyme.thy"]; CoreThyme.Simulate["TestCoreThyme.thy", thymeHandle]; ERROR; END; END. ΎTestCoreThyme.mesa Written by: Pradeep Sindhu March 29, 1986 11:10:54 pm PST Last Edited by: Bertrand Serlet June 3, 1986 2:11:36 pm PDT Pradeep Sindhu April 29, 1986 0:57:54 am PDT Κ/˜™J™9Icode™™+K™,—J™—šΟk ˜ Kšœ8œ˜VK˜—šΠbl œœœ˜ Jšœ/œ˜[J˜Jšœ œ˜Jšœœ ˜Jšœœœ˜Jšœœœ˜Jšœ œ˜J˜šΟnœœ˜Jšœœ œ˜3Kšœ œ4˜AKšœ$˜$KšœœO˜hKšœh˜hK˜Kšœ)œ˜0K˜1K˜5Kšœ˜Jšœ˜—K˜Jšœ˜—K˜J˜—…—ž‹