GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
MOCK_EQ
+
Point of view
All features
ANY
MOCK_EXPECTATION
All features
class MOCK_EQ [E_]
Summary
top
Direct parents
Inherit list:
MOCK_TYPED_MATCHER
Insert list:
SAFE_EQUAL
Overview
top
Creation features
{
ANY
}
make
(e: E_)
Features
{
ANY
}
out_in_tagged_out_memory
Append terse printable representation of current object in
tagged_out_memory
.
{
MOCK_EXPECTATION
}
match
(a: MOCK_TYPED_ARGUMENT[E_]):
BOOLEAN
{}
make
(e: E_)
item
: E_
{
ANY
}
test
(e1: E_, e2: E_):
BOOLEAN
In order to avoid run-time type errors, feature
safe_equal
calls
is_equal
only when
e1
and
e2
have exactly the same dynamic type.
safe_equal
(e1: E_, e2: E_):
BOOLEAN
In order to avoid run-time type errors, feature
safe_equal
calls
is_equal
only when
e1
and
e2
have exactly the same dynamic type.
out_in_tagged_out_memory
effective procedure
{
ANY
}
top
Append terse printable representation of current object in
tagged_out_memory
.
require
locked:
tagged_out_locked
locked:
tagged_out_locked
ensure
still_locked:
tagged_out_locked
not_cleared:
tagged_out_memory.count >= old tagged_out_memory.count
append_only:
old tagged_out_memory.twin.is_equal(tagged_out_memory.substring(1, old tagged_out_memory.count))
match
(a: MOCK_TYPED_ARGUMENT[E_]):
BOOLEAN
effective function
{
MOCK_EXPECTATION
}
top
require
a /= Void
make
(e: E_)
effective procedure
{}
top
item
: E_
writable attribute
{}
top
test
(e1: E_, e2: E_):
BOOLEAN
effective function
{
ANY
}
top
In order to avoid run-time type errors, feature
safe_equal
calls
is_equal
only when
e1
and
e2
have exactly the same dynamic type.
safe_equal
(e1: E_, e2: E_):
BOOLEAN
effective function
{
ANY
}
top
In order to avoid run-time type errors, feature
safe_equal
calls
is_equal
only when
e1
and
e2
have exactly the same dynamic type.