darcs - INblobs

1 module SpecialSymbols where

2

3 import Shape

4 import Palette

5 import Ports

6 import Colors

7 import Math

8

9 -- | List of Special Symbols.

10 specialSymbols, managementSymbols :: Palette n

11 specialSymbols =

12 Palette $ interfaceSymbol : shapes managementSymbols

13

14 managementSymbols =

15 Palette [ copySymbol

16 , duplicatorSymbol

17 , eraseSymbol

18 ]

19 interfaceSymbol, copySymbol, duplicatorSymbol, eraseSymbol :: (ShapeName, (Shape, Ports, Maybe a))

20 interfaceSymbol =

21 ( "interface"

22 , ( Circle { shapeStyle = ShapeStyle { styleStrokeWidth = 2

23 , styleStrokeColour = coconut

24 , styleFill = coconut

25 }

26 , shapeRadius = 0.25

27 }

28 , [("interface",DoublePoint 0.0 0.25)]

29 , Nothing

30 )

31 )

32

33 copySymbol =

34 ( "copy"

35 , ( TextInEllipse { shapeStyle = ShapeStyle { styleStrokeWidth = 1

36 , styleStrokeColour = licorice

37 , styleFill = silver

38 }

39 , shapeText = "c"

40 }

41 , [("src",DoublePoint 0.0 0.3),("fst_target",DoublePoint (-0.3) (-0.3)),("snd_target",DoublePoint 0.3 (-0.3))]

42 , Nothing

43 )

44 )

45

46 duplicatorSymbol =

47 ( "duplicator"

48 , ( Composite { shapeSegments = [ Circle { shapeStyle = ShapeStyle { styleStrokeWidth = 2

49 , styleStrokeColour = RGB 250 0 0

50 , styleFill = coconut

51 }

52 , shapeRadius = 0.5

53 }

54 , Arc { shapeStyle = ShapeStyle { styleStrokeWidth = 2

55 , styleStrokeColour = RGB 250 0 0

56 , styleFill = coconut

57 }

58 , shapeRadius = 0.2

59 , shapeStart = 70.0

60 , shapeEnd = 270.0

61 , shapeCenter = DoublePoint 0.0 (-0.18)

62 }

63 , Arc { shapeStyle = ShapeStyle { styleStrokeWidth = 2

64 , styleStrokeColour = RGB 250 0 0

65 , styleFill = coconut

66 }

67 , shapeRadius = 0.2

68 , shapeStart = 150.0

69 , shapeEnd = 90.0

70 , shapeCenter = DoublePoint 0.0 0.18

71 }

72 ]

73 }

74 , [("down",DoublePoint 0.0 0.5),("copy1",DoublePoint (-0.3) (-0.3)),("copy2",DoublePoint 0.3 (-0.3))]

75 , Nothing

76 )

77 )

78

79 eraseSymbol =

80 ( "Erase"

81 , ( Composite { shapeSegments = [ Circle { shapeStyle = ShapeStyle { styleStrokeWidth = 2

82 , styleStrokeColour = RGB 250 0 0

83 , styleFill = coconut

84 }

85 , shapeRadius = 0.5

86 }

87 , Arc { shapeStyle = ShapeStyle { styleStrokeWidth = 2

88 , styleStrokeColour = RGB 250 0 0

89 , styleFill = coconut

90 }

91 , shapeRadius = 0.2

92 , shapeStart = 90.0

93 , shapeEnd = 270.0

94 , shapeCenter = DoublePoint 0.0 (-0.18)

95 }

96 , Arc { shapeStyle = ShapeStyle { styleStrokeWidth = 2

97 , styleStrokeColour = RGB 250 0 0

98 , styleFill = coconut

99 }

100 , shapeRadius = 0.2

101 , shapeStart = 90.0

102 , shapeEnd = 270.0

103 , shapeCenter = DoublePoint 0.0 0.18

104 }

105 ]

106 }

107 , [("down",DoublePoint 0.0 0.5)]

108 , Nothing

109 )

110 )

111