述語セレクション・ウィンドウ

GIF87a?????,???nx?m??蛞詢}????V ?-|???濟瀚?AV1%?耋yd>?? ??袂? ????豌;?a寞xｯ苡z9?hG??狐?帶??9IYiy??富蝎?拮8餡p??娩褸 +;K[k{?:????lH?W????万?-??駢|}] ??~??滲k?lq?K?`?on?_謐T??B?o?p?-?+!????????4Xit?r*W????b~T?e?9!l沫?Mq3e聖P&2y 纖t??l W?Bj?7Qp]h?RA?$Y?/+?lK$\v\膓吸??P??l?k??id r,/N??On|?u擶??鉚 ?f%??尹峅 ?7夙崎jぇ9???祐螺?緊?靫了yq??玉?o ???vp??}檐榲????4秋?z?p??k??闖?_?Tw?b???TQ?D O<ィ`f??(??CEsXj?#IK??o?????廖u?-?c????J?d?9 uD??.匹?vc?NI%d)U??恨Tnm f?2?f?&)^ιf?銜?r??柞??息g?v咼?J(-|??eБﾊy茖? ????n??*??j*e┣|??z變?Zi┴Q???!v(?#:8????T????懃??U,8????y?????宸?i=??U?V?=n???垤С?V袂??qi??盧=ex??硫?/(?Rla?b?xE??卦有?恰攪.????焉????:
C赤?y???炎?9]4j??e?Q??P?T/:??Zk??]??z??{_媛8??h5*?鶸dD?s,n彈U??.?*賁1c8S????Hp?k?y掀;kd?舜??`.9o?C?(??62????婁LD??3x?-?廝Y&xvx???溲?u?m?i?_??XG???m.m??nH????新??Rm:z??3\???4?l??"?!?=oz???状???Vtz????-]LS}o??$*c?|e2柎?'??]?1n??G>?<珮a?? ?汰??込e??:b?語"7杁?sR?d??B!c?4iAG???Oz(?7????????????搜i?7狸j??,阡傚??7?_???3?{vc?msｃ杰U跿?]?f趣?8?路襟<佩~?+??X綽>x枚{d?8.刷?2mxx?蹐???i，?朱???!救'y*ocY??????練2?v????v??????n?_??_港G?Oi???I鑁m鰆d??|??v?~??qaj?W?)??w?????xj?l4?$??&m`k_?島yBf?co6D?m?有Δ?峻様.?5輒1??? 傭?喞?}?}????融\?殞I? ?=?U?窯~=?舜????-??=???*e-5?潰E?杯???J? 息?g]?????: ???柧l彌??粘 櫓耀斗湊=?-消=?s弩???枉-捏K拆}?輾蓉???s竕?]O??|? ?剞努??|?mI?戀???G瀚??啻???-?輩??~-沚?R轆??~%?紫?V?|?n????h? !???Ｍ?郊???A遼羯禺0A轎??3?Z?I?R?n幃せ9N?????$ﾒ?癢循ア$z???? 樂ｆq丈r?M次 ?z?c週z?|丞???????c?捷M?s.?N薐9 ?????>??廠??~????>螟^?^??????藏溯?藪城鮎覯??訛^蠎ｪQ?#鉗??h??I軒??瞠L葫Wl??)s?N?j????8?????糠)?諡????錺?S?U÷?J?~?塁??渝c上x)????/墫 ??陜?鞘??忍N?8纐優??^癶????縷D?j????聳}C ???も:???7???Y.)|????$鴦{???=^? ??M?N?]?>?叙X?o湊?C?v????|??裘Y-?踞} ????-??1S
L?A??毎mSべ?????y???>??釜燕?伐戉d????姦#?〓?M?>?+?~=G?$???譛k\?裸q\??-??a]腋溥g?烽陌充?檢窩憙燼?????????Lq?狛a?VAN:!蝶??5?K??zF??r??k?_I冓?>?ｩ?-{>?T~??\???)4fO??]|?髷??卯絹昃?縵??鯡?+-?? ???G?鳴(/WY'w葯?? !S?[?2q??ymU??_?A{hc?概?CУ?酸溶决孥掏殫轗?墳^eC燗??? y?鑾q朋%T?‖x??v?C?1f?o?"@保???A ?颯o徇?xs???向s?m?]??濮曝785際{????強E?}}??<_???/*溟?岐(?>?粋????"H?P?L薀??t??Q粽4燿*雉?A*?PI??? 圻?q4Q?oL饒b?O???3,家?'uJOlzA?)5

Predicate Selection Windowは、例えばlistingやabolishのように、述語を引数としてとる機能を呼び出す場合に、または、システム中における全ての述語を概観するためのcurrent_predicate selectionにも使用しています。

セレクション・ウィンドウは、direct、wildcard、arityとmoduleの四つのセレクションから成り立っており、これらの制約条件を使って必要な述語に注目することができます。

'ok'ボタンを押したら、処理が行なわれます。

関係する全ての述語、例えば、リスト可能な全ての述語が、'Predicates'のセレクション・リスト上に表示されます。OSF/Motifの環境では、そのリスト中の一つ及び複数のエレメントを異なる方法で選べます。この中、最も重要な方法は、'drag'であり、一つのエレメントをクリックし、全ての選択するエレメントに通してマウスをdragし、最後のエレメントでマウスボタンを解除します。また、あるエレメントのところで二回連続にマウスをクリックしたら、そのエレメントを選んで'ok'にするという意味となります。例えば、selection windowの除去とサンプル・リスティングの呼び出し。

Athenaの環境では、複数のエレメントを選択することができません。したがって、エレメントをクリックすると、すぐに実行されます。

他には、比較的に少ない述語を注目する場合は、以下に方法が三つあります。

- Selection テキスト・フィールドに、'*'或は'?'というようなワイルドカードとして許されたパターンをタイプします。

- Arityリストより、述語のarityを選びます。

- Moduleリストより、述語が属するモジュールを選びます。

'apply'ボタンを押すと、選択したワイルドカードとアリティとモジュールにマッチした述語のリストを更新して表示します。

もし、セレクション・リストに何も選択していない場合、無条件であるとみなされ、全てのエレメントを選んだことになります。

また、OSF/Motifの場合は、マウスで'Shift+click'すると、選択したリストから任意のエレメントを除きます。

さらに、Athenaの場合は、エレメントを一つだけか全て選択することしかできません。あるエレメントを削除するには、そのエレメントの上でマウスボタンを押したままマウスをSelectionの外部に移動した後にボタンを離します。