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
INTEGER_VALIDATOR
inherit
FILTER_VALIDATOR
rename
make
as
filter_make
redefine
formated_text
,
is_valid
end
creation
make
,
make_with_range
feature
minimum
:
INTEGER
maximum
:
INTEGER
default_value
:
INTEGER
value
:
INTEGER
make
(
p_default
:
INTEGER
)
make_with_range
(
p_default
,
p_min
,
p_max
:
INTEGER
)
formated_text
:
STRING
-- Returns the formated string for entered value
is_valid
(
p_string
:
STRING
):
BOOLEAN
-- Check passed string for valid integer number
end
-- class
INTEGER_VALIDATOR
INDEX
CLUSTER
FEATURES
SHORT
FRAMES
NO FRAMES