DIRECTORY 
AMBridge, AMModelBridge, AMTypes, 
CD, CDBasics, CDDirectory, CDProperties, CDRects, CDTexts, 
Core, CoreOps, 
CoreGeometry, 
Interpreter, IO, 
PrincOpsUtils, PW, Rope, 
Sinix, Sisyph, WireIcons;

WireIconsImpl: CEDAR PROGRAM
IMPORTS AMBridge, AMModelBridge, CD, CDBasics, CDDirectory, CDProperties, CDRects, CDTexts, CoreOps, CoreGeometry, Interpreter, IO, PrincOpsUtils, PW, Rope, Sinix, Sisyph
EXPORTS WireIcons
SHARES Sisyph = BEGIN OPEN WireIcons;
font: CDTexts.CDFont _ CDTexts.MakeFont["Xerox/TiogaFonts/Helvetica8", 4];

PutPin: PROC [wire: Wire, obj: CD.Object, size, pos: CD.Position] = {
pin: CD.Instance = PW.IncludeInCell[obj, CDRects.CreateRect[size, CD.commentLayer], pos];
CoreGeometry.PutPin[Sisyph.mode.decoration, wire, pin];
};

EvaluateParameters: PUBLIC PROC [userData: REF, obj: CD.Object, properties: CD.PropList] RETURNS [cx: Sisyph.Context] = {
resultRope: ROPE;
[cx, resultRope] _ Sisyph.EvaluateParameters[userData, obj, properties];
IF resultRope#NIL THEN ERROR;
};

EvalNat: PROC [cx: Sisyph.Context, expr: ROPE] RETURNS [nat: NAT] = {
result: AMTypes.TV;
errorRope: ROPE;
noResult: BOOL;
refInt: REF INT;
TRUSTED {[result, errorRope, noResult] _ Interpreter.Evaluate[
rope: expr, 
context: AMModelBridge.ContextForFrame[
AMBridge.TVForFrame[PrincOpsUtils.GetReturnFrame[]]
], 
symTab: cx
]};
IF errorRope#NIL THEN SIGNAL Sisyph.InterpreterError[cx, expr, errorRope];
TRUSTED {refInt _ NARROW [AMBridge.SomeRefFromTV[result]]};
RETURN [NAT [refInt^]];
};
MakeComposer: PUBLIC PROC [design: CD.Design, size: NAT] RETURNS [wire: Wire, obj: CD.Object] = {
l: INT = design.technology.lambda;
increment: INT _ SELECT TRUE FROM
size<4 => 8, size<6 => 6, size<8  => 4, size<16 => 2, size<32 => 2, ENDCASE => 1;
wire _ CoreOps.CreateWires[size: size];
obj _ PW.CreateEmptyCell[];
 [] _ PW.IncludeInCell[obj, CDRects.CreateRect[[increment*(size-1)*l+7*l/2, 7*l/2], CD.commentLayer], [0, l/2]];
PutPin[wire, obj, [l/2, l/2], [increment*(size-1)*l/2+2*l, 4*l]];
FOR i: NAT IN [0 .. size) DO
wire[i] _ CoreOps.CreateWire[];
PutPin[wire[i], obj, [l/2, l/2], [increment*i*l+2*l, 0]];
ENDLOOP;
[] _ PW.IncludeInCell[obj, CDRects.CreateRect[[l, l/2], CD.commentLayer], [3*l/2, 0]];
CDProperties.PutObjectProp[obj, $ComposerSize, NEW [INT _ size]];
CDProperties.PutObjectProp[obj, Sisyph.mode.extractProcProp, $WireIconsExtractComposer];
PW.RepositionCell[obj];
CDCells.SetSimplificationTreshhold[obj, 10.0];
};

Composer: PW.UserProc = {
name: ROPE;
int: INT _ PW.RequestInt["Size of the composer? "];
IF int<1 THEN RETURN;
name _ IO.PutFR["::Composer[%g].icon", IO.int[int]];
ob _ CDDirectory.Fetch[design, name].object;
IF ob=NIL THEN {
ob _ MakeComposer[design, NAT [int]].obj;
[] _ CDDirectory.Include[design, ob, name];
};
};

ExtractComposer: Sinix.ExtractProc = {
cx: Sisyph.Context = NARROW [userData];
refNat: REF INT _ NARROW [CDProperties.GetObjectProp[obj, $ComposerSize]];
size: NAT _ NAT [refNat^];
result _ MakeComposer[Sisyph.GetDesign[cx], size].wire;
};
MakeSlash: PROC [design: CD.Design] RETURNS [obj: CD.Object] = {
l: INT = design.technology.lambda;
obj _ PW.CreateEmptyCell[];
FOR i: INT IN [0 .. 2*l+l/4) DO
[] _ PW.IncludeInCell[obj, CDRects.CreateRect[[l/4, l/4], CD.commentLayer], [i, 2*i]];
ENDLOOP;
PW.RepositionCell[obj];
CDCells.SetSimplificationTreshhold[obj, 10.0];
};
 
MakeBus: PUBLIC PROC [design: CD.Design, size: NAT, slash: CD.Object _ NIL] RETURNS [wire: Wire, obj: CD.Object] = {
l: INT = design.technology.lambda;
wire _ CoreOps.CreateWires[size: size];
obj _ PW.CreateEmptyCell[];
IF slash#NIL THEN [] _ PW.IncludeInCell[obj, slash, [l-l/4, 0]];
PutPin[wire, obj, [9*l/2, l/2], [0, 2*l]];
FOR i: NAT IN [0 .. size) DO
wire[i] _ CoreOps.CreateWire[];
ENDLOOP;
[] _ PW.IncludeInCell[obj, CDTexts.CreateText[IO.PutR1[IO.int[size]], font], [6*l/4, -13*l/4]];
CDProperties.PutObjectProp[obj, $BusSize, NEW [INT _ size]];
CDProperties.PutObjectProp[obj, Sisyph.mode.extractProcProp, $WireIconsExtractBus];
PW.SetInterestRect[obj, [9*l/2, 9*l/2]];
PW.RepositionCell[obj];
CDCells.SetSimplificationTreshhold[obj, 10.0];
};

Bus: PW.UserProc = {
slash: CD.Object;
int: INT _ PW.RequestInt["Size of the bus? "];
IF int<1 THEN RETURN;
slash _ CDDirectory.Fetch[design, "::SlashForBusIcon"].object;
IF slash=NIL THEN {
slash _ MakeSlash[design];
[] _ CDDirectory.Include[design, slash, "::SlashForBusIcon"];
};
ob _ MakeBus[design, NAT [int], slash].obj;
[] _ CDDirectory.Include[design, ob];
};

ExtractBus: Sinix.ExtractProc = {
cx: Sisyph.Context = NARROW [userData];
refNat: REF INT _ NARROW [CDProperties.GetObjectProp[obj, $BusSize]];
size: NAT _ NAT [refNat^];
result _ MakeBus[Sisyph.GetDesign[cx], size].wire;
};
MakeExtractor: PUBLIC PROC [design: CD.Design, index, size: NAT] RETURNS [wire: Wire, obj: CD.Object] = {
l: INT = design.technology.lambda;
wire _ CoreOps.CreateWires[size: size];
FOR i: NAT IN [0 .. size) DO wire[i] _ CoreOps.CreateWire[] ENDLOOP;
obj _ PW.CreateEmptyCell[];
PutPin[wire, obj, [9*l/2, l/2], [0, 2*l]];
PutPin[wire[index], obj, [l/2, 3*l/2], [2*l, 0]];
[] _ PW.IncludeInCell[obj, CDRects.CreateRect[[3*l/2, l/8], CD.commentLayer], [l, 3*l/2]];
[] _ PW.IncludeInCell[obj, CDRects.CreateRect[[3*l/2, l/8], CD.commentLayer], [l, 3*l]];
[] _ PW.IncludeInCell[obj, CDRects.CreateRect[[l/8, 3*l/2], CD.commentLayer], [l, 3*l/2]];
[] _ PW.IncludeInCell[obj, CDRects.CreateRect[[l/8, 3*l/2], CD.commentLayer], [19*l/8, 13*l/8]];
[] _ PW.IncludeInCell[obj, CDTexts.CreateText[IO.PutR1[IO.int[index]], font], [9*l/4, -13*l/4]];
[] _ PW.IncludeInCell[obj, CDTexts.CreateText[IO.PutR1[IO.int[size]], font], [9*l/4, 5*l/4]];
CDProperties.PutObjectProp[obj, $ExtractorIndex, NEW [INT _ index]];
CDProperties.PutObjectProp[obj, $ExtractorSize, NEW [INT _ size]];
CDProperties.PutObjectProp[obj, Sisyph.mode.extractProcProp, $WireIconsExtractExtractor];
PW.SetInterestRect[obj, [9*l/2, 7*l/2]];
PW.RepositionCell[obj];
CDCells.SetSimplificationTreshhold[obj, 10.0];
};

Extractor: PW.UserProc = {
int: INT _ PW.RequestInt["Index of the extracted wire? "];
int2: INT _ PW.RequestInt["Size of the structured wire? "];
IF int<0 OR int2<1 OR int>=int2 THEN RETURN;
ob _ MakeExtractor[design, NAT [int], NAT [int2]].obj;
[] _ CDDirectory.Include[design, ob];
};

ExtractExtractor: Sinix.ExtractProc = {
cx: Sisyph.Context = NARROW [userData];
refNat: REF INT _ NARROW [CDProperties.GetObjectProp[obj, $ExtractorIndex]];
refNat2: REF INT _ NARROW [CDProperties.GetObjectProp[obj, $ExtractorSize]];
index: NAT _ NAT [refNat^];
size: NAT _ NAT [refNat2^];
result _ MakeExtractor[Sisyph.GetDesign[cx], index, size].wire;
};
MakeRangeExtractor: PUBLIC PROC [design: CD.Design, index, subSize, size: NAT] RETURNS [wires: Wires, obj: CD.Object] = {
l: INT = design.technology.lambda;
structWire: Wire _ CoreOps.CreateWires[size: size];
subWire: Wire _ CoreOps.CreateWires[size: subSize];
wires _ LIST [subWire, structWire];
FOR i: NAT IN [0 .. size) DO structWire[i] _ CoreOps.CreateWire[] ENDLOOP;
FOR i: NAT IN [0 .. subSize) DO subWire[i] _ structWire[i+index] ENDLOOP;
obj _ PW.CreateEmptyCell[];
PutPin[structWire, obj, [19*l/2, l/2], [0, 2*l]];
[] _ PW.IncludeInCell[obj, CDRects.CreateRect[[l/2, 3*l/2], CD.commentLayer], [5*l/2, 0]];
PutPin[subWire, obj, [l/2, 3*l/2], [3*l, 0]];
[] _ PW.IncludeInCell[obj, CDRects.CreateRect[[5*l/2, l/8], CD.commentLayer], [l, 3*l/2]];
[] _ PW.IncludeInCell[obj, CDRects.CreateRect[[5*l/2, l/8], CD.commentLayer], [l, 3*l]];
[] _ PW.IncludeInCell[obj, CDRects.CreateRect[[l/8, 3*l/2], CD.commentLayer], [l, 3*l/2]];
[] _ PW.IncludeInCell[obj, CDRects.CreateRect[[l/8, 3*l/2], CD.commentLayer], [27*l/8, 13*l/8]];
[] _ PW.IncludeInCell[obj, CDTexts.CreateText[IO.PutFR["%g/%g", IO.int[index], IO.int[subSize]], font], [13*l/4, -13*l/4]];
[] _ PW.IncludeInCell[obj, CDTexts.CreateText[IO.PutR1[IO.int[size]], font], [13*l/4, 5*l/4]];
CDProperties.PutObjectProp[obj, $ExtractorIndex, NEW [INT _ index]];
CDProperties.PutObjectProp[obj, $ExtractorSubSize, NEW [INT _ subSize]];
CDProperties.PutObjectProp[obj, $ExtractorSize, NEW [INT _ size]];
CDProperties.PutObjectProp[obj, Sisyph.mode.extractProcProp, $WireIconsExtractRangeExtractor];
PW.SetInterestRect[obj, [19*l/2, 7*l/2]];
PW.RepositionCell[obj];
CDCells.SetSimplificationTreshhold[obj, 10.0];
};

RangeExtractor: PW.UserProc = {
int: INT _ PW.RequestInt["Index of the extracted wire? "];
int2: INT _ PW.RequestInt["Size of the extracted wire? "];
int3: INT _ PW.RequestInt["Size of the structured wire? "];
IF int<0 OR int2<1 OR int3<1 OR int>=int3 OR int+int2>int3 THEN RETURN;
ob _ MakeRangeExtractor[design, NAT [int], NAT [int2], NAT [int3]].obj;
[] _ CDDirectory.Include[design, ob];
};

ExtractRangeExtractor: Sinix.ExtractProc = {
cx: Sisyph.Context = NARROW [userData];
refNat: REF INT _ NARROW [CDProperties.GetObjectProp[obj, $ExtractorIndex]];
refNat2: REF INT _ NARROW [CDProperties.GetObjectProp[obj, $ExtractorSubSize]];
refNat3: REF INT _ NARROW [CDProperties.GetObjectProp[obj, $ExtractorSize]];
index: NAT _ NAT [refNat^];
subSize: NAT _ NAT [refNat2^];
size: NAT _ NAT [refNat3^];
result _ MakeRangeExtractor[Sisyph.GetDesign[cx], index, subSize, size].wires;
};
ParametrizedBus: PW.UserProc = {
l: INT = design.technology.lambda;
slash: CD.Object _ CDDirectory.Fetch[design, "::SlashForBusIcon"].object;
sizeRope: ROPE _ PW.RequestRope["Size of the parametrized bus? "];
IF slash=NIL THEN {
slash _ MakeSlash[design];
[] _ CDDirectory.Include[design, slash, "::SlashForBusIcon"];
};
ob _ PW.CreateEmptyCell[];
[] _ PW.IncludeInCell[ob, slash, [l-l/4, 0]];
PutPin[CoreOps.CreateWire[], ob, [9*l/2, l/2], [0, 2*l]]; -- throw away wire!
[] _ PW.IncludeInCell[ob, CDTexts.CreateText[sizeRope, font], [6*l/4, -13*l/4]];
CDProperties.PutObjectProp[ob, $BusSize, sizeRope];
CDProperties.PutObjectProp[ob, Sisyph.mode.extractProcProp, $WireIconsExtractParametrizedBus];
PW.SetInterestRect[ob, [9*l/2, 9*l/2]];
PW.RepositionCell[ob];
CDCells.SetSimplificationTreshhold[ob, 10.0];
[] _ CDDirectory.Include[design, ob];
};

ExtractParametrizedBus: Sinix.ExtractProc = {
cx: Sisyph.Context _ EvaluateParameters[userData, obj, properties];
design: CD.Design _ Sisyph.GetDesign[cx];
slash: CD.Object _ CDDirectory.Fetch[design, "::SlashForBusIcon"].object;
l: INT = design.technology.lambda;
sizeRope: ROPE _ NARROW [CDProperties.GetObjectProp[obj, $BusSize]];
size: NAT _ EvalNat[cx, sizeRope];
wire: Wire;
ob: CD.Object _ PW.CreateEmptyCell[]; -- we need this because of repositionment!!!
IF size<1 THEN ERROR;
IF slash=NIL THEN slash _ MakeSlash[design];
wire _ CoreOps.CreateWires[size: size];
[] _ PW.IncludeInCell[ob, slash, [l-l/4, 0]];
PutPin[wire, ob, [9*l/2, l/2], [0, 2*l]]; -- new object thrown away!
[] _ PW.IncludeInCell[ob, CDTexts.CreateText[sizeRope, font], [6*l/4, -13*l/4]];
PW.SetInterestRect[ob, [9*l/2, 9*l/2]];
PW.RepositionCell[ob];
FOR i: NAT IN [0 .. size) DO
wire[i] _ CoreOps.CreateWire[];
ENDLOOP;
result _ wire;
};
ParametrizedExtractor: PW.UserProc = {
l: INT = design.technology.lambda;
indexRope: ROPE _ PW.RequestRope["Parametrized index of the extracted wire? "];
sizeRope: ROPE _ PW.RequestRope["Size of the parametrized bus? "];
ob _ PW.CreateEmptyCell[];
PutPin[CoreOps.CreateWire[], ob, [9*l/2, l/2], [0, 2*l]];
PutPin[CoreOps.CreateWire[], ob, [l/2, 3*l/2], [2*l, 0]];
[] _ PW.IncludeInCell[ob, CDRects.CreateRect[[3*l/2, l/8], CD.commentLayer], [l, 3*l/2]];
[] _ PW.IncludeInCell[ob, CDRects.CreateRect[[3*l/2, l/8], CD.commentLayer], [l, 3*l]];
[] _ PW.IncludeInCell[ob, CDRects.CreateRect[[l/8, 3*l/2], CD.commentLayer], [l, 3*l/2]];
[] _ PW.IncludeInCell[ob, CDRects.CreateRect[[l/8, 3*l/2], CD.commentLayer], [19*l/8, 13*l/8]];
[] _ PW.IncludeInCell[ob, CDTexts.CreateText[indexRope, font], [9*l/4, -13*l/4]];
[] _ PW.IncludeInCell[ob, CDTexts.CreateText[sizeRope, font], [9*l/4, 5*l/4]];
CDProperties.PutObjectProp[ob, $ExtractorIndex, indexRope];
CDProperties.PutObjectProp[ob, $ExtractorSize, sizeRope];
CDProperties.PutObjectProp[ob, Sisyph.mode.extractProcProp, $WireIconsExtractParametrizedExtractor];
PW.SetInterestRect[ob, [9*l/2, 7*l/2]];
PW.RepositionCell[ob];
CDCells.SetSimplificationTreshhold[ob, 10.0];
[] _ CDDirectory.Include[design, ob];
};

ExtractParametrizedExtractor: Sinix.ExtractProc = {
cx: Sisyph.Context _ EvaluateParameters[userData, obj, properties];
design: CD.Design _ Sisyph.GetDesign[cx];
l: INT = design.technology.lambda;
indexRope: ROPE _ NARROW [CDProperties.GetObjectProp[obj, $ExtractorIndex]];
sizeRope: ROPE _ NARROW [CDProperties.GetObjectProp[obj, $ExtractorSize]];
index: NAT _ EvalNat[cx, indexRope];
size: NAT _ EvalNat[cx, sizeRope];
wire: Wire;
ob: CD.Object _ PW.CreateEmptyCell[]; -- we need this because of repositionment!!!
IF index<0 OR size<1 OR index>=size THEN ERROR;
wire _ CoreOps.CreateWires[size: size];
FOR i: NAT IN [0 .. size) DO wire[i] _ CoreOps.CreateWire[] ENDLOOP;
PutPin[wire, ob, [9*l/2, l/2], [0, 2*l]];
PutPin[wire[index], ob, [l/2, 3*l/2], [2*l, 0]];
[] _ PW.IncludeInCell[ob, CDRects.CreateRect[[3*l/2, l/8], CD.commentLayer], [l, 3*l/2]];
[] _ PW.IncludeInCell[ob, CDRects.CreateRect[[3*l/2, l/8], CD.commentLayer], [l, 3*l]];
[] _ PW.IncludeInCell[ob, CDRects.CreateRect[[l/8, 3*l/2], CD.commentLayer], [l, 3*l/2]];
[] _ PW.IncludeInCell[ob, CDRects.CreateRect[[l/8, 3*l/2], CD.commentLayer], [19*l/8, 13*l/8]];
[] _ PW.IncludeInCell[ob, CDTexts.CreateText[indexRope, font], [9*l/4, -13*l/4]];
[] _ PW.IncludeInCell[ob, CDTexts.CreateText[sizeRope, font], [9*l/4, 5*l/4]];
PW.SetInterestRect[ob, [9*l/2, 7*l/2]];
PW.RepositionCell[ob];
result _ wire;
};
ParametrizedRangeExtractor: PW.UserProc = {
l: INT = design.technology.lambda;
indexRope: ROPE _ PW.RequestRope["Parametrized index of the extracted wire? "];
subSizeRope: ROPE _ PW.RequestRope["Size of the parametrized sub wire? "];
sizeRope: ROPE _ PW.RequestRope["Size of the parametrized bus? "];
ob _ PW.CreateEmptyCell[];
PutPin[CoreOps.CreateWire[], ob, [19*l/2, l/2], [0, 2*l]];
[] _ PW.IncludeInCell[ob, CDRects.CreateRect[[l/2, 3*l/2], CD.commentLayer], [5*l/2, 0]];
PutPin[CoreOps.CreateWire[], ob, [l/2, 3*l/2], [3*l, 0]];
[] _ PW.IncludeInCell[ob, CDRects.CreateRect[[5*l/2, l/8], CD.commentLayer], [l, 3*l/2]];
[] _ PW.IncludeInCell[ob, CDRects.CreateRect[[5*l/2, l/8], CD.commentLayer], [l, 3*l]];
[] _ PW.IncludeInCell[ob, CDRects.CreateRect[[l/8, 3*l/2], CD.commentLayer], [l, 3*l/2]];
[] _ PW.IncludeInCell[ob, CDRects.CreateRect[[l/8, 3*l/2], CD.commentLayer], [27*l/8, 13*l/8]];
[] _ PW.IncludeInCell[ob, CDTexts.CreateText[IO.PutFR["%g/%g", IO.rope[indexRope], IO.rope[subSizeRope]], font], [13*l/4, -13*l/4]];
[] _ PW.IncludeInCell[ob, CDTexts.CreateText[sizeRope, font], [13*l/4, 5*l/4]];
CDProperties.PutObjectProp[ob, $ExtractorIndex, indexRope];
CDProperties.PutObjectProp[ob, $ExtractorSubSize, subSizeRope];
CDProperties.PutObjectProp[ob, $ExtractorSize, sizeRope];
CDProperties.PutObjectProp[ob, Sisyph.mode.extractProcProp, $WireIconsExtractParametrizedRangeExtractor];
PW.SetInterestRect[ob, [19*l/2, 7*l/2]];
PW.RepositionCell[ob];
CDCells.SetSimplificationTreshhold[ob, 10.0];
[] _ CDDirectory.Include[design, ob];
};

ExtractParametrizedRangeExtractor: Sinix.ExtractProc = {
cx: Sisyph.Context _ EvaluateParameters[userData, obj, properties];
design: CD.Design _ Sisyph.GetDesign[cx];
l: INT = design.technology.lambda;
indexRope: ROPE _ NARROW [CDProperties.GetObjectProp[obj, $ExtractorIndex]];
subSizeRope: ROPE _ NARROW [CDProperties.GetObjectProp[obj, $ExtractorSubSize]];
sizeRope: ROPE _ NARROW [CDProperties.GetObjectProp[obj, $ExtractorSize]];
index: NAT _ EvalNat[cx, indexRope];
subSize: NAT _ EvalNat[cx, subSizeRope];
size: NAT _ EvalNat[cx, sizeRope];
wire, subWire: Wire;
wires: Wires;
ob: CD.Object _ PW.CreateEmptyCell[]; -- we need this because of repositionment!!!
IF index<0 OR subSize<1 OR size<1 OR index>=size OR index+subSize>size THEN RETURN;
wire _ CoreOps.CreateWires[size: size];
subWire _ CoreOps.CreateWires[size: subSize];
FOR i: NAT IN [0 .. size) DO wire[i] _ CoreOps.CreateWire[] ENDLOOP;
FOR i: NAT IN [0 .. subSize) DO subWire[i] _ wire[i+index] ENDLOOP;
PutPin[wire, ob, [19*l/2, l/2], [0, 2*l]];
PutPin[subWire, obj, [l/2, 3*l/2], [3*l, 0]];
[] _ PW.IncludeInCell[ob, CDRects.CreateRect[[5*l/2, l/8], CD.commentLayer], [l, 3*l/2]];
[] _ PW.IncludeInCell[ob, CDRects.CreateRect[[5*l/2, l/8], CD.commentLayer], [l, 3*l]];
[] _ PW.IncludeInCell[ob, CDRects.CreateRect[[l/8, 3*l/2], CD.commentLayer], [l, 3*l/2]];
[] _ PW.IncludeInCell[ob, CDRects.CreateRect[[l/8, 3*l/2], CD.commentLayer], [27*l/8, 13*l/8]];
[] _ PW.IncludeInCell[ob, CDTexts.CreateText[IO.PutFR["%g/%g", IO.rope[indexRope], IO.rope[subSizeRope]], font], [13*l/4, -13*l/4]];
[] _ PW.IncludeInCell[ob, CDTexts.CreateText[sizeRope, font], [13*l/4, 5*l/4]];
PW.SetInterestRect[ob, [9*l/2, 7*l/2]];
PW.RepositionCell[ob];
wires _ LIST [subWire, wire];
result _ wires;
};
Convert: PROC [design: CD.Design] = {
EachObj: CDDirectory.EachEntryAction = {
SELECT TRUE FROM
Rope.Match[":Composer[*].icon", name]	=> {
refNat: REF INT _ NARROW [CDProperties.GetObjectProp[ob, $ComposerSize]];
size: NAT _ NAT [refNat^];
new: CD.Object = MakeComposer[design, size].obj;
off: CD.Position = CDBasics.SubPoints[CDBasics.BaseOfRect[CD.InterestRect[ob]], CDBasics.BaseOfRect[CD.InterestRect[new]]];
CDDirectory.ReplaceObject[design, ob, new, off];
};
Rope.Match[":Bus[*].icon", name]	=> {
refNat: REF INT _ NARROW [CDProperties.GetObjectProp[ob, $BusSize]];
size: NAT _ NAT [refNat^];
new: CD.Object = MakeBus[design, size].obj;
off: CD.Position = CDBasics.SubPoints[CDBasics.BaseOfRect[CD.InterestRect[ob]], CDBasics.BaseOfRect[CD.InterestRect[new]]];
CDDirectory.ReplaceObject[design, ob, new, off];
};
Rope.Match[":Extractor[*, *].icon", name]	=> {
refNat: REF INT _ NARROW [CDProperties.GetObjectProp[ob, $ExtractorIndex]];
refNat2: REF INT _ NARROW [CDProperties.GetObjectProp[ob, $ExtractorSize]];
index: NAT _ NAT [refNat^];
size: NAT _ NAT [refNat2^];
new: CD.Object = MakeExtractor[design, index, size].obj;
off: CD.Position = CDBasics.SubPoints[CDBasics.BaseOfRect[CD.InterestRect[ob]], CDBasics.BaseOfRect[CD.InterestRect[new]]];
CDDirectory.ReplaceObject[design, ob, new, off];
};
Rope.Match[":RangeExtractor[*/*, *].icon", name]	=> {
refNat: REF INT _ NARROW [CDProperties.GetObjectProp[ob, $ExtractorIndex]];
refNat2: REF INT _ NARROW [CDProperties.GetObjectProp[ob, $ExtractorSubSize]];
refNat3: REF INT _ NARROW [CDProperties.GetObjectProp[ob, $ExtractorSize]];
index: NAT _ NAT [refNat^];
subSize: NAT _ NAT [refNat2^];
size: NAT _ NAT [refNat3^];
new: CD.Object = MakeRangeExtractor[design, index, subSize, size].obj;
off: CD.Position = CDBasics.SubPoints[CDBasics.BaseOfRect[CD.InterestRect[ob]], CDBasics.BaseOfRect[CD.InterestRect[new]]];
CDDirectory.ReplaceObject[design, ob, new, off];
};
ENDCASE	=> {};
};
[] _ CDDirectory.Enumerate[design, EachObj];
};
PW.Register[Composer, "Composer"];
Sinix.RegisterExtractProc[$WireIconsExtractComposer, ExtractComposer];

PW.Register[Bus, "Bus"];
Sinix.RegisterExtractProc[$WireIconsExtractBus, ExtractBus];

PW.Register[Extractor, "Extractor"];
Sinix.RegisterExtractProc[$WireIconsExtractExtractor, ExtractExtractor];

PW.Register[RangeExtractor, "Range Extractor"];
Sinix.RegisterExtractProc[$WireIconsExtractRangeExtractor, ExtractRangeExtractor];

PW.Register[ParametrizedBus, "Parametrized Bus"];
Sinix.RegisterExtractProc[$WireIconsExtractParametrizedBus, ExtractParametrizedBus];

PW.Register[ParametrizedExtractor, "Parametrized Extractor"];
Sinix.RegisterExtractProc[$WireIconsExtractParametrizedExtractor, ExtractParametrizedExtractor];

PW.Register[ParametrizedRangeExtractor, "Parametrized Range Extractor"];
Sinix.RegisterExtractProc[$WireIconsExtractParametrizedRangeExtractor, ExtractParametrizedRangeExtractor];


END.

^WireIconsImpl.mesa
Copyright c 1986 by Xerox Corporation.  All rights reversed.
Bertrand Serlet December 13, 1986 1:37:57 pm PST

Attention: this code should be simplified once Reposition goes away!!!

Utilities
Composer icon
The big rectangle
The structured wire
The composed wires
The first composed wire
Bus  icon
The slash (if not present, the resulting obj should NOT be used)
The structured wire
The composed wires
The text
Extractor  icon
The composed wires
The structured wire
The extracted wire
The square
The texts
Range Extractor  icon
We create an extra level of hierarchy in the wires to extract things properly
The composed wires
The structured wire
The extracted wire
The rectangle
The texts
Parametrized Bus  icon
The text
The structured wire
The composed wires
Parametrized Extractor  icon
The structured wire
The extracted wire
The square
The texts
The structured wire
The extracted wire
The square
The texts
Parametrized Range Extractor  icon
The structured wire
The extracted wire
The rect
The texts
The structured wire
The extracted wire
The rect
The texts
Compatibility Code
Initialization
ΚA–

"cedar" style˜
codeš
œ™Kšœ
Οm
œ1™<Kš
œ0™0K™—Kš
ΟbF™FK™šΟk	œ
˜
K˜"KšŸœ9˜;Kš
œ˜Kš
œ˜Kšœ
Ÿœ˜KšœŸœ˜Kš
œ˜—K˜•StartOfExpansion[]šΠbn
œŸœ
Ÿ˜KšŸœŸœ]ŸœŸœ˜ͺ
KšŸœ
˜KšŸœ
Ÿœ
Ÿœ˜%—
head™	š
œJ˜JJ˜—šΟnœŸœŸœŸœ˜EJšœŸœŸœ-Ÿœ˜YJš
œ7˜7J˜J˜—š‘œŸœ
ŸœŸœŸœŸœŸœ˜yKšœŸœ
˜Kš
œH˜HKšŸœŸœ
Ÿœ
Ÿœ
˜K˜—J˜š
‘œŸœŸœŸœŸœ˜EKšœŸœ
˜KšœŸœ
˜Kšœ
Ÿœ
˜KšœŸœ
Ÿœ
˜šŸœ7˜>Kš
œ˜š
œ'˜'Kš
œ3˜3Kš
œ˜—Kš
œ
˜
Kš
œ˜—KšŸœŸœ
Ÿœ
Ÿœ.˜JKšŸœŸœ#˜;JšŸœŸœ˜J˜——™
š‘œŸœ
Ÿœ
ŸœŸœŸœŸœ˜aJšΟg
œŸœ˜"šœŸœŸœ
Ÿœ
Ÿ˜!JšœDŸœ˜Q—J˜'JšœŸœ˜Jš
œ™Jš
œŸœ;’
œ’œ’
œŸœ’
œ˜pJš
œ™Jš	œ’
œ’
œ’œ’
œ˜AJš
œ™šŸœŸœ
Ÿœ
Ÿ˜Jš
œ˜Jš	œ’
œ’
œ’
œ’
œ˜9JšŸœ
˜—Jš
œ™JšœŸœ(’
œ’
œŸœ’œ˜VJšœ/ŸœŸœ
˜AJš
œX˜XJšŸœ˜Jš
œ.˜.J˜J˜—š‘œŸœ
˜JšœŸœ
˜JšœŸœŸœ&˜3JšŸœŸœ
Ÿœ
˜JšœŸœŸœ˜4Jš
œ,˜,šŸœŸœ
Ÿœ˜JšœŸœ˜)Jš
œ+˜+J˜—J˜J˜—š‘œ˜&JšœŸœ˜'JšœŸœ
ŸœŸœ2˜JJšœŸœŸœ˜Jšœ’
œ	’
œ’
œ
˜7J˜——™	š
‘	œŸœ
Ÿœ	ŸœŸœ˜@Jš’
œŸœ˜"JšœŸœ˜šŸœŸœ
Ÿœ	’
œ
’
œŸ˜Jš	œŸœ(’
œ’
œŸœ˜VJšŸœ
˜—JšŸœ˜Jš
œ.˜.J˜J˜
—š‘œŸœ
Ÿœ
ŸœŸœ	Ÿœ
ŸœŸœŸœ˜tJš’
œŸœ˜"J˜'JšœŸœ˜Jšœ4Ÿœ	™@JšŸœŸœ
ŸœŸœ’
œ
’
œ˜@Jš
œ™Jšœ’œ’
œ’
œ˜*Jš
œ™šŸœŸœ
Ÿœ
Ÿ˜Jš
œ˜JšŸœ
˜—Jš
œ™JšœŸœ'ŸœŸœ’œ’œ˜_Jšœ*ŸœŸœ
˜<Jš
œS˜SJšŸœ’
œ’
œ’
œ˜(JšŸœ˜Jš
œ.˜.J˜J˜—š‘œŸœ
˜JšœŸœ˜JšœŸœŸœ!˜.JšŸœŸœ
Ÿœ
˜Jš
œ>˜>šŸœŸœ
Ÿœ˜Jš
œ˜Jš
œ=˜=J˜—JšœŸœ˜+Jš
œ%˜%J˜J˜—š‘
œ˜!JšœŸœ˜'JšœŸœ
ŸœŸœ-˜EJšœŸœŸœ˜Jšœ’
œ	’
œ’
œ
˜2J˜——™š‘
œŸœ
Ÿœ
ŸœŸœŸœŸœ˜iJš’
œŸœ˜"J˜'Jš
œ™Jš
ŸœŸœ
Ÿœ
Ÿœ Ÿœ
˜DJšœŸœ˜Jš
œ™Jšœ’œ’
œ’
œ˜*J™Jšœ’œ’
œ’
œ˜1J™
JšœŸœ'’œŸœ’
œ’œ˜ZJšœŸœ'’œŸœ’
œ’
œ˜XJšœŸœ'’œŸœ’
œ’œ˜ZJšœŸœ'’œŸœ’œ’œ˜`Jš
œ	™	JšœŸœ'ŸœŸœ’œ’œ˜`JšœŸœ'ŸœŸœ’
œ’œ˜]Jšœ1ŸœŸœ˜DJšœ0ŸœŸœ
˜BJš
œY˜YJšŸœ’
œ’
œ’
œ˜(JšŸœ˜Jš
œ.˜.J˜J˜—š‘	œŸœ
˜JšœŸœŸœ-˜:JšœŸœŸœ-˜;Jš
ŸœŸœŸœŸœ
Ÿœ
˜,JšœŸœŸœ
˜6Jš
œ%˜%J˜J˜—š‘œ˜'JšœŸœ˜'JšœŸœ
ŸœŸœ4˜LJšœ	Ÿœ
ŸœŸœ3˜LJšœŸœŸœ˜JšœŸœŸœ˜Jšœ’
œ	’
œ’
œ˜?J˜——™š‘œŸœ
Ÿœ
ŸœŸœŸœŸœ˜yJš’
œŸœ˜"Jš
œM™MJ˜3Jš
œ3˜3JšœŸœ˜#Jš
œ™Jš
ŸœŸœ
Ÿœ
Ÿœ&Ÿœ
˜JJš
ŸœŸœ
ŸœŸœ"Ÿœ
˜IJšœŸœ˜Jš
œ™Jšœ’
œ’
œ’
œ˜1J™JšœŸœ'’œŸœ’œ’
œ˜ZJšœ’œ’
œ’
œ˜-J™
JšœŸœ'’œŸœ’
œ’œ˜ZJšœŸœ'’œŸœ’
œ’
œ˜XJšœŸœ'’œŸœ’
œ’œ˜ZJšœŸœ'’œŸœ’œ’œ˜`Jš
œ	™	Jš
œŸœ'ŸœŸœ
Ÿœ’œ’œ˜{JšœŸœ'ŸœŸœ’
œ’œ˜^Jšœ1ŸœŸœ˜DJšœ3ŸœŸœ
˜HJšœ0ŸœŸœ
˜BJš
œ^˜^JšŸœ’
œ’
œ’
œ˜)JšŸœ˜Jš
œ.˜.J˜J˜—š‘œŸœ
˜JšœŸœŸœ-˜:JšœŸœŸœ,˜:JšœŸœŸœ-˜;JšŸœŸœŸœŸœŸœŸœ
Ÿœ
˜GJšœ ŸœŸœ	Ÿœ
˜GJš
œ%˜%J˜J˜—š‘œ˜,JšœŸœ˜'JšœŸœ
ŸœŸœ4˜LJšœ	Ÿœ
ŸœŸœ6˜OJšœ	Ÿœ
ŸœŸœ3˜LJšœŸœŸœ˜Jšœ	ŸœŸœ˜JšœŸœŸœ˜Jšœ"’
œ	’
œ’
œ˜NJ˜——™š‘œŸœ
˜ Jš’
œŸœ˜"JšœŸœ@˜IJšœ
ŸœŸœ/˜BšŸœŸœ
Ÿœ˜Jš
œ˜Jš
œ=˜=J˜—JšœŸœ˜JšœŸœ’
œ
’
œ˜-Jšœ!’œ’
œ’
œΟc˜MJš
œ™JšœŸœ:’œ’œ˜PJš
œ3˜3Jš
œ^˜^JšŸœ’
œ’
œ’
œ˜'JšŸœ˜Jš
œ-˜-Jš
œ%˜%J˜J˜—š‘œ˜-Jš
œC˜CJš	œŸœ’
œ	’
œ’
œ
˜)JšœŸœ@˜IJš’
œŸœ˜"Jšœ
ŸœŸœ-˜DJšœŸœ˜"Jš
œ˜JšœŸœ
Ÿœ£,˜RJšŸœŸœ
Ÿœ
˜JšŸœŸœ
Ÿœ˜,Jš
œ'˜'JšœŸœ’
œ
’
œ˜-Jš
œ™Jšœ’œ’
œ’
œ£˜DJšœŸœ:’œ’œ˜PJšŸœ’
œ’
œ’
œ˜'JšŸœ˜Jš
œ™šŸœŸœ
Ÿœ
Ÿ˜Jš
œ˜JšŸœ
˜—J˜J˜——™š‘œŸœ
˜&Jš’
œŸœ˜"JšœŸœŸœ;˜OJšœ
ŸœŸœ/˜BJšœŸœ˜Jš
œ™Jšœ!’œ’
œ’
œ˜9J™Jšœ!’œ’
œ’
œ˜9J™
JšœŸœ&’œŸœ’
œ’œ˜YJšœŸœ&’œŸœ’
œ’
œ˜WJšœŸœ&’œŸœ’
œ’œ˜YJšœŸœ&’œŸœ’œ’œ˜_Jš
œ	™	JšœŸœ;’œ’œ˜QJšœŸœ:’
œ’œ˜NJš
œ;˜;Jš
œ9˜9Jš
œd˜dJšŸœ’
œ’
œ’
œ˜'JšŸœ˜Jš
œ-˜-Jš
œ%˜%J˜J˜—š‘œ˜3Jš
œC˜CJš	œŸœ’
œ	’
œ’
œ
˜)Jš’
œŸœ˜"JšœŸœŸœ4˜LJšœ
ŸœŸœ3˜JJšœŸœ˜$JšœŸœ˜"Jš
œ˜JšœŸœ
Ÿœ£,˜RJš
Ÿœ	ŸœŸœ
Ÿœ
Ÿœ
˜/Jš
œ'˜'Jš
ŸœŸœ
Ÿœ
Ÿœ Ÿœ
˜DJš
œ™Jšœ’œ’
œ’
œ˜)J™Jšœ’œ’
œ’
œ˜0J™
JšœŸœ&’œŸœ’
œ’œ˜YJšœŸœ&’œŸœ’
œ’
œ˜WJšœŸœ&’œŸœ’
œ’œ˜YJšœŸœ&’œŸœ’œ’œ˜_Jš
œ	™	JšœŸœ;’œ’œ˜QJšœŸœ:’
œ’œ˜NJšŸœ’
œ’
œ’
œ˜'JšŸœ˜J˜J˜——™"š‘œŸœ
˜+Jš’
œŸœ˜"JšœŸœŸœ;˜OJšœ
ŸœŸœ4˜JJšœ
ŸœŸœ/˜BJšœŸœ˜Jš
œ™Jšœ!’
œ’
œ’
œ˜:J™JšœŸœ&’œŸœ’œ’
œ˜YJšœ!’œ’
œ’
œ˜9J™JšœŸœ&’œŸœ’
œ’œ˜YJšœŸœ&’œŸœ’
œ’
œ˜WJšœŸœ&’œŸœ’
œ’œ˜YJšœŸœ&’œŸœ’œ’œ˜_Jš
œ	™	Jš
œŸœ&ŸœŸœŸœ ’œ’œ˜„
JšœŸœ;’
œ’œ˜OJš
œ;˜;Jš
œ?˜?Jš
œ9˜9Jš
œi˜iJšŸœ’
œ’
œ’
œ˜(JšŸœ˜Jš
œ-˜-Jš
œ%˜%J˜J˜—š‘!œ˜8Jš
œC˜CJš	œŸœ’
œ	’
œ’
œ
˜)Jš’
œŸœ˜"JšœŸœŸœ4˜LJšœ
ŸœŸœ6˜PJšœ
ŸœŸœ3˜JJšœŸœ˜$Jšœ	Ÿœ˜(JšœŸœ˜"Jš
œ˜J˜
JšœŸœ
Ÿœ£,˜RJšŸœ	ŸœŸœŸœ
ŸœŸœ
Ÿœ
˜SJš
œ'˜'Jš
œ-˜-Jš
ŸœŸœ
Ÿœ
Ÿœ Ÿœ
˜DJš
ŸœŸœ
ŸœŸœŸœ
˜CJš
œ™Jšœ’
œ’
œ’
œ˜*J™Jšœ’œ’
œ’
œ˜-J™JšœŸœ&’œŸœ’
œ’œ˜YJšœŸœ&’œŸœ’
œ’
œ˜WJšœŸœ&’œŸœ’
œ’œ˜YJšœŸœ&’œŸœ’œ’œ˜_Jš
œ	™	Jš
œŸœ&ŸœŸœŸœ ’œ’œ˜„
JšœŸœ;’
œ’œ˜OJšŸœ’
œ’
œ’
œ˜'JšŸœ˜JšœŸœ˜J˜J˜——™š‘œŸœ
Ÿœ˜%š‘œ!˜(šŸœ
Ÿœ
Ÿ˜š
œ*˜*JšœŸœ
ŸœŸœ1˜IJšœŸœŸœ˜JšœŸœ)˜0JšœŸœ3Ÿœ(Ÿœ˜{Jš
œ0˜0J˜—š
œ%˜%JšœŸœ
ŸœŸœ,˜DJšœŸœŸœ˜JšœŸœ$˜+JšœŸœ3Ÿœ(Ÿœ˜{Jš
œ0˜0J˜—š
œ.˜.JšœŸœ
ŸœŸœ3˜KJšœ	Ÿœ
ŸœŸœ2˜KJšœŸœŸœ˜JšœŸœŸœ˜JšœŸœ1˜8JšœŸœ3Ÿœ(Ÿœ˜{Jš
œ0˜0J˜—š
œ5˜5JšœŸœ
ŸœŸœ3˜KJšœ	Ÿœ
ŸœŸœ5˜NJšœ	Ÿœ
ŸœŸœ2˜KJšœŸœŸœ˜Jšœ	ŸœŸœ˜JšœŸœŸœ˜JšœŸœ?˜FJšœŸœ3Ÿœ(Ÿœ˜{Jš
œ0˜0J˜—JšŸœ˜—J˜—Jš
œ,˜,J˜——™JšŸœ ˜"Kš
œF˜FK˜JšŸœ˜Kš
œ<˜<K˜JšŸœ"˜$Kš
œH˜HK˜JšŸœ-˜/Kš
œR˜RK˜JšŸœ/˜1Kš
œT˜TK˜JšŸœ;˜=Kš
œ`˜`K˜JšŸœF˜HKš
œj˜j—K˜K˜KšŸœ
˜K˜—…—M4hΣ