X-Git-Url: https://svn.cri.ensmp.fr/git/Faustine.git/blobdiff_plain/66f23d4fabf89ad09adbd4dfc15ac6b5b2b7da83..refs/heads/master:/interpreter/symbol.ml?ds=inline 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) ->