CDStretchCommands.mesa (part of ChipNDale)
Copyright © 1984, 1987 by Xerox Corporation. All rights reserved.
Created by Christian Jacobi, July 11, 1983 3:42 pm
Last edited by: Christian Jacobi, January 12, 1987 6:15:10 pm PST
DIRECTORY
CD,
CDAtomicObjects,
CDBasics,
CDInstances,
CDOps,
CDProperties,
CDRects,
CDSequencer,
CDStretchyBackdoor,
CDValue,
CDViewer,
IO,
TerminalIO,
ViewerClasses,
ViewerOps;
CDStretchCommands: CEDAR PROGRAM
IMPORTS CD, CDAtomicObjects, CDBasics, CDInstances, CDOps, CDProperties, CDRects, CDSequencer, CDStretchyBackdoor, CDValue, CDViewer, IO, TerminalIO, ViewerOps =
BEGIN
--common
StepValue: PROC[design: CD.Design] RETURNS [n: CD.Number] = {
n ← CDValue.FetchInt[boundTo: design, key: $CDxStepValue, propagation: global];
IF n<=0 THEN n ← design.technology.lambda
};
WireTyped: PROC [ob: CD.Object] RETURNS [BOOL] = INLINE {
RETURN [ob.class.wireTyped]
};
--stretch an edge in any direction
FiddlePos: PROC [inst: CD.Instance, ir: CD.Rect] = {
MoreZero: PROC [a, b: INT] RETURNS [INT𡤀] = {
IF a>=0 AND b>=0 THEN RETURN [MIN[a, b]];
IF a<=0 AND b<=0 THEN RETURN [MAX[a, b]];
};
r: CD.Rect ← CDInstances.InstRectI[inst];
inst.trans.off.x ← inst.trans.off.x + MoreZero[ir.x1-r.x1, ir.x2-r.x2];
inst.trans.off.y ← inst.trans.off.y + MoreZero[ir.y1-r.y1, ir.y2-r.y2];
};
ExactNewSize: PROC [ob: CD.Object, sz: CD.Position] RETURNS [ob1: CD.Object] = {
NewSize: PROC [ob: CD.Object, sz: CD.Position] RETURNS [ob1: CD.Object] = {
SELECT TRUE FROM
ob.class.wireTyped =>
ob1 ← CDRects.CreateRect[sz, ob.layer];
CDAtomicObjects.IsAtomicOb[ob] =>
ob1 ← CDAtomicObjects.CreateAtomicOb[ob.class.objectType, sz, ob.class.technology, ob.layer];
ENDCASE => ob1 ← CDStretchyBackdoor.MakeSimilar[ob, CDBasics.RectAt[[0, 0], sz]];
IF ob1=NIL THEN ob1 ← ob;
};
ob1 ← NewSize[ob, sz];
IF CD.InterestSize[ob1]#sz THEN ob1 ← ob
};
AddDelta: PROC [r1, r2: CD.Rect] RETURNS [r: CD.Rect] = {
r.x1 ← r1.x1+r2.x1;
r.x2 ← r1.x2+r2.x2;
r.y1 ← r1.y1+r2.y1;
r.y2 ← r1.y2+r2.y2;
};
StretchIt: PROC [design: CD.Design, deltaR: CD.Rect] = {
count: INT ← 0;
amount: CD.Position ← [deltaR.x2-deltaR.x1, deltaR.y2-deltaR.y1];
FOR list: CD.InstanceList ← CDOps.InstList[design], list.rest WHILE list#NIL DO
IF list.first.selected THEN {
inst: CD.Instance ← list.first;
stretchSize: CD.Position ← CDBasics.OrientedSize[amount, inst.trans.orient];
goal: CD.Rect ← AddDelta[CDInstances.InstRectI[inst], deltaR];
CDOps.RedrawInstance[design, inst, TRUE];
inst.ob ← ExactNewSize[inst.ob, CDBasics.AddPoints[stretchSize, CD.InterestSize[inst.ob]]];
FiddlePos[inst, goal];
CDOps.RedrawInstance[design, inst, FALSE];
count ← count+1;
}
ENDLOOP;
TerminalIO.PutF1["tried to stretch %g objects\n", IO.int[count]];
};
PosDelta: PROC [comm: CDSequencer.Command, dir: ATOM] RETURNS [delta: CD.Rect←[0, 0, 0, 0]] = {
pointedInst: CD.Instance ← CDInstances.InstanceAt[il: CDOps.InstList[comm.design], pos: comm.pos, selectedOnly: TRUE];
IF pointedInst=NIL THEN CDSequencer.Quit[" no selected object pointed\n"]
ELSE {
r: CD.Rect ← CDInstances.InstRectI[pointedInst];
pos: CD.Position ← comm.pos;
amount: CD.Number ← StepValue[comm.design];
mouseRight: BOOL = ABS[r.x1-pos.x] > ABS[r.x2-pos.x];
mouseUp: BOOL = ABS[r.y1-pos.y] > ABS[r.y2-pos.y];
IF pointedInst=NIL THEN CDSequencer.Quit[" no selected object pointed\n"];
SELECT dir FROM
$west => IF mouseRight THEN delta.x2 ← -amount ELSE delta.x1 ← -amount;
$east => IF mouseRight THEN delta.x2 ← amount ELSE delta.x1 ← amount;
$south =>IF mouseUp THEN delta.y2 ← -amount ELSE delta.y1 ← -amount;
$north => IF mouseUp THEN delta.y2 ← amount ELSE delta.y1 ← amount;
ENDCASE => ERROR;
}
};
StretchCommand: PROC [comm: CDSequencer.Command] = {
GetDelta: PROC [r: CD.Rect, from, to: CD.Position] RETURNS [dr: CD.Rect ← [0, 0, 0, 0]] = {
--given an interest rect and a vector,
--compute a delta for a stretch (rect to add)
IF ABS[to.x-from.x]>ABS[to.y-from.y] THEN { --horizontal stretch vector
IF ABS[r.x1-from.x] < ABS[r.x2-from.x] THEN dr.x1 ← to.x-from.x --left edge
ELSE dr.x2 ← to.x-from.x --right edge
}
ELSE { --vertical stretch vector
IF ABS[r.y1-from.y] < ABS[r.y2-from.y] THEN dr.y1 ← to.y-from.y --bottom edge
ELSE dr.y2 ← to.y-from.y --top edge
};
};
VectorStretch: PROC [design: CD.Design, from, to: CD.Position] = {
deltaR: CD.Rect;
pointedInst: CD.Instance ← CDInstances.InstanceAt[il: CDOps.InstList[design], pos: from, selectedOnly: TRUE];
IF pointedInst=NIL THEN {
TerminalIO.PutRope["failed: must point to an instance\n"];
RETURN
};
deltaR ← GetDelta[CDInstances.InstRectI[pointedInst], from, to];
StretchIt[design, deltaR];
};
TerminalIO.PutRope["stretch selected\n"];
VectorStretch[design: comm.design, from: comm.sPos, to: comm.pos]
};
StretchStepLeftCommandS: PROC [comm: CDSequencer.Command] = {
TerminalIO.PutRope["Stretch step selected left"];
StretchIt[comm.design, PosDelta[comm, $west]];
};
StretchStepRightCommandS: PROC [comm: CDSequencer.Command] = {
TerminalIO.PutRope["Stretch step selected right"];
StretchIt[comm.design, PosDelta[comm, $east]];
};
StretchStepUpCommandS: PROC [comm: CDSequencer.Command] = {
TerminalIO.PutRope["Stretch step selected up"];
StretchIt[comm.design, PosDelta[comm, $north]];
};
StretchStepDownCommandS: PROC [comm: CDSequencer.Command] = {
TerminalIO.PutRope["Stretch step selected down"];
StretchIt[comm.design, PosDelta[comm, $south]];
};
--cut wires
CutInstance: PROC [design: CD.Design, inst: CD.Instance, from, to: CD.Position, gridding: CD.Number𡤁] = {
NearlyRoundToLambda: PROC[x: CD.Number] RETURNS[r: CD.Number] = {
r ← (x/gridding)*gridding;
};
--The mouse track defines the cut vector. Let's define the "spine" of a wire as the centerline, roughly in the middle (lambda) and following the visible length, i.e. the longer edge, not the CD length. Then we cut the wire at the position where the spine meets the cut vector. The cut always reduces the visible length of the wire. (Pff, not easy to describe without drawing!)
--A vertical wire freshly drawn has even (0) orientation.
cutPos: CD.Position;
L1, L2, W1, W2: CD.Number;
wireLeft, wireRight: CD.Object;
inter: CD.Position; -- the intersection of the two lines, if any, and the center of the wire
oldRect: CD.Rect ← CDInstances.InstRectI[inst]; -- the bounding box
oldSize: CD.Position ← CDBasics.SizeOfRect[oldRect];
vertical: BOOL ← oldSize.y > oldSize.x;
dx: CD.Number ← to.x-from.x; dy: CD.Number ← to.y-from.y;
ctr: CD.Position ← CDBasics.Center[oldRect];
--Test if vector parallel to wire
IF vertical AND (dx=0) OR (NOT vertical) AND (dy=0) THEN RETURN;
--Now we can divide and find the intersection of lines (not yet segments)
gridding ← MAX[1, gridding];
inter ← IF vertical
THEN [ctr.x, (from.y+(dy*(ctr.x-from.x)/dx))/gridding*gridding]
ELSE [(dx*(ctr.y-from.y)/dy+from.x)/gridding*gridding, ctr.y];
--Monier-Sindhu theorem: if inter is in cursorBox and in oldRect, then it is the intersection of segments
IF NOT (CDBasics.InsidePos[inter, CDBasics.ToRect[from, to]] AND CDBasics.InsidePos[inter, CDBasics.Extend[oldRect, -1]]) THEN RETURN;
cutPos ← IF vertical THEN [oldRect.x1, inter.y] ELSE [inter.x, oldRect.y1];
IF vertical THEN {
L1 ← cutPos.y - oldRect.y1;
L2 ← oldSize.y - L1;
W1 ← W2 ← oldSize.x;
}
ELSE {
L1 ← L2 ← oldSize.y;
W1 ← cutPos.x - oldRect.x1;
W2 ← oldSize.x - W1;
};
wireLeft ← CDRects.CreateRect[CDBasics.OrientedSize[[W1, L1], inst.trans.orient], inst.ob.layer];
wireRight ← CDRects.CreateRect[CDBasics.OrientedSize[[W2, L2], inst.trans.orient], inst.ob.layer];
IF CDBasics.IncludesOddRot90[inst.trans.orient] THEN {
CDOps.IncludeInstance[design,
CDInstances.NewInst[wireLeft,
[CDBasics.AddPoints[CDBasics.BaseOfRect[oldRect], [CD.InterestSize[wireLeft].y, 0]], rotate90],
CDProperties.DCopyProps[inst.properties],
TRUE],
FALSE];
CDOps.IncludeInstance[design,
CDInstances.NewInst[wireRight,
[CDBasics.AddPoints[cutPos, [CD.InterestSize[wireRight].y, 0]], rotate90],
CDProperties.DCopyProps[inst.properties],
TRUE],
FALSE];
}
ELSE {
CDOps.IncludeInstance[design, CDInstances.NewInst[wireLeft, [CDBasics.BaseOfRect[oldRect], original], CDProperties.DCopyProps[inst.properties], TRUE], FALSE];
CDOps.IncludeInstance[design, CDInstances.NewInst[wireRight, [cutPos, original], CDProperties.DCopyProps[inst.properties], TRUE], FALSE];
};
CDOps.RemoveInstance[design, inst];
};
CutWireComm: PROC [comm: CDSequencer.Command] = {
GetGrid: PROC [comm: CDSequencer.Command] RETURNS [g: CD.Number𡤀] = {
--figures out grid used for a particular design or viewer
v: ViewerClasses.Viewer ← CDViewer.GetViewer[comm];
IF v#NIL THEN {
WITH ViewerOps.GetViewer[v, $Grid] SELECT FROM
ri: REF INT => g ← ri^;
ENDCASE => NULL;
};
IF g<=0 THEN g ← comm.design.technology.lambda;
};
DoAllCuts: PROC [design: CD.Design, from, to: CD.Position, gridding: CD.Number ← 1] = {
FOR list: CD.InstanceList ← CDOps.InstList[design], list.rest WHILE list#NIL DO
IF list.first.selected AND list.first.ob.class.wireTyped THEN
CutInstance[design, list.first, from, to, gridding];
ENDLOOP;
};
grid: CD.Number ← GetGrid[comm];
TerminalIO.PutRopes["cut selected with grid ", CDOps.LambdaRope[grid, comm.design.technology.lambda], "\n"];
DoAllCuts[design: comm.design, from: comm.sPos, to: comm.pos, gridding: grid]
};
--stretchy moves
StretchyMoveSelected: PROC [design: CD.Design, offset: CD.Position] = {
selIL, otherIL: CD.InstanceList ← NIL;
[selIL, otherIL] ← CDInstances.SplitSelected[CDOps.InstList[design]];
StretchyMove[design, offset, selIL, otherIL]
};
Primality: TYPE = {primary, secondary};
if a wire is fiddled primary:
its area might be stretched in direction of wire length
its area might be moved in direction of wire width
if a wire is fiddled secondary:
its area might be stretched in direction of wire length
StretchList: TYPE = LIST OF StretchRef;
StretchRef: TYPE = REF StretchRec;
StretchRec: TYPE = RECORD [
inst: CD.Instance,
conductRect: CD.Rect, -- hint only
near: BOOLFALSE, -- match at small edge of conductRect
far: BOOLFALSE, -- match at large edge of conductRect
horizontal: BOOLFALSE
];
StretchyMove: PROC[design: CD.Design, offset: CD.Position, selIL, otherIL: CD.InstanceList] = {
primInsts: CD.InstanceList ← NIL;
primList, secondList, nonPrimList: StretchList ← NIL;
rect: CD.Rect ← CDInstances.BoundingRectO[selIL];
FOR l: CD.InstanceList ← otherIL, l.rest WHILE l#NIL DO
IF WireTyped[l.first.ob] THEN {
me: StretchRef ← NEW[StretchRec←[
inst: l.first,
conductRect: CDInstances.InstRectI[l.first],
near: FALSE,
far: FALSE,
horizontal: CDBasics.IncludesOddRot90[l.first.trans.orient] -- y dir is length !
]];
IF CDBasics.Intersect[rect, me.conductRect] AND HasMatch[me, selIL, primary] THEN {
primList ← CONS[me, primList];
primInsts ← CONS[me.inst, primInsts]
}
ELSE nonPrimList ← CONS[me, nonPrimList]
};
ENDLOOP;
FOR l: StretchList ← nonPrimList, l.rest WHILE l#NIL DO
IF HasMatch[l.first, primInsts, secondary] THEN secondList ← CONS[l.first, secondList]
ENDLOOP;
FOR l: StretchList ← secondList, l.rest WHILE l#NIL DO
FiddleWire[design, l.first, offset, secondary]
ENDLOOP;
FOR l: StretchList ← primList, l.rest WHILE l#NIL DO
FiddleWire[design, l.first, offset, primary]
ENDLOOP;
FOR l: CD.InstanceList ← selIL, l.rest WHILE l#NIL DO
MoveInst[design, l.first, offset]
ENDLOOP;
};
FiddleWire: PROC [design: CD.Design, segment: StretchRef, offset: CD.Position, class: Primality] = {
ChangeWireLength: PROC [inst: CD.Instance, amount: CD.Number] = {
sz: CD.Position = CD.InterestSize[inst.ob];
newOb: CD.Object ← CDRects.CreateRect[CD.Position[x: sz.x, y: sz.y+amount], inst.ob.layer];
IF newOb#NIL THEN inst.ob ← newOb
};
r: CD.Rect ← segment.conductRect;
stretch: CD.Number ← (IF segment.horizontal THEN offset.x ELSE offset.y);
move: CD.Position ← (IF class=primary THEN offset ELSE [0, 0]); --of conductRect, not inst
IF segment.horizontal THEN move.x ← 0 ELSE move.y ← 0;
IF ~segment.near AND ~segment.far THEN RETURN;
CDOps.RedrawInstance[design, segment.inst];
IF segment.near THEN {
ChangeWireLength[segment.inst, -stretch];
IF segment.horizontal THEN r.x1 ← r.x1+stretch ELSE r.y1 ← r.y1+stretch
};
IF segment.far THEN {
ChangeWireLength[segment.inst, stretch];
IF segment.horizontal THEN r.x2 ← r.x2+stretch ELSE r.y2 ← r.y2+stretch
};
r ← CDBasics.MoveRect[r, move];
segment.inst.trans ← CDOps.FitObjectI[segment.inst.ob, CDBasics.BaseOfRect[r], segment.inst.trans.orient];
CDOps.RedrawInstance[design, segment.inst, FALSE];
};
HasMatch: PROC [me: StretchRef, list: CD.InstanceList, prim: Primality] RETURNS [BOOL] = {
-- checks weather me has some match with any of list
-- list:
near, far: BOOL;
nearEdge, farEdge: CD.Rect;
nearEdge ← farEdge ← me.conductRect; -- edges at near or far end of wire, parallel to width
IF me.horizontal THEN {
farEdge.x1 ← me.conductRect.x2;
nearEdge.x2 ← me.conductRect.x1;
}
ELSE {
farEdge.y1 ← me.conductRect.y2;
nearEdge.y2 ← me.conductRect.y1;
};
FOR l: CD.InstanceList ← list, l.rest WHILE l#NIL DO
r: CD.Rect = CDInstances.InstRectI[l.first];
near ← CDBasics.Intersect[nearEdge, r];
far ← CDBasics.Intersect[farEdge, r];
IF near OR far THEN {
SELECT TRUE FROM
l.first.ob.class.symbolic => near ← far ← FALSE;
WireTyped[l.first.ob] => {
IF l.first.ob.layer#me.inst.ob.layer THEN near ← far ← FALSE
ELSE IF prim#primary THEN
IF me.horizontal=CDBasics.IncludesOddRot90[l.first.trans.orient] THEN
near ← far ← FALSE
};
CDStretchyBackdoor.HasMatchProc[l.first.ob] => {
IF ~CDStretchyBackdoor.Match[l.first.ob, me.conductRect, me.inst.ob.layer, prim=primary, me.horizontal] THEN near ← far ← FALSE
};
l.first.ob.class.composed => NULL;
l.first.ob.layer=me.inst.ob.layer => NULL;
ENDCASE => near ← far ← FALSE;
me.near ← me.near OR near;
me.far ← me.far OR far;
};
ENDLOOP;
RETURN [me.near OR me.far]
};
MoveInst: PROC [design: CD.Design, inst: CD.Instance, offset: CD.Position] = {
CDOps.RedrawInstance[design, inst];
inst.trans.off ← CDBasics.AddPoints[inst.trans.off, offset];
CDOps.RedrawInstance[design, inst, FALSE];
};
StretchyMoveSCommand: PROC [comm: CDSequencer.Command] = {
TerminalIO.PutRope["move selected stretchy\n"];
StretchyMoveSelected[design: comm.design, offset: CD.Position[comm.pos.x-comm.sPos.x, comm.pos.y-comm.sPos.y]]
};
StretchyMoveStepUpS: PROC [comm: CDSequencer.Command] = {
TerminalIO.PutRope["stretchy move selected step up\n"];
StretchyMoveSelected[comm.design, CD.Position[0, StepValue[comm.design]]]
};
StretchyMoveStepDownS: PROC [comm: CDSequencer.Command] = {
TerminalIO.PutRope["stretchy move selected step down\n"];
StretchyMoveSelected[comm.design, CD.Position[0, -StepValue[comm.design]]]
};
StretchyMoveStepLeftS: PROC [comm: CDSequencer.Command] = {
TerminalIO.PutRope["stretchy move step left\n"];
StretchyMoveSelected[comm.design, CD.Position[-StepValue[comm.design], 0]]
};
StretchyMoveStepRightS: PROC [comm: CDSequencer.Command] = {
TerminalIO.PutRope["stretchy move step right\n"];
StretchyMoveSelected[comm.design, CD.Position[StepValue[comm.design], 0]]
};
--stretches
CDSequencer.ImplementCommand[$StretchS, StretchCommand];
CDSequencer.ImplementCommand[$StretchStepLeftS, StretchStepLeftCommandS];
CDSequencer.ImplementCommand[$StretchStepRightS, StretchStepRightCommandS];
CDSequencer.ImplementCommand[$StretchStepUpS, StretchStepUpCommandS];
CDSequencer.ImplementCommand[$StretchStepDownS, StretchStepDownCommandS];
--cut wires
CDSequencer.ImplementCommand[$CutWireS, CutWireComm];
--stretchy moves
CDSequencer.ImplementCommand[$StretchyMoveS, StretchyMoveSCommand];
CDSequencer.ImplementCommand[$StretchyMoveStepUpS, StretchyMoveStepUpS];
CDSequencer.ImplementCommand[$StretchyMoveStepDownS, StretchyMoveStepDownS];
CDSequencer.ImplementCommand[$StretchyMoveStepLeftS, StretchyMoveStepLeftS];
CDSequencer.ImplementCommand[$StretchyMoveStepRightS, StretchyMoveStepRightS];
END.