123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262 |
- deferred class IUP_WIDGET_TEXT_COMMON
- inherit
- IUP_WIDGET_INTERNALS
- IUP_WIDGET_PADDING
-
- feature {ANY}
- clipboard (option: STRING)
-
-
-
- require
- is_valid_option(option)
- do
- iup_open.set_attribute(Current, "CLIPBOARD", option)
- end
- set_cue_banner (txt: STRING)
-
-
-
-
-
- do
- iup_open.set_attribute(Current, "CUEBANNER", txt)
- end
- set_filter (filter: STRING)
-
-
-
- require
- is_valid_filter(filter)
- do
- iup_open.set_attribute(Current, "FILTER", filter)
- end
- set_mask (mask: STRING)
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- do
- if mask.is_equal("REMOVE") then
- iup_open.set_attribute_null(Current, "MASK")
- elseif mask.is_equal("IUP_MASK_FLOAT") then
- iup_open.set_attribute(Current, "MASK", "[+/-]?(/d+/.?/d*|/./d+)")
- elseif mask.is_equal("IUP_MASK_UFLOAT") then
- iup_open.set_attribute(Current, "MASK", "(/d+/.?/d*|/./d+)")
- elseif mask.is_equal("IUP_MASK_EFLOAT") then
- iup_open.set_attribute(Current, "MASK", "[+/-]?(/d+/.?/d*|/./d+)([eE][+/-]?/d+)?")
- elseif mask.is_equal("IUP_MASK_FLOATCOMMA") then
- iup_open.set_attribute(Current, "MASK", "[+/-]?(/d+/,?/d*|/,/d+)")
- elseif mask.is_equal("IUP_MASK_UFLOATCOMMA") then
- iup_open.set_attribute(Current, "MASK", "(/d+/,?/d*|/,/d+)")
- elseif mask.is_equal("IUP_MASK_INT") then
- iup_open.set_attribute(Current, "MASK", "[+/-]?/d+")
- elseif mask.is_equal("IUP_MASK_UINT") then
- iup_open.set_attribute(Current, "MASK", "/d+")
- else
- iup_open.set_attribute(Current, "MASK", mask)
- end
- end
- set_mask_case_insesitive (state: BOOLEAN)
-
- do
- iup_open.set_attribute(Current, "MASKCASEI", boolean_to_yesno(state))
- end
- set_mask_no_empty (state: BOOLEAN)
-
-
- do
- iup_open.set_attribute(Current, "MASKNOEMPTY", boolean_to_yesno(state))
- end
- set_mask_decimal_symbol (value: STRING)
-
-
- require
- is_valid_symbol (value)
- do
- iup_open.set_attribute(Current, "MASKDECIMALSYMBOL", value)
- end
- set_mask_integer (min, max: INTEGER)
-
-
- local
- str: STRING
- do
- str := min.out
- str.append_string(":")
- str.append_string(max.out)
- iup_open.set_attribute(Current, "MASKINT", str)
- end
- set_mask_float (min, max: REAL_64)
-
-
- local
- str: STRING
- do
- str := min.out
- str.append_string(":")
- str.append_string(max.out)
- iup_open.set_attribute(Current, "MASKFLOAT", str)
- end
- set_number_of_characters (num: INTEGER)
-
-
-
- require
- num >= 0
- do
- iup_open.set_attribute(Current, "NC", num.out)
- end
- set_readonly (state: BOOLEAN)
-
-
-
-
- do
- iup_open.set_attribute(Current, "READONLY", boolean_to_yesno(state))
- end
- set_selected_text (value: STRING)
-
-
- do
- iup_open.set_attribute(Current, "SELECTEDTEXT", value)
- end
- get_selected_text: STRING
-
- local
- str: STRING
- do
- str := iup_open.get_attribute(Current, "SELECTEDTEXT")
- if str /= Void then
- Result := str
- else
- Result := ""
- end
- end
- select_all
-
- do
- iup_open.set_attribute(Current, "SELECTION", "ALL")
- end
- deselect_all
-
- do
- iup_open.set_attribute(Current, "SELECTION", "NONE")
- end
-
- append (txt: STRING)
-
- do
- iup_open.set_attribute(Current, "APPEND", txt)
- end
- insert (txt: STRING)
-
-
- do
- iup_open.set_attribute(Current, "INSERT", txt)
- end
-
- is_valid_option (value: STRING): BOOLEAN
- do
- if value.is_equal("CLEAR") or
- value.is_equal("CUT") or
- value.is_equal("COPY") or
- value.is_equal("PASTE") or
- value.is_equal("UNDO") or
- value.is_equal("REDO") then
- Result := True
- else
- Result := False
- end
- end
- is_valid_filter (value: STRING): BOOLEAN
- do
- if value.is_equal("LOWERCASE") or
- value.is_equal("UPPERCASE") or
- value.is_equal("NUMBER") then
- Result := True
- else
- Result := False
- end
- end
- is_valid_symbol (value: STRING): BOOLEAN
- do
- if value.is_equal(".") or
- value.is_equal(",") then
- Result := True
- else
- Result := False
- end
- end
- end
|