WireIconExtras.mesa
Created by Don Curry March 26, 1987 1:08:35 am PST
DIRECTORY Core, Sisyph;
WireIconExtras: CEDAR DEFINITIONS
~ BEGIN
ROPE: TYPE = Core.ROPE;
Creating wires using Cedar types as templates:
RecWire:
rec is the name of a record type such as "Foo.SimpleRec".
simpleRec must not contain pointers, arrays, sequences etc.
dual causes binary 'biPolar' atomics at the leaves suitable as say a pla input.
The top level name will be SimpleRec and the children will have names like SimpleRecCtlOn.
RefWire:
ref is a REF Foo.SimpleRec.
name is the top level name you would like for the wire.
dual causes binary 'biPolar' atomics at the leaves suitable as say a pla input.
ETWire:
type is the name of any Decoded Enumerated type( encoded as 0, 3, 5, 9, 17 ...)
The parent will be named Rope.Cat[prefix, suffix].
The children will be named Rope.Cat[prefix, enumeratedName, suffix].
RecWire: PROC[rec: ROPE,     dual: BOOL ← FALSE] RETURNS[wire: Core.Wire];
RefWire: PROC[ref: REF, name: ROPE, dual: BOOL ← FALSE] RETURNS[wire: Core.Wire];
ETWire:  PROC[prefix, suffix, type: ROPE]       RETURNS[wire: Core.Wire];
END.