+
Point of view
All features
class MOCK_ANY [E_]
Summary
Direct parents
Inherit list: MOCK_TYPED_MATCHER
Overview
Features
{ANY}
{MOCK_EXPECTATION}
out_in_tagged_out_memory
effective procedure
{ANY}
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
require
  • a /= Void