Fri Nov 4 13:16:12 WET 2005 Malcolm.Wallace@cs.york.ac.uk
* extend the RTN palette with more protocols
hunk ./RTN.blobpalette 65
+ , ("pool"
+ , Lines { shapeStyle = ShapeStyle { styleStrokeWidth = 2
+ , styleStrokeColour = RGB 0 0 0
+ , styleFill = RGB 128 128 128
+ }
+ , shapePerimeter = [ DoublePoint (-0.2) (-0.5)
+ , DoublePoint 0.0 (-0.5)
+ , DoublePoint 0.0 0.5
+ , DoublePoint (-0.2) 0.5 ] }
+ , Just ( late -> value
+ early -> *
+ omission -> value
+ commission -> *
+ v -> v ) )
+ , ("signal"
+ , Lines { shapeStyle = ShapeStyle { styleStrokeWidth = 2
+ , styleStrokeColour = RGB 0 0 0
+ , styleFill = RGB 128 128 128
+ }
+ , shapePerimeter = [ DoublePoint (-0.2) (-0.5)
+ , DoublePoint 0.0 (-0.5)
+ , DoublePoint 0.0 0.5
+ , DoublePoint 0.2 0.5 ] }
+ , Just ( omission -> late
+ commission -> *
+ early -> *
+ v -> v ) )
+ , ("channel"
+ , Composite { shapeSegments =
+ [ Lines { shapeStyle = ShapeStyle
+ { styleStrokeWidth = 2
+ , styleStrokeColour = RGB 0 0 0
+ , styleFill = RGB 128 128 128
+ }
+ , shapePerimeter = [ DoublePoint (-0.2) (-0.5)
+ , DoublePoint 0.2 (-0.5) ] }
+ , Lines { shapeStyle = ShapeStyle
+ { styleStrokeWidth = 2
+ , styleStrokeColour = RGB 0 0 0
+ , styleFill = RGB 128 128 128
+ }
+ , shapePerimeter = [ DoublePoint 0.0 (-0.5)
+ , DoublePoint 0.0 0.5 ] }
+ , Lines { shapeStyle = ShapeStyle
+ { styleStrokeWidth = 2
+ , styleStrokeColour = RGB 0 0 0
+ , styleFill = RGB 128 128 128
+ }
+ , shapePerimeter = [ DoublePoint (-0.2) 0.5
+ , DoublePoint 0.2 0.5 ] }
+ ] }
+ , Just ( early -> *
+ omission -> late
+ commission -> late
+ * -> late
+ v -> v ) )