append
Description:
public void append (
owned Caps caps2)
Appends the structures contained in caps2 to this.
The structures in caps2 are not copied -- they are transferred to this, and then
caps2 is freed. If either caps is ANY, the resulting caps will be ANY.
Parameters:
| this |
the Caps that will be appended to
|
| caps2 |
the Caps to append
|