架空のコードです． interface I { void f() in { assert(g()==1); } out { assert(g()==2); } // 最後に ; 必要か？ int g(); invariant() { assert(g()==1 || g()==2); } } class C : I { int v; void f() // I の in と out を継承 { v = (v==1 ? 2 : 1);…