[SAGA-RG] Semantics of NSEntry.move() ?

Mathijs den Burger mathijs at cs.vu.nl
Wed Sep 30 10:19:20 CDT 2009


Hi all,

The notes of ns_entry.move(saga::url target) say:

  - an identical copy exists at target
  - the original entry is removed

The postcondition of ns_entry.remove() says:

  the original entry is closed and removed

Does this imply that ns_entry.move() also closes the original ns_entry?
The spec is a bit vague here...

-Mathijs






More information about the saga-rg mailing list