- 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