public VBinderThreadState(Thread current)
 {
     Contract.Ensures(Owner == current);
     Capabilities = new CapabilityRef(current, 0, Globals.CapabilityManager.NullCapability);
     MessageQueue = new VBinderMessageBuffer(Capacity, current);
     this.Owner = current;
 }
Example #2
0
 public VBinderThreadState(Thread current)
 {
     Contract.Ensures(Owner == current);
     Capabilities = new CapabilityRef(current, 0, Globals.CapabilityManager.NullCapability);
     MessageQueue = new VBinderMessageBuffer(Capacity, current);
     this.Owner   = current;
 }