Lines Matching refs:attach_tools
38 :- untraceable tools/0, attach_tools/0,attached/1.
39 :- export attach_tools/0, attach_tools/3, tools/0, attached/1.
41 :- tool(attach_tools/3, attach_tools/4).
46 attach_tools :-
51 attach_tools(Address, Block, Goal, Module) :-
83 attach_tools(HostPort, 10, launch_tools(HostPort)),
115 :- skipped tools/0, attach_tools/0.
144 see_also: [attach_tools/0,attach_tools/3],
148 :- comment(attach_tools/0, [
160 see_also: [tools/0, attach_tools/3]
163 :- comment(attach_tools/3, [
165 amode: attach_tools(?,++,?),
173 user with more control over the connection than attach_tools/0. The
193 </P><P>attach_tools/0 can be implemented using attach_tools/3 as follows:
196 attach_tools :-
197 attach_tools(_, block, true).
204 [eclipse 2]: attach_tools(H/P,10,
221 see_also: [tools/0, attach_tools/0]