バックエンド属性の定義・初期化経路
DobotCtrlの公開getterが参照するself._ctrl.<属性>をASTで抽出し、DobotTcpの@propertyとself.<属性>への代入箇所を照合した。これは静的な定義確認であり、実行時に値が利用可能かどうかは保証しない。
公開getter |
参照先 |
静的分類 |
代入元メソッド |
|---|---|---|---|
|
|
method |
— |
|
|
method |
— |
|
|
method |
— |
|
|
property |
— |
|
|
property |
— |
|
|
property |
— |
|
|
property |
— |
|
|
property |
— |
|
|
property |
— |
|
|
property |
— |
|
|
property |
— |
|
|
property |
— |
|
|
property |
— |
|
|
property |
— |
|
|
property |
— |
|
|
property |
— |
|
|
property |
— |
|
|
property |
— |
|
|
property |
— |
|
|
property |
— |
注意事項
NOT FOUNDは、解析対象のDobotTcpクラス内に同名property、メソッド、直接代入が検出されないことを示す。継承、動的属性、別オブジェクトへの委譲などは本検査の対象外であり、直ちに実行時エラーと断定しない。
current_positionやbusy_statusはgetter内で外部APIまたはFeedbackを読み出すため、初期化時の代入がないことは異常ではない。通信異常時の振る舞いは別の監査資料を参照する。