Class type Wd_types.dialog_decl_type

class type dialog_decl_type = object .. end

This class type contains the dialog declaration

method name : string

The name of the dialog

method enumeration : string -> enum_decl

Returns the declared enumeration

method variable_names : string list

Returns the names of all declared variables

method variable : string -> dialog_type poly_var_decl

Returns a single variable declaration

method page_names : string list

Returns the names of all declared pages

method page : string -> syntax_tree_type

Returns the XML tree of the demanded page (i.e. the ui:page node)

method page_is_declared_as_popup : string -> bool

Returns whether the page is declared as popup page (attribute popup

method start_page : string

Returns the name of the start page

method default_context : syntax_tree_type dict

Returns the default context of the dialog, i.e. the context parameters that are declared by the ui:context element occurring directly in the ui:dialog element, and not in a certain page.

method language_variable : string option

Returns Some v if a language variable called v is declared, or None if no such variable exists.

This web site is published by Informatikbüro Gerd Stolpmann

Plasma	GitLab	Archive
Projects	Blog	Knowledge