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();
}
- default async command uint8_t TransferTo.getUserId(){ call Leds.led0On(); return 0xFF;}
- default async command void TransferTo.transfer(){ call Leds.led0On(); }
- default async event void ResourceTransferred.transferred(){}
+ 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() {}
}