INDEX
CLUSTER
FEATURES
SHORT
FRAMES
NO FRAMES
indexing
title:
"Composed name attributes"
project:
"Visual Eiffel"
revision:
"$Revision: 1.1 $"
copyright:
"Copyright (C) 1996-2005 Object Tools Group"
license:
"http://visual-eiffel.com/license"
cluster:
dale
class
COMPOSED_NAME_ATTRIBUTES
inherit
DALE_SERVER
end
creation
make
,
make_single
feature
-- Attributes:
qualifier_is_used
:
BOOLEAN
owner_is_used
:
BOOLEAN
container_is_used
:
BOOLEAN
qualifier_at_end
:
BOOLEAN
identifier_case
:
INTEGER
qualifier_separator
:
STRING
count
:
INTEGER
feature
-- Commands:
make
(
qu
,
ou
,
cu
,
qe
:
BOOLEAN
;
ic
:
INTEGER
;
qs
:
STRING
)
-- creation procedure
require
valid_qualifier_separator
:
qu
implies
qs
/=
void
valid_identifier_case
:
valid_identifier_case
(
ic
)
make_single
(
ic
:
INTEGER
)
-- creation procedure; composed name consists from one part only
require
valid_identifier_case
:
valid_identifier_case
(
ic
)
feature
-- Validation:
valid_identifier_case
(
ic
:
INTEGER
):
BOOLEAN
-- ...
end
-- class
COMPOSED_NAME_ATTRIBUTES
INDEX
CLUSTER
FEATURES
SHORT
FRAMES
NO FRAMES