Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Annotation of /sml/trunk/src/eXene/widgets/util/attrs-sig.sml
ViewVC logotype

Annotation of /sml/trunk/src/eXene/widgets/util/attrs-sig.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2 - (view) (download)

1 : monnier 2 (* attrs-sig.sml
2 :     *
3 :     * COPYRIGHT (c) 1994 AT&T Bell Laboratories.
4 :     *)
5 :    
6 :     signature ATTRS =
7 :     sig
8 :     type attr_ctxt
9 :    
10 :     type attr_name = Quark.quark
11 :    
12 :     val attr_active : attr_name (* "active" *)
13 :     val attr_aspect : attr_name (* "aspect" *)
14 :     val attr_arrowDir : attr_name (* "arrowDir" *)
15 :     val attr_background : attr_name (* "background" *)
16 :     val attr_borderColor : attr_name (* "borderColor" *)
17 :     val attr_borderWidth : attr_name (* "borderWidth" *)
18 :     val attr_color : attr_name (* "color" *)
19 :     val attr_current : attr_name (* "current" *)
20 :     val attr_cursor : attr_name (* "cursor" *)
21 :     val attr_font : attr_name (* "font" *)
22 :     val attr_fontList : attr_name (* "fontList" *)
23 :     val attr_fontSize : attr_name (* "fontSize" *)
24 :     val attr_foreground : attr_name (* "foreground" *)
25 :     val attr_fromValue : attr_name (* "fromValue" *)
26 :     val attr_gravity : attr_name (* "gravity" *)
27 :     val attr_halign : attr_name (* "halign" *)
28 :     val attr_height : attr_name (* "height" *)
29 :     val attr_iconName : attr_name (* "iconName" *)
30 :     val attr_isActive : attr_name (* "isActive" *)
31 :     val attr_isSet : attr_name (* "isSet" *)
32 :     val attr_isVertical : attr_name (* "isVertical" *)
33 :     val attr_label : attr_name (* "label" *)
34 :     val attr_length : attr_name (* "length" *)
35 :     val attr_padx : attr_name (* "padx" *)
36 :     val attr_pady : attr_name (* "pady" *)
37 :     val attr_readyColor : attr_name (* "readyColor" *)
38 :     val attr_relief : attr_name (* "relief" *)
39 :     val attr_repeatDelay : attr_name (* "repeatDelay" *)
40 :     val attr_repeatInterval : attr_name (* "repeatInterval" *)
41 :     val attr_rounded : attr_name (* "rounded" *)
42 :     val attr_scale : attr_name (* "scale" *)
43 :     val attr_selectColor : attr_name (* "selectColor" *)
44 :     val attr_selectBackground : attr_name (* "selectBackground" *)
45 :     val attr_selectBorderWidth : attr_name (* "selectBorderWidth" *)
46 :     val attr_selectForeground : attr_name (* "selectForeground" *)
47 :     val attr_showValue : attr_name (* "showValue" *)
48 :     val attr_state : attr_name (* "state" *)
49 :     val attr_text : attr_name (* "text" *)
50 :     val attr_thumbLength : attr_name (* "thumbLength" *)
51 :     val attr_tickInterval : attr_name (* "tickInterval" *)
52 :     val attr_tile : attr_name (* "tile" *)
53 :     val attr_title : attr_name (* "title" *)
54 :     val attr_toValue : attr_name (* "toValue" *)
55 :     val attr_type : attr_name (* "type" *)
56 :     val attr_valign : attr_name (* "valign" *)
57 :     val attr_width : attr_name (* "width" *)
58 :    
59 :     datatype attr_type
60 :     = AT_Str
61 :     | AT_Int
62 :     | AT_Real
63 :     | AT_Bool
64 :     | AT_Font
65 :     | AT_Color
66 :     | AT_ColorSpec
67 :     | AT_Tile
68 :     | AT_Cursor
69 :     | AT_HAlign
70 :     | AT_VAlign
71 :     | AT_Relief
72 :     | AT_ArrowDir
73 :     | AT_Gravity
74 :    
75 :     datatype attr_value
76 :     = AV_Str of string
77 :     | AV_Int of int
78 :     | AV_Real of real
79 :     | AV_Bool of bool
80 :     | AV_Font of EXeneBase.font
81 :     | AV_Color of EXeneBase.color
82 :     | AV_ColorSpec of EXeneBase.color_spec
83 :     | AV_Tile of EXeneBase.tile
84 :     | AV_Cursor of EXeneBase.cursor
85 :     | AV_HAlign of WidgetBase.halign
86 :     | AV_VAlign of WidgetBase.valign
87 :     | AV_Relief of ThreeD.relief
88 :     | AV_ArrowDir of WidgetBase.arrow_dir
89 :     | AV_Gravity of WidgetBase.gravity
90 :     | AV_NoValue
91 :    
92 :     exception BadAttrValue
93 :     exception NoConversion
94 :    
95 :     val cvtString : attr_ctxt -> (string * attr_type) -> attr_value
96 :     val cvtAttrValue : attr_ctxt -> (attr_value * attr_type) -> attr_value
97 :     val sameValue : attr_value * attr_value -> bool
98 :     val sameType : attr_value * attr_type -> bool
99 :    
100 :     val getInt : attr_value -> int
101 :     val getReal : attr_value -> real
102 :     val getBool : attr_value -> bool
103 :     val getString : attr_value -> string
104 :     val getColor : attr_value -> EXeneBase.color
105 :     val getColorSpec : attr_value -> EXeneBase.color_spec
106 :     val getFont : attr_value -> EXeneBase.font
107 :     val getTile : attr_value -> EXeneBase.tile
108 :     val getCursor : attr_value -> EXeneBase.cursor
109 :     val getHAlign : attr_value -> WidgetBase.halign
110 :     val getVAlign : attr_value -> WidgetBase.valign
111 :     val getRelief : attr_value -> ThreeD.relief
112 :     val getArrowDir : attr_value -> WidgetBase.arrow_dir
113 :     val getGravity : attr_value -> WidgetBase.gravity
114 :    
115 :     val getIntOpt : attr_value -> int option
116 :     val getRealOpt : attr_value -> real option
117 :     val getBoolOpt : attr_value -> bool option
118 :     val getStringOpt : attr_value -> string option
119 :     val getColorOpt : attr_value -> EXeneBase.color option
120 :     val getColorSpecOpt : attr_value -> EXeneBase.color_spec option
121 :     val getFontOpt : attr_value -> EXeneBase.font option
122 :     val getTileOpt : attr_value -> EXeneBase.tile option
123 :     val getCursorOpt : attr_value -> EXeneBase.cursor option
124 :     val getHAlignOpt : attr_value -> WidgetBase.halign option
125 :     val getVAlignOpt : attr_value -> WidgetBase.valign option
126 :     val getReliefOpt : attr_value -> ThreeD.relief option
127 :     val getGravityOpt : attr_value -> WidgetBase.gravity option
128 :    
129 :     end (* ATTRS *)

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0