-
Notifications
You must be signed in to change notification settings - Fork 1
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
auto_operationの配線図とダイヤを更新 #239
Conversation
あ~、DiaPlanner.py も変えなきゃいけないのか |
やっぱりこの PR 内でやります |
誰にレビュー頼めばいいかわからないけど、とくに @thgcMtdh かな……? |
#262 の方で上がったのが、 |
でデッドロック起きとる が、そもそもの修正が大きくて、他の変更のためにも一回これをマージしておきたいので、細かいダイヤグラムの修正は別イシューでやることとします |
あとは、#263 とけっこうコンフリクトしてるので、これを取り込んで終わり……! |
う~ん、路線図の定義部分がフォーマットされるの見づらいので |
デッドロックを @.thgcMtdh が直してくれているので待ちます |
…ken/plarail2022 into plarailers/#232-update-map
@n4o847 これなんですけど、フォーマッタの行数制限を緩くする && コメントを末尾に書かずに行頭から始める でそれなりの見た目になりそうです。 |
@Azuki-bar ありがとうございます、ではフォーマッタは有効にしたままで、任せます |
で停止するという問題が依然起こっている( 089cebd にチェックアウトして試してみても同様だった) この PR は一回マージして、ダイヤグラムの問題は別イシューに分割します |
Closes #232
内容
11月12日時点で Discord でやりとりされた新しい配線図にしたがって、auto_operation の内部の配線図とダイヤを書き換えました。
ダイヤグラムは
docs/chofufes2022-diagram.jpg
にあります。Thanks to @Ryota-Nitto
ところでそこそこ影響の大きい変更点として、今までは各種 ID を整数で管理していたが、今回の変更にともなって文字列に変更したというのがあります。
影響する範囲を追うために型チェックを有効にして開発してみたけど、そもそもの auto_operation の型エラーが多かった……。
各種 ID について
Literal
型を使って型チェックを行っているので、タイプミスはなくせていると思います。