[UP]
Wd_types
|
|
|
WDialog API for Objective Caml: Wd_types.dialog_type
object
method alist_variable :
string -> (string * Wd_types.dialog_type Wd_types.poly_var_value) list
method application : Wd_types.application_type
method copy : Wd_types.dialog_type
method declaration : Wd_types.dialog_decl_type
method dialog_variable : string -> Wd_types.dialog_type option
method dump : Format.formatter -> unit
method dyn_enum_variable : string -> (string * string) list
method enter_session_scope : Wd_types.session_type -> unit
method enum_variable : string -> string list
method environment : Wd_types.environment
method event : Wd_types.event
method virtual handle : unit -> unit
method init : string -> unit
method interactors : Wd_types.interactors
method is_server_popup_request : bool
method leave_session_scope : unit -> unit
method lookup_dialog_variable :
string -> string -> Wd_types.dialog_type option
method lookup_dyn_enum_variable :
string -> string -> (string * string) list
method lookup_enum_variable : string -> string -> string list
method lookup_string_variable : string -> string -> string
method lookup_uploaded_file : string -> Netcgi_types.cgi_argument option
method name : string
method next_page : string
method page_name : string
method page_names : string list
method virtual prepare_page : unit -> unit
method serialize :
(Wd_types.dialog_type, unit) Hashtbl.t -> Buffer.t -> unit
method session : Wd_types.session_type
method set_event : Wd_types.event -> unit
method set_next_page : string -> unit
method set_server_popup_request : unit -> unit
method set_variable :
string -> Wd_types.dialog_type Wd_types.poly_var_value -> unit
method string_variable : string -> string
method universe : Wd_types.universe_type
method unserialize :
(Wd_types.universe_type, Wd_types.dialog_type, Wd_types.environment)
Wd_types.poly_ds_buf -> unit
method unset_variable : string -> unit
method variable : string -> Wd_types.dialog_type Wd_types.poly_var_value
method variable_decl :
string -> Wd_types.dialog_type Wd_types.poly_var_decl
end
|