home
wiki
classes/clusters list
class information
+
Point of view
CODE_PRINTER
ANY
CODE_PRINTER
NATIVE_JAVA
VISITOR
SYSTEM_TOOLS
SMART_EIFFEL
COMPILE
SE
ACE
INSTALL
INTERNALS_HANDLER
All features
class CODE_CONTEXT_CHECK_ID
Summary
top
Direct parents
inherit list:
CODE_CONTEXT
Overview
top
exported features
code
:
INTEGER_32
valid_anonymous_feature
:
BOOLEAN
valid_target
:
BOOLEAN
valid_effective_arguments
:
BOOLEAN
valid_static_type
:
BOOLEAN
valid_internal_c_local
:
BOOLEAN
valid
:
BOOLEAN
reserve
free
type
:
TYPE
anonymous_feature
:
ANONYMOUS_FEATURE
target
:
EXPRESSION
effective_arguments
:
EFFECTIVE_ARG_LIST
static_type
:
TYPE
internal_c_local
:
INTERNAL_C_LOCAL
The good old
"assertion-sets-its-own-flag"
trick
validate
:
BOOLEAN
invalidate
:
BOOLEAN
Modification:
set_type
(a_type:
TYPE
)
set_anonymous_feature
(a_anonymous_feature:
ANONYMOUS_FEATURE
)
set_target
(a_target:
EXPRESSION
)
set_effective_arguments
(a_effective_arguments:
EFFECTIVE_ARG_LIST
)
set_static_type
(a_static_type:
TYPE
)
set_internal_c_local
(a_internal_c_local:
INTERNAL_C_LOCAL
)
code
:
INTEGER_32
effective function
top
valid_anonymous_feature
:
BOOLEAN
constant attribute
top
valid_target
:
BOOLEAN
constant attribute
top
valid_effective_arguments
:
BOOLEAN
constant attribute
top
valid_static_type
:
BOOLEAN
constant attribute
top
valid_internal_c_local
:
BOOLEAN
constant attribute
top
valid
:
BOOLEAN
writable attribute
top
reserve
effective procedure
top
require
not_valid:
validate
ensure
valid
free
effective procedure
top
require
valid:
invalidate
ensure
not
valid
type
:
TYPE
effective function
top
require
valid
anonymous_feature
:
ANONYMOUS_FEATURE
effective function
top
require
valid
target
:
EXPRESSION
effective function
top
require
valid
and then
valid_target
effective_arguments
:
EFFECTIVE_ARG_LIST
effective function
top
require
valid
and then
valid_effective_arguments
static_type
:
TYPE
effective function
top
require
valid
and then
valid_static_type
internal_c_local
:
INTERNAL_C_LOCAL
effective function
top
require
valid
and then
valid_internal_c_local
validate
:
BOOLEAN
frozen
effective function
top
invalidate
:
BOOLEAN
frozen
effective function
top
set_type
(a_type:
TYPE
)
effective procedure
top
require
valid
type
= Void
ensure
type
= a_type
set_anonymous_feature
(a_anonymous_feature:
ANONYMOUS_FEATURE
)
effective procedure
top
require
valid
and then
valid_anonymous_feature
anonymous_feature
= Void
ensure
anonymous_feature
= a_anonymous_feature
set_target
(a_target:
EXPRESSION
)
effective procedure
top
require
valid
and then
valid_target
target
= Void
ensure
target
= a_target
set_effective_arguments
(a_effective_arguments:
EFFECTIVE_ARG_LIST
)
effective procedure
top
require
valid
and then
valid_effective_arguments
effective_arguments
= Void
ensure
effective_arguments
= a_effective_arguments
set_static_type
(a_static_type:
TYPE
)
effective procedure
top
require
valid
and then
valid_static_type
static_type
= Void
ensure
static_type
= a_static_type
set_internal_c_local
(a_internal_c_local:
INTERNAL_C_LOCAL
)
effective procedure
top
require
valid
and then
valid_internal_c_local
internal_c_local
= Void
ensure
internal_c_local
= a_internal_c_local