+
Point of view
All features
class EZMQ_EXCEPTION
Summary
top
Direct parents
Inherit list: EXCEPTION
Class invariant
top
Overview
top
Creation features
{ANY}
Features
{ANY}
{}
out_in_tagged_out_memory
effective procedure
{ANY}
top
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))
make (a_message: ABSTRACT_STRING)
effective procedure
{}
top
require
  • a_message /= Void
ensure
message: ABSTRACT_STRING
writable attribute
{}
top