initial framework added

[fp1415-soccerfun.git] / src / Gui / digitdisplay.dcl

diff --git a/src/Gui/digitdisplay.dcl b/src/Gui/digitdisplay.dcl
new file mode 100644 (file)
index 0000000..b891767
--- /dev/null
+++ b/src/Gui/digitdisplay.dcl
@@ -0,0 +1,27 @@
+definition module digitdisplay\r
+\r
+import StdControl, StdId\r
+\r
+/*     A DigitDisplay displayId format size colour atts\r
+               is a Controls instance that displays a positive integral number of maximal format digits\r
+               in the given colour. Each digit has a given size.\r
+       The following ControlAttribute-s are inherited:\r
+               ControlPos:     the layout position of the digit display control\r
+               ControlTip:     the tool tip text that must be displayed\r
+       All other attributes are ignored.\r
+*/\r
+\r
+::     DigitDisplay ls pst\r
+ =     DigitDisplay DigitDisplayId DigitFormat DigitSize Colour [ControlAttribute *(ls,pst)]\r
+::     DigitDisplayId                  // The identification value of the digit display\r
+::     DigitFormat\r
+ =     IntegerFormat !Int              // The number of digits\r
+::     DigitSize                               // The size of one digit\r
+ :== Size\r
+\r
+openDigitDisplayId :: !*env -> (!DigitDisplayId,!*env) | Ids env\r
+\r
+instance Controls DigitDisplay\r
+\r
+getDigitDisplayValue :: !DigitDisplayId      !(PSt .ps) -> (!Int,!PSt .ps)\r
+setDigitDisplayValue :: !DigitDisplayId !Int !(PSt .ps) -> PSt .ps\r