INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

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

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES