In an assignment o.x = e , the expression e may only point to transitively initialized objects. This is how monotonicity is enforced in the system. Note that in ...
確定! 回上一頁