synchronized宣言されているならば,制御の移動の前にオブジェクトがロック設定されなければならない。カレントスレッドがロックを獲得するまでは,それ以上処理を進めることはできない。ターゲット参照があるならば,ロック設定されなければならない。オブジェクトがロック設定されなければならない。オブジェクトは正常完了,中途完了に関わらず,メソッド本体の実行が終了したとき,自動的にロック解除される。ロック設定及びロック解除は,ちょうどそのメソッドの本体がsynchronized文(14.18)の中に埋め込まれているかのように振る舞う。あるかどうかは検査されない。{favorite().mountain();}}これは次のように表示される。評価の順序インスタンスメソッド呼出し(15.12)の一部として,呼び出されるオブジェクトを指示する式がある。この式はメソッド呼出しの実引数式のどの部分よりも前に完全に評価される。先に最初に評価される。参照に変更される前に記憶される。