blob: 40d1de31b01ea673916b86fa275bf6df4bd2a936 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
include protocol PmanagedProtocol;
// sanity check of managed/manager protocols
protocol PmanagerProtocol {
manages PmanagedProtocol;
parent:
async PmanagedProtocol(int i);
};
|