属性が使いやすくなりました。属性の動作として最初に値を保存しなけれななりません。そのため短絡評価等によって評価されるかどうかわからない箇所では使用できません。値を保存しようとするアクセス自体がエラーを引き起こす恐れがあるからです。範囲内である必要があります。結果は実行の前後で変化する恐れがあります。アクセスしてよいかどうかわからないためエラーになります。属性が使えるようになりました。アクセスしてよいかどうかを確定できます。長さが変わらないことも表明してしまいましょう。等のclass-wide版アスペクトは使えないことが確定しました。継承することはできます。finalでそこから更に派生することはできませんのでほぼ問題はないと思います。緩めたいときがもしあれば困るかもですね。自体ほとんど使われてなさそうな。型に付けるアスペクトの式の中では自身のオブジェクトは型名で表します。要素を参照することはできません。続けるかで意味が変わってしまいます。P;オブジェクト名から続けた場合は外部呼び出しとして同期が行われます。書きたいのですがエラーになってしまっていました。要素はアスペクト中でも内部呼び出しできるようになりました。逆の話で、デフォルト引数と事前条件では内部呼び出しが禁止されました。デフォルト引数や事前条件は同期前に評価されるためです。P;かといって意図しない同期が行われてしまう外部呼び出しも書くべきではないでしょう。