Daohub-io/cap9

Procedure#Delete Capability (Granular)

Closed this issue · 4 comments

Latrasis commented

In addition to #94:

We need to include a test that:

  1. Introduces Procedure A and Procedure B into the procedure table.

  2. Procedure A is designated a procedure delete capability (type 0x3) that allows it to delete any procedure iff it has id X.

  3. Procedure B is not given any capabilities.

  4. Procedure A removes Procedure B from the procedure table by invoking it's capability iff Procedure B has a procedure id X.

JakeOShannessy commented

So is the design that there are two kinds of delete capabilities: one that allows you to delete any procedure, and another which includes a specific procedure name that let's you delete a single specific procedure?

Latrasis commented

Yes, but with the same type. It's one capability type, just that an empty delete capability stands for *. Similar to how a Call capability is implemented currently. #64

Latrasis commented

I'll assign this to myself.

Latrasis commented

Done at #105