<> <> <> <> <> <<>> <> <<>> DIRECTORY Core, CoreCreate, Ports, Rope, Rosemary, Sisyph; LogicUtils: CEDAR DEFINITIONS ~ BEGIN OPEN CoreCreate; <> <> <> <<>> CacheFetch: PROC [name: ROPE] RETURNS [CellType]; <> <<>> CacheStore: PROC [name: ROPE, ct: CellType]; <> <<>> cacheAction: TYPE ~ {leave, reload, erase, disable}; Reset: PROC [reloadDesign: BOOL _ FALSE, cache: cacheAction _ leave]; <> <<- reloadDesign TRUE => recreate the context from which Extract works and clear cache>> <<- cache>> < current state remains (but erase if reloadDesign=TRUE)>> < reload cache from core file and check dates are consistent>> < make the cache empty>> < disable the cache>> <> LibraryGet: PROC [lib, cell: ROPE] RETURNS [CellType _ NIL]; <> <<>> MakeSC: PROC [nameInLib: ROPE] RETURNS [ct: CellType]; <> <> Value: TYPE ~ RECORD [name: ROPE, val: INT]; <> GetLogicContext: PROC RETURNS [Sisyph.Context]; <> Extract: PROC [schName: ROPE, parms: LIST OF Value _ NIL] RETURNS [ct: CellType]; <> <<>> SCBlock: PROC [ct: CellType] RETURNS [shell: CellType]; <> <> RoseClass: PROC [name: ROPE, init: Rosemary.InitProc _ NIL, evalSimple: Rosemary.EvalProc _ NIL, scheduleIfClockEval: BOOL _ FALSE, copy: Rosemary.StateCopyProc _ NIL] RETURNS [roseClassName: ROPE]; <> <> <<>> SimulateGate: PROC [ct: CellType, roseClassName: ROPE]; <> <<>> SimulateMacro: PROC [ct: CellType, roseClassName: ROPE]; <> <> Error: PROC [msg: ROPE]; <> Obsolete: PROC [msg: ROPE]; <> END.