user-dev-guide: update pdf with changes from r6541

git-svn-id: https://scalaris.googlecode.com/svn/trunk@6542 71766da9-9752-0410-ab17-bfafa751c56a
user-dev-guide: fix a typo of r6541

git-svn-id: https://scalaris.googlecode.com/svn/trunk@6543 71766da9-9752-0410-ab17-bfafa751c56a
rbrcseq: fix DBG_ASSERT call (regression from r6529).


git-svn-id: https://scalaris.googlecode.com/svn/trunk@6544 71766da9-9752-0410-ab17-bfafa751c56a
tx_tm_rtm: make DBG_ASSERT more explicit.


git-svn-id: https://scalaris.googlecode.com/svn/trunk@6545 71766da9-9752-0410-ab17-bfafa751c56a
comm: more precise envelope/0 type

git-svn-id: https://scalaris.googlecode.com/svn/trunk@6546 71766da9-9752-0410-ab17-bfafa751c56a
tester: add the ability to create PIDs

-> use a PID of a process that simply receives messages and discards them

git-svn-id: https://scalaris.googlecode.com/svn/trunk@6547 71766da9-9752-0410-ab17-bfafa751c56a
tester: add global value creators for some essential Scalaris types

* comm:reg_name/0,
* comm:erl_local_pid_with_reply_as/0,
* comm:mypid_with_reply_as/0,
* comm:mypid_plain/0

git-svn-id: https://scalaris.googlecode.com/svn/trunk@6548 71766da9-9752-0410-ab17-bfafa751c56a
tests: remove some feeders not needed any more (we can create PIDs now)

git-svn-id: https://scalaris.googlecode.com/svn/trunk@6549 71766da9-9752-0410-ab17-bfafa751c56a
util: fix type spec of do_throw/1

git-svn-id: https://scalaris.googlecode.com/svn/trunk@6550 71766da9-9752-0410-ab17-bfafa751c56a
gossip_load: no need to explicitely throw on invalid parameters

-> rely on function_clause error

git-svn-id: https://scalaris.googlecode.com/svn/trunk@6551 71766da9-9752-0410-ab17-bfafa751c56a
gossip: simplify some feeders

git-svn-id: https://scalaris.googlecode.com/svn/trunk@6552 71766da9-9752-0410-ab17-bfafa751c56a
gossip: faster tester is_state/1 check for invalid states

git-svn-id: https://scalaris.googlecode.com/svn/trunk@6553 71766da9-9752-0410-ab17-bfafa751c56a
gossip_SUITE: fix regression of r6551 (the expected exception needs to be adapted, too)

git-svn-id: https://scalaris.googlecode.com/svn/trunk@6554 71766da9-9752-0410-ab17-bfafa751c56a
rrepair: type fixes for local PIDs

git-svn-id: https://scalaris.googlecode.com/svn/trunk@6555 71766da9-9752-0410-ab17-bfafa751c56a
intervals_SUITE: tester needs a running comm server to create comm:mypid/0 types

git-svn-id: https://scalaris.googlecode.com/svn/trunk@6556 71766da9-9752-0410-ab17-bfafa751c56a
comm: change get/2 to only return plain PIDs

When trying to get a PID on another node from a PID with an envelope, the envelope does not make much sense for the result, e.g. as used inside the FD modules.

git-svn-id: https://scalaris.googlecode.com/svn/trunk@6557 71766da9-9752-0410-ab17-bfafa751c56a
fd_hbd: minor refactoring

git-svn-id: https://scalaris.googlecode.com/svn/trunk@6558 71766da9-9752-0410-ab17-bfafa751c56a
comm: add get_plain_pid/1 for unpacking plain PIDs from envelopes

git-svn-id: https://scalaris.googlecode.com/svn/trunk@6559 71766da9-9752-0410-ab17-bfafa751c56a
make sure, erlang:monitor/2 is not called with envelope PIDs

git-svn-id: https://scalaris.googlecode.com/svn/trunk@6560 71766da9-9752-0410-ab17-bfafa751c56a
comm: more precise type spec for envelopes

also fix the tester not creating fully compliant envelopes

git-svn-id: https://scalaris.googlecode.com/svn/trunk@6561 71766da9-9752-0410-ab17-bfafa751c56a