検証結果ナビゲーション・ツリー

検証済のオブジェクトおよびオブジェクトのセットが左側のナビゲーション・ツリーに表示されます。大規模なオブジェクトのセットを検証する場合、特定のオブジェクトを検索するにはナビゲーション・ツリーが便利です。このツリーでは、オブジェクトまたはオブジェクトの型を選択すると、右側に特定の検証メッセージが表示されます。