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

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から返らない。