<> <> <> <> <> <<>> 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.