private void UpdateDeviceProperty()
{
/* プロパティエディタをクリア */
GBox_DeviceProperty.Controls.Clear();
/* デバイスクラスが存在しない場合はプロパティリセット */
if (devc_ == null)
{
devp_ = null;
return;
}
/* 設定済みのデバイスプロパティの型が間違っている場合は初期化 */
if ((devp_ == null) ||
(devp_.GetType() != devc_.GetPropertyType())
)
{
devp_ = devc_.CreateProperty();
}
if (devp_ == null)
{
return;
}
/* プロパティエディタを設定 */
devpe_ = devp_.GetPropertyEditor();
if (devpe_ == null)
{
return;
}
devpe_.Dock = DockStyle.Fill;
GBox_DeviceProperty.Controls.Add(devpe_);
}
