# 公開プロパティの委譲先検査

DobotCtrlの`@property`/`@...setter`をASTで抽出し、`self._ctrl`への参照を確認した。getterの戻り値やsetterの例外伝播は実行時には検証していない。

| 公開名 | 種類 | バックエンド参照 | 静的確認 |
| --- | --- | --- | --- |
| `coord_type` | getter | `get_coord_type` (call) | method |
| `coord_type` | setter | `set_coord_type` (call) | method |
| `path_blend` | getter | `get_path_blend` (call) | method |
| `path_blend` | setter | `set_path_blend` (call) | method |
| `motion_mode` | getter | `get_motion_mode` (call) | method |
| `motion_mode` | setter | `set_motion_mode` (call) | method |
| `task` | getter | `task` (attribute) | property |
| `task_state` | getter | `task_state` (attribute) | property |
| `current_position` | getter | `current_position` (attribute) | property |
| `current_angle` | getter | `current_angle` (attribute) | property |
| `speed` | getter | `speed` (attribute) | property |
| `jspeed` | getter | `jspeed` (attribute) | property |
| `extspeed` | getter | `extspeed` (attribute) | property |
| `accel` | getter | `accel` (attribute) | property |
| `decel` | getter | `decel` (attribute) | property |
| `extaccel` | getter | `extaccel` (attribute) | property |
| `extdecel` | getter | `extdecel` (attribute) | property |
| `lock` | getter | `lock` (attribute) | property |
| `busy_status` | getter | `busy_status` (attribute) | property |
| `servo_on` | getter | `servo_on` (attribute) | property |
| `direct_mode` | getter | `direct_mode` (attribute) | property |
| `error_code` | getter | `error_code` (attribute) | property |
| `error_description` | getter | `error_description` (attribute) | property |

## 検査上の注意

`attribute / runtime`はバックエンドの`@property`と静的に一致しなかった参照であり、`__init__`で設定されるインスタンス属性等を含み得る。未実装の断定ではない。setterは戻り値を返さないため、委譲先の戻り値は公開setterから返らない。