インプットに対する検証機能の強化案

[9rnsr]

主に、#38 で機能追加された新形式のインプットを対象とする。 備忘録的に、思いついたら追加する。

• [ ] 流入も流出も持たないコンパートメントをエラーとする。 記述ミスの可能性が高いため。

• [ ] mix機能コンパートメントについて

  • 流入と流出の両方が定義されている必要があり、流入だけ、流出だけ定義されている場合はいずれもエラーとする。
  • 流入が１つだけ、あるいは流出が1つだけの場合、そのmixコンパートメントは削除できると思われるが、いんぷっとにおいて意図的に残してる可能性があるためエラーとはしない。(やるなら警告とか？)

• [ ] acc機能コンパートメントについて

  • 流出がないのはOKだが、流入がないのはエラーとする？(おそらく記述ミスの可能性が高い)

[9rnsr]

インプットに対する禁則条件として整理し、実装したものは #57 へ集約した。

[9rnsr]

ここに残したものは、意図しないインプットの間違いの場合もあるが、インプットを書き換えたりする作業中に意図的に発生しうる可能性もある。そのため、即座にエラーとして拒否するよりも、計算に無意味な設定であるという警告を出す方が良いかもしれない。