tree 222bfdb7bef87ab955bbef407aab75469cc472b4
parent c07399d071c59658a5c2bed81dee6e9ed9142442
author Viet-Trung Luu <viettrungluu@chromium.org> 1462908599 -0700
committer Viet-Trung Luu <viettrungluu@chromium.org> 1462908599 -0700

Add rights for get/set options. Update message pipe and data pipe APIs.

Rationale for having separate get/set options rights: Otherwise, you can
control the abilities to read from a data pipe consumer and set its
options independently, but the abilities to write to a data pipe
producer and set its options are tied to a single right.

Still to do separately: I still have to update docs for other APIs.
Also, I can't really test these in a reasonable way until I've
implemented MojoGetRights() and MojoReduceRights().

R=azani@chromium.org

Review URL: https://codereview.chromium.org/1963053003 .