Re: [eclipse-clp-users] Remote Tools

Rafael Oliveira wrote:
> hi,
> 
> if I want create my user trace filtering the paremeters (call, redo...) or
> add new paremeters for trace, for example, if i want create a better view of
> trace, what must i use? tktools?
> 
> thanks
> 
> Rafael Oliveira
> 
> 
> 
> ------------------------------------------------------------------------
> 
> -------------------------------------------------------------------------
> This SF.Net email is sponsored by the Moblin Your Move Developer's challenge
> Build the coolest Linux based applications with Moblin SDK & win great prizes
> Grand prize is a trip for two to an Open Source event anywhere in the world
> http://moblin-contest.org/redirect.php?banner_id=100&url=/
> 
> 
> ------------------------------------------------------------------------
> 
> _______________________________________________
> ECLiPSe-CLP-Users mailing list
> ECLiPSe-CLP-Users_at_lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/eclipse-clp-users

The tracer for tktools has a filtering tool that lets you select 
conditions you want the tracer to stop

The debuggong chapter in the User manual has a section on extending the 
debugger, see

http://87.230.22.228/doc/userman/umsroot081.html

Note that as the document says, this is not really intended for the end 
user -- you don't really want to write additional code just to do 
debugging. This is intended for the library writer to produce better 
view of executing code for the library. A prime example this will be 
useful for is lib(ech), which currently shows only the transformed code, 
which is not very readable.

If what you want is to examine your goal more closely, I would suggest 
using the inspector tool from the tktool set. This lets you navigate 
into a term (e.g. the goal at a debug port) and examine it.

Cheers,

Kish

-- 
This e-mail may contain confidential and privileged material for the
sole use of the intended recipient. Any review, use, distribution or
disclosure by others is strictly prohibited. If you are not the intended
recipient (or authorized to receive for the recipient), please contact
the sender by reply e-mail and delete all copies of this message.
Cisco Systems Limited (Company Number: 02558939), is registered in
England and Wales with its registered office at 1 Callaghan Square,
Cardiff, South Glamorgan CF10 5BT.