-- File: SmallTest - Created by SETAR 14-Mar-86 16:42:39
-- Frank Bowers March 25, 1986 9:35:27 am PST

DIRECTORY
Core,
CoreClasses,
CoreCompose,
CoreProperties,
Rope,
SCTestUtil,
SmallTestOps;

SmallTest: CEDAR PROGRAM

IMPORTS CoreCompose, CoreProperties, SCTestUtil, SmallTestOps
EXPORTS SCTestUtil, SmallTestOps =

BEGIN OPEN SCTestUtil;

CellInstance: TYPE = CoreClasses.CellInstance;

ROPE: TYPE = Rope.ROPE;

ct: PUBLIC SmallTestOps.CellTypeArray;

InitializeTypes: PROC [context: CoreCompose.Context] = {
  c1NA02AWires: CoreCompose.WireSequence ← CoreCompose.CreateWires[context, "IXA, IXB, X, Vdd, Gnd"];
  ct[c1NA02A] ← CreateRecordCell[context, "C1NA02A", c1NA02AWires, NIL, NIL];
};

CreateCore: PUBLIC PROC [] RETURNS [CoreCompose.Context, Core.CellType] = BEGIN
  context: CoreCompose.Context ← CoreCompose.CreateContext[];
instList: LIST OF CellInstance ← NIL;
  SmallTest: Core.CellType;
pubWires: CoreCompose.WireSequence ← CoreCompose.CreateWires[context, SmallTestOps.MakepubWires1[]];
privWires: CoreCompose.WireSequence ← CoreCompose.CreateWires[context, SmallTestOps.MakeprivWires1[]];
CoreProperties.PutWireProp[pubWires[2], $Clock, $TRUE]; 
CoreProperties.PutWireProp[pubWires[4], $Clock, $TRUE]; 
CoreProperties.PutWireProp[pubWires[5], $Clock, $TRUE]; 
InitializeTypes[context];
instList ← AppendInstList[instList, SmallTestOps.MakeInsts2[context]];
  SmallTest ← CreateRecordCell[context, "SmallTest", pubWires, privWires, instList];
  RETURN[context, SmallTest];
  END;

END.