GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
MOCK_ANY
+
Point of view
All features
ANY
MOCK_EXPECTATION
All features
class MOCK_ANY [E_]
Summary
top
Direct parents
Inherit list:
MOCK_TYPED_MATCHER
Overview
top
Features
{
ANY
}
out_in_tagged_out_memory
{
MOCK_EXPECTATION
}
match
(a: MOCK_TYPED_ARGUMENT[E_]):
BOOLEAN
out_in_tagged_out_memory
effective procedure
{
ANY
}
top
require
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