return result;
}
- async command uint8_t TransferredFrom.getUserId(){ return myUserId;}
+ async command uint8_t TransferredFrom.getUserId() { return myUserId;}
async command void TransferredFrom.transfer()
{
signal ResourceTransferred.transferred();
}
-
- async command error_t ResourceTransferred.release()
- {
- return call ResourceTransferControl.release(myUserId);
- }
- default async command uint8_t TransferTo.getUserId(){ call Leds.led0On(); return 0xFF;}
- default async command void TransferTo.transfer(){ call Leds.led0On(); }
+ default async command uint8_t TransferTo.getUserId() { ASSERT(0); return 0xFF;}
+ default async command void TransferTo.transfer() { ASSERT(0); }
+ default async event void ResourceTransferred.transferred() {}
}