オブジェクト内の変数参照のみに制限するものでした。Prot1;狙いとしては、複雑な式を禁止することで検証しやすくしたりロックフリーな形に展開したい等があるのだと思います。ここでのpureは副作用がないという意味ですね。Profileの変更¶プロファイルとは制限や各種ポリシーの組み合わせです。OSなし環境向けに機能制限版のAdaを定めています。これまでRavenscarプロファイルが定義されていました。http://ada-auth.org/standards/2xrm/html/RM-D-13.html#p7Jorvikプロファイル¶Jorvikと呼ばれるプロファイルが新しく定義されました。http://ada-auth.org/standards/2xrm/html/RM-D-13.html#p7.2Ravenscarプロファイルよりも若干緩くなっています。Ravenscarはイギリスの地名でした。Jorvikの名前はRavenscarの近くで活動していた海賊から取られたそうです。