class MOCK_SIGNATURE
Summary
Overview
prepare (fn: FEATURE_NAME, af: ANONYMOUS_FEATURE)
effective procedure
require ensure
recycle
effective procedure
require ensure
is_ready: BOOLEAN
writable attribute
result_type: STRING
writable attribute
require
feature_name: STRING
writable attribute
require
exports: STRING
writable attribute
require
arguments_count: INTEGER_32
writable attribute
require
simple_arguments: STRING
writable attribute
require
simple_argument_types: STRING
writable attribute
require
simple_arguments_signature: STRING
writable attribute
require
matcher_arguments: STRING
writable attribute
require
matcher_arguments_signature: STRING
writable attribute
require
argument_arguments: STRING
writable attribute
require
visit_formal_arg_list (visited: FORMAL_ARG_LIST)
effective procedure
require
  • visited /= Void
visit_declaration_group (visited: DECLARATION_GROUP)
effective procedure
require
  • visited /= Void
visit_declaration_1 (visited: DECLARATION_1)
effective procedure
require
  • visited /= Void
visit_client_list (visited: CLIENT_LIST)
effective procedure
require
  • visited /= Void
visit_type_mark_list (visited: TYPE_MARK_LIST)
effective procedure
require
  • visited /= Void
extend_argument (name: STRING, type: STRING)
effective procedure
{}
require
  • not name.is_empty
  • not type.is_empty
extend_argument_signature (type: STRING)
effective procedure
{}
require
  • not type.is_empty
clean_arguments
effective procedure
{}
set_no_arguments
effective procedure
{}
set_arguments (arguments: FORMAL_ARG_LIST)
effective procedure
{}
require
  • arguments.count > 0
commit_arguments
effective procedure
{}
make
effective procedure
{}
string_pool: STRING_RECYCLING_POOL
once function
{}