- indexing
- project: "Visual Eiffel"
- revision: "$Revision: 1.1 $"
- copyright: "Copyright (C) 1996-2005 Object Tools Group"
- license: "http://visual-eiffel.com/license"
- cluster: grape
class LIST_VALIDATOR
- inherit
-
VALIDATOR
-
- rename
-
make
as validator_make
- end
- creation
- make
- feature
-
default_value: STRING
-
value: STRING
-
make (a_default: INTEGER; a_choices: ARRAY [STRING])
-
- require
-
not_void_list:
a_choices /= void
-
default_index_valid:
1 <= a_default and a_default <= a_choices.count
-
default_string_valid:
a_choices.item (a_default) /= void and not a_choices.item (a_default).is_empty
-
formated_text: STRING
-
is_valid (p_string: STRING): BOOLEAN
end -- class LIST_VALIDATOR