X-Git-Url: https://scm.cri.mines-paristech.fr/git/Faustine.git/blobdiff_plain/456ab1eb0f387a99d0bfdc5bb3c42c20d645b331..adf24ec25c76cc5eaa5aa319eaa2df1405312f9e:/interpreter/symbol.ml diff --git a/interpreter/symbol.ml b/interpreter/symbol.ml index 4d58697..f523823 100644 --- a/interpreter/symbol.ml +++ b/interpreter/symbol.ml @@ -68,7 +68,18 @@ let dictionary_of_symbol : symbol -> (int * int) * int * string = |Select2 -> ((3, 1), 0, "Select2") |Select3 -> ((4, 1), 0, "Select3") |Rdtable -> ((3, 1), rdtable_memory_length, "Rdtalbe") - |Rwtable -> ((5, 1), rwtable_memory_length, "Rwtable");; + |Rwtable -> ((5, 1), rwtable_memory_length, "Rwtable") + |Button -> ((0, 1), 0, "Button") + |Checkbox -> ((0, 1), 0, "Checkbox") + |Vslider -> ((0, 1), 0, "Vslider") + |Hslider -> ((0, 1), 0, "Hslider") + |Vgroup -> ((0, 1), 0, "Vgroup") + |Hgroup -> ((0, 1), 0, "Hgroup") + |Tgroup -> ((0, 1), 0, "Tgroup") + |Hbargraph -> ((0, 1), 0, "Hbargraph") + |Vbargraph -> ((0, 1), 0, "Vbargraph") + |Nentry -> ((0, 1), 0, "Nentry") + |Attach -> ((2, 1), 0, "Attach") ;; let dimension_of_symbol : symbol -> int * int = fun (s : symbol) ->