<> <> <> <> DIRECTORY CD, Rope; CDSymbolicObjects: CEDAR DEFINITIONS = BEGIN <> <<>> <> <> <> <<>> <> <> <> <> <<>> <<>> <<--Create procedures>> <<--All create procedures may create objects of different genre if the parameters suggests. Symbolic objects may be shared by different instances or different designs. The dummy-dimension may be used to make the object larger than the denoting position(s); however, it is used as hint only.>> CreateMark: PROC [dummySize: CD.Number_0] RETURNS [CD.Object]; CreateSegment: PROC [length: CD.Number, dummyWidth: CD.Number_0] RETURNS [CD.Object]; CreatePin: PROC [size: CD.Position] RETURNS [CD.Object]; <<>> <<--Recognizing symbolic objects>> Kind: TYPE = {notSymbolic, mark, segment, pin}; SymbolicKind: PROC [ob: CD.Object] RETURNS [Kind]; IsSymbolicOb: PROC [ob: CD.Object] RETURNS [BOOL]; IsMark: PROC [ob: CD.Object] RETURNS [BOOL]; IsSegment: PROC [ob: CD.Object] RETURNS [BOOL]; IsPin: PROC [ob: CD.Object] RETURNS [BOOL]; <<>> <<--Properties of instances of symbolic objects>> SetOwner: PROC [symInst: CD.Instance, owner: ATOM_NIL]; GetOwner: PROC [symInst: CD.Instance] RETURNS [ATOM]; <<--If owner is not NIL it must be registered with CDProperties>> SetName: PROC [symInst: CD.Instance, name: Rope.ROPE]; GetName: PROC [symInst: CD.Instance] RETURNS [Rope.ROPE]; SetLayer: PROC [symInst: CD.Instance, layer: CD.Layer]; GetLayer: PROC [symInst: CD.Instance] RETURNS [CD.Layer]; <<--I layer=CD.undefLayer means: not yet determined, >> <<-- or either: object has more complex functionality>> <<--It depends from the application whether the layer is meaningfull or not>> Denotes: PROC [symInst: CD.Instance] RETURNS [CD.Rect]; <<--The denoted area; a rect for pins, a degenerated rect for segments and marks>> <<>> <<>> <<--Direction and creation of directed instances>> <<--It depends from the application whether Direction has any meaning...>> <<--View point for directions is the cell, not the channel: Consider the left border of a cell>> <<--to be west.>> DirectionOrNone: TYPE = {west, south, east, north, none}; Direction: TYPE = DirectionOrNone[west..north]; <<>> DirectionFromOrient: PROC [o: CD.Orientation] RETURNS [dir: Direction]; <<--returns direction where the west side of an oriented object faces>> OrientFromDirection: PROC [dir: Direction] RETURNS [o: CD.Orientation]; <<--returns an orientation such that the west side of an oriented object faces dir >> CreateSymInst: PROC [name: Rope.ROPE_NIL, denotes: CD.Rect, dummySize: CD.Number _ 0, layer: CD.Layer _ CD.undefLayer, owner: ATOM _ NIL, approachFrom: Direction _ west] RETURNS [CD.Instance]; <<--Creates an instance of a symbolic object.>> <<--Lines will allways be approached from a direction perpendicular to their length.>> <<>> <<--Special procedures for finding or enumerating symbolic objects in cells or (loaded) imports>> InstEnumerator: TYPE = PROC [inst: CD.Instance] RETURNS [quit: BOOL_FALSE]; EnumerateSymbolicObs: PROC [cellOb: CD.Object_NIL, eachInst: InstEnumerator] RETURNS [quit: BOOL]; <<--Random order; changes on cellOb while the enumeration may or may not be seen>> <<--or may even cause other symbolic to be visited a different number than once. >> <<--The instances are the real instances inside cellOb; modifycations would change cellOb>> FindSymbolicObs: PROC [cellOb: CD.Object_NIL, name: Rope.ROPE] RETURNS [CD.InstanceList]; <<--Returns all symbolic objects with name "name">> <<--The instances are the real instances inside cellOb; modifycations would change cellOb>> <<>> <<--implementors stuff>> pinClass: PRIVATE READONLY CD.ObjectClass; segmentClass: PRIVATE READONLY CD.ObjectClass; markClass: PRIVATE READONLY CD.ObjectClass; pinLayer: PRIVATE READONLY CD.Layer; segmentLayer: PRIVATE READONLY CD.Layer; <<--abstract layers to allow using stretch and split commands>> END.