Fri Oct 14 16:30:22 WEST 2005 Malcolm.Wallace@cs.york.ac.uk
* preliminary blobpalette for RTN notation
{
addfile ./RTN.blobpalette
hunk ./RTN.blobpalette 1
+ Palette
+ [ ("activity"
+ , Circle { shapeStyle = ShapeStyle { styleStrokeWidth = 1
+ , styleStrokeColour = RGB 0 0 0
+ , styleFill = RGB 128 200 128
+ }
+ , shapeRadius = 0.5 }
+ , Just (v -> v) )
+ , ("source"
+ , Polygon { shapeStyle = ShapeStyle { styleStrokeWidth = 2
+ , styleStrokeColour = RGB 0 0 0
+ , styleFill = RGB 200 128 200
+ }
+ , shapePerimeter = [ DoublePoint (-0.5) (-0.5)
+ , DoublePoint 0.5 (-0.5)
+ , DoublePoint 0.5 0.5
+ , DoublePoint (-0.5) 0.5 ] }
+ , Just (_ -> *) )
+ , ("sink"
+ , Polygon { shapeStyle = ShapeStyle { styleStrokeWidth = 2
+ , styleStrokeColour = RGB 0 0 0
+ , styleFill = RGB 200 128 200
+ }
+ , shapePerimeter = [ DoublePoint (-0.5) (-0.5)
+ , DoublePoint 0.5 (-0.5)
+ , DoublePoint 0.5 0.5
+ , DoublePoint (-0.5) 0.5 ] }
+ , Just (_ -> *) )
+ , ("splitter"
+ , Polygon { shapeStyle = ShapeStyle { styleStrokeWidth = 1
+ , styleStrokeColour = RGB 0 0 0
+ , styleFill = RGB 128 200 200
+ }
+ , shapePerimeter = [ DoublePoint (-0.5) 0
+ , DoublePoint 0.5 (-0.5)
+ , DoublePoint 0.5 0.5 ] }
+ , Just (v -> (v,v)) )
+ , ("consolidator"
+ , Polygon { shapeStyle = ShapeStyle { styleStrokeWidth = 1
+ , styleStrokeColour = RGB 0 0 0
+ , styleFill = RGB 128 200 200
+ }
+ , shapePerimeter = [ DoublePoint (-0.5) (-0.5)
+ , DoublePoint (-0.5) 0.5
+ , DoublePoint 0.5 0.0 ] }
+ , Just ((v,v) -> v) )
+ , ("wire"
+ , Composite { shapeSegments =
+ [ Lines { shapeStyle = ShapeStyle
+ { styleStrokeWidth = 2
+ , styleStrokeColour = RGB 0 0 0
+ , styleFill = RGB 128 128 128
+ }
+ , shapePerimeter = [ DoublePoint 0.0 (-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.2 (-0.5)
+ , DoublePoint 0.0 0.5 ] }
+ ] }
+ , Just (v -> v) )
+ ]
}