PHP DeviceInterfaceの例

コード例 #1

ファイル: DeviceManager.php プロジェクト: ppiedaderawnet/concrete5

 /**
  * @param Device $device
  */
 public function register(DeviceInterface $device)
 {
     $this->container[$device->getHandle()] = $device;
 }

コード例 #2

ファイル: Notification.php プロジェクト: scotwells/gcm

 public function hasDevice(DeviceInterface $device)
 {
     return array_key_exists($device->getRegistrationId(), $this->deviceMap);
 }