Eiffeldoc: MOCK_ARGUMENTS

+

Point of view

All features

class MOCK_ARGUMENTS

Summary

Direct parents: Insert list: ANY

Overview

Creation features

{MOCK_EXPECT, MOCK_OBJECT}

make0
make1 (a1: MOCK_ARGUMENT)
make2 (a1: MOCK_ARGUMENT, a2: MOCK_ARGUMENT)
make3 (a1: MOCK_ARGUMENT, a2: MOCK_ARGUMENT, a3: MOCK_ARGUMENT)
make4 (a1: MOCK_ARGUMENT, a2: MOCK_ARGUMENT, a3: MOCK_ARGUMENT, a4: MOCK_ARGUMENT)
make5 (a1: MOCK_ARGUMENT, a2: MOCK_ARGUMENT, a3: MOCK_ARGUMENT, a4: MOCK_ARGUMENT, a5: MOCK_ARGUMENT)
make6 (a1: MOCK_ARGUMENT, a2: MOCK_ARGUMENT, a3: MOCK_ARGUMENT, a4: MOCK_ARGUMENT, a5: MOCK_ARGUMENT, a6: MOCK_ARGUMENT)
make7 (a1: MOCK_ARGUMENT, a2: MOCK_ARGUMENT, a3: MOCK_ARGUMENT, a4: MOCK_ARGUMENT, a5: MOCK_ARGUMENT, a6: MOCK_ARGUMENT, a7: MOCK_ARGUMENT)
make8 (a1: MOCK_ARGUMENT, a2: MOCK_ARGUMENT, a3: MOCK_ARGUMENT, a4: MOCK_ARGUMENT, a5: MOCK_ARGUMENT, a6: MOCK_ARGUMENT, a7: MOCK_ARGUMENT, a8: MOCK_ARGUMENT)
make9 (a1: MOCK_ARGUMENT, a2: MOCK_ARGUMENT, a3: MOCK_ARGUMENT, a4: MOCK_ARGUMENT, a5: MOCK_ARGUMENT, a6: MOCK_ARGUMENT, a7: MOCK_ARGUMENT, a8: MOCK_ARGUMENT, a9: MOCK_ARGUMENT)
make10 (a1: MOCK_ARGUMENT, a2: MOCK_ARGUMENT, a3: MOCK_ARGUMENT, a4: MOCK_ARGUMENT, a5: MOCK_ARGUMENT, a6: MOCK_ARGUMENT, a7: MOCK_ARGUMENT, a8: MOCK_ARGUMENT, a9: MOCK_ARGUMENT, a10: MOCK_ARGUMENT)

Features

count: INTEGER_32
valid_index (i: INTEGER_32): BOOLEAN
item (i: INTEGER_32): MOCK_ARGUMENT
out_in_tagged_out_memory

Append terse printable representation of current object in tagged_out_memory.

{}

make0
make1 (a1: MOCK_ARGUMENT)
make2 (a1: MOCK_ARGUMENT, a2: MOCK_ARGUMENT)
make3 (a1: MOCK_ARGUMENT, a2: MOCK_ARGUMENT, a3: MOCK_ARGUMENT)
make4 (a1: MOCK_ARGUMENT, a2: MOCK_ARGUMENT, a3: MOCK_ARGUMENT, a4: MOCK_ARGUMENT)
make5 (a1: MOCK_ARGUMENT, a2: MOCK_ARGUMENT, a3: MOCK_ARGUMENT, a4: MOCK_ARGUMENT, a5: MOCK_ARGUMENT)
make6 (a1: MOCK_ARGUMENT, a2: MOCK_ARGUMENT, a3: MOCK_ARGUMENT, a4: MOCK_ARGUMENT, a5: MOCK_ARGUMENT, a6: MOCK_ARGUMENT)
make7 (a1: MOCK_ARGUMENT, a2: MOCK_ARGUMENT, a3: MOCK_ARGUMENT, a4: MOCK_ARGUMENT, a5: MOCK_ARGUMENT, a6: MOCK_ARGUMENT, a7: MOCK_ARGUMENT)
make8 (a1: MOCK_ARGUMENT, a2: MOCK_ARGUMENT, a3: MOCK_ARGUMENT, a4: MOCK_ARGUMENT, a5: MOCK_ARGUMENT, a6: MOCK_ARGUMENT, a7: MOCK_ARGUMENT, a8: MOCK_ARGUMENT)
make9 (a1: MOCK_ARGUMENT, a2: MOCK_ARGUMENT, a3: MOCK_ARGUMENT, a4: MOCK_ARGUMENT, a5: MOCK_ARGUMENT, a6: MOCK_ARGUMENT, a7: MOCK_ARGUMENT, a8: MOCK_ARGUMENT, a9: MOCK_ARGUMENT)
make10 (a1: MOCK_ARGUMENT, a2: MOCK_ARGUMENT, a3: MOCK_ARGUMENT, a4: MOCK_ARGUMENT, a5: MOCK_ARGUMENT, a6: MOCK_ARGUMENT, a7: MOCK_ARGUMENT, a8: MOCK_ARGUMENT, a9: MOCK_ARGUMENT, a10: MOCK_ARGUMENT)
arguments: FAST_ARRAY[MOCK_ARGUMENT]

count: INTEGER_32

effective function

valid_index (i: INTEGER_32): BOOLEAN

effective function

item (i: INTEGER_32): MOCK_ARGUMENT

effective function

require

valid_index(i)

out_in_tagged_out_memory

effective procedure

Append terse printable representation of current object in tagged_out_memory.

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))

make0

effective procedure

{}

make1 (a1: MOCK_ARGUMENT)

effective procedure

{}

make2 (a1: MOCK_ARGUMENT, a2: MOCK_ARGUMENT)

effective procedure

{}

make3 (a1: MOCK_ARGUMENT, a2: MOCK_ARGUMENT, a3: MOCK_ARGUMENT)

effective procedure

{}

make4 (a1: MOCK_ARGUMENT, a2: MOCK_ARGUMENT, a3: MOCK_ARGUMENT, a4: MOCK_ARGUMENT)

effective procedure

{}

make5 (a1: MOCK_ARGUMENT, a2: MOCK_ARGUMENT, a3: MOCK_ARGUMENT, a4: MOCK_ARGUMENT, a5: MOCK_ARGUMENT)

effective procedure

{}

make6 (a1: MOCK_ARGUMENT, a2: MOCK_ARGUMENT, a3: MOCK_ARGUMENT, a4: MOCK_ARGUMENT, a5: MOCK_ARGUMENT, a6: MOCK_ARGUMENT)

effective procedure

{}

make7 (a1: MOCK_ARGUMENT, a2: MOCK_ARGUMENT, a3: MOCK_ARGUMENT, a4: MOCK_ARGUMENT, a5: MOCK_ARGUMENT, a6: MOCK_ARGUMENT, a7: MOCK_ARGUMENT)

effective procedure

{}

make8 (a1: MOCK_ARGUMENT, a2: MOCK_ARGUMENT, a3: MOCK_ARGUMENT, a4: MOCK_ARGUMENT, a5: MOCK_ARGUMENT, a6: MOCK_ARGUMENT, a7: MOCK_ARGUMENT, a8: MOCK_ARGUMENT)

effective procedure

{}

make9 (a1: MOCK_ARGUMENT, a2: MOCK_ARGUMENT, a3: MOCK_ARGUMENT, a4: MOCK_ARGUMENT, a5: MOCK_ARGUMENT, a6: MOCK_ARGUMENT, a7: MOCK_ARGUMENT, a8: MOCK_ARGUMENT, a9: MOCK_ARGUMENT)

effective procedure

{}

make10 (a1: MOCK_ARGUMENT, a2: MOCK_ARGUMENT, a3: MOCK_ARGUMENT, a4: MOCK_ARGUMENT, a5: MOCK_ARGUMENT, a6: MOCK_ARGUMENT, a7: MOCK_ARGUMENT, a8: MOCK_ARGUMENT, a9: MOCK_ARGUMENT, a10: MOCK_ARGUMENT)

effective procedure

{}

arguments: FAST_ARRAY[MOCK_ARGUMENT]

writable attribute

{}