+
Point of view
All features
class MOCK_MATCHERS
- Direct parents
- Insert list: ANY
Creation features
- make0
- make1 (a1: MOCK_MATCHER)
- make2 (a1: MOCK_MATCHER, a2: MOCK_MATCHER)
- make3 (a1: MOCK_MATCHER, a2: MOCK_MATCHER, a3: MOCK_MATCHER)
- make4 (a1: MOCK_MATCHER, a2: MOCK_MATCHER, a3: MOCK_MATCHER, a4: MOCK_MATCHER)
- make5 (a1: MOCK_MATCHER, a2: MOCK_MATCHER, a3: MOCK_MATCHER, a4: MOCK_MATCHER, a5: MOCK_MATCHER)
- make6 (a1: MOCK_MATCHER, a2: MOCK_MATCHER, a3: MOCK_MATCHER, a4: MOCK_MATCHER, a5: MOCK_MATCHER, a6: MOCK_MATCHER)
- make7 (a1: MOCK_MATCHER, a2: MOCK_MATCHER, a3: MOCK_MATCHER, a4: MOCK_MATCHER, a5: MOCK_MATCHER, a6: MOCK_MATCHER, a7: MOCK_MATCHER)
- make8 (a1: MOCK_MATCHER, a2: MOCK_MATCHER, a3: MOCK_MATCHER, a4: MOCK_MATCHER, a5: MOCK_MATCHER, a6: MOCK_MATCHER, a7: MOCK_MATCHER, a8: MOCK_MATCHER)
- make9 (a1: MOCK_MATCHER, a2: MOCK_MATCHER, a3: MOCK_MATCHER, a4: MOCK_MATCHER, a5: MOCK_MATCHER, a6: MOCK_MATCHER, a7: MOCK_MATCHER, a8: MOCK_MATCHER, a9: MOCK_MATCHER)
- make10 (a1: MOCK_MATCHER, a2: MOCK_MATCHER, a3: MOCK_MATCHER, a4: MOCK_MATCHER, a5: MOCK_MATCHER, a6: MOCK_MATCHER, a7: MOCK_MATCHER, a8: MOCK_MATCHER, a9: MOCK_MATCHER, a10: MOCK_MATCHER)
Features
{}
- make0
- make1 (a1: MOCK_MATCHER)
- make2 (a1: MOCK_MATCHER, a2: MOCK_MATCHER)
- make3 (a1: MOCK_MATCHER, a2: MOCK_MATCHER, a3: MOCK_MATCHER)
- make4 (a1: MOCK_MATCHER, a2: MOCK_MATCHER, a3: MOCK_MATCHER, a4: MOCK_MATCHER)
- make5 (a1: MOCK_MATCHER, a2: MOCK_MATCHER, a3: MOCK_MATCHER, a4: MOCK_MATCHER, a5: MOCK_MATCHER)
- make6 (a1: MOCK_MATCHER, a2: MOCK_MATCHER, a3: MOCK_MATCHER, a4: MOCK_MATCHER, a5: MOCK_MATCHER, a6: MOCK_MATCHER)
- make7 (a1: MOCK_MATCHER, a2: MOCK_MATCHER, a3: MOCK_MATCHER, a4: MOCK_MATCHER, a5: MOCK_MATCHER, a6: MOCK_MATCHER, a7: MOCK_MATCHER)
- make8 (a1: MOCK_MATCHER, a2: MOCK_MATCHER, a3: MOCK_MATCHER, a4: MOCK_MATCHER, a5: MOCK_MATCHER, a6: MOCK_MATCHER, a7: MOCK_MATCHER, a8: MOCK_MATCHER)
- make9 (a1: MOCK_MATCHER, a2: MOCK_MATCHER, a3: MOCK_MATCHER, a4: MOCK_MATCHER, a5: MOCK_MATCHER, a6: MOCK_MATCHER, a7: MOCK_MATCHER, a8: MOCK_MATCHER, a9: MOCK_MATCHER)
- make10 (a1: MOCK_MATCHER, a2: MOCK_MATCHER, a3: MOCK_MATCHER, a4: MOCK_MATCHER, a5: MOCK_MATCHER, a6: MOCK_MATCHER, a7: MOCK_MATCHER, a8: MOCK_MATCHER, a9: MOCK_MATCHER, a10: MOCK_MATCHER)
- matchers: FAST_ARRAY[MOCK_MATCHER]
{}
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))
require
- a1 /= Void
- a2 /= Void
- a3 /= Void
require
- a1 /= Void
- a2 /= Void
- a3 /= Void
- a4 /= Void
require
- a1 /= Void
- a2 /= Void
- a3 /= Void
- a4 /= Void
- a5 /= Void
require
- a1 /= Void
- a2 /= Void
- a3 /= Void
- a4 /= Void
- a5 /= Void
- a6 /= Void
require
- a1 /= Void
- a2 /= Void
- a3 /= Void
- a4 /= Void
- a5 /= Void
- a6 /= Void
- a7 /= Void
require
- a1 /= Void
- a2 /= Void
- a3 /= Void
- a4 /= Void
- a5 /= Void
- a6 /= Void
- a7 /= Void
- a8 /= Void
require
- a1 /= Void
- a2 /= Void
- a3 /= Void
- a4 /= Void
- a5 /= Void
- a6 /= Void
- a7 /= Void
- a8 /= Void
- a9 /= Void
require
- a1 /= Void
- a2 /= Void
- a3 /= Void
- a4 /= Void
- a5 /= Void
- a6 /= Void
- a7 /= Void
- a8 /= Void
- a9 /= Void
- a10 /= Void
frozen
effective function
{}