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 REAL_VALIDATOR
inherit

VALIDATOR
rename
make as val_make
end
creation

make,
make_without_range
feature

value: REAL

min: REAL

max: REAL

without_range: BOOLEAN

make (a_val: REAL; a_min, a_max: REAL)
require
good_range: a_min < a_max

make_without_range (a_val: REAL)
feature -- Redefined features

formated_text: STRING

is_valid (a_str: STRING): BOOLEAN
end -- class REAL_VALIDATOR

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES