Re: [eclipse-clp-users] loading library time_log

Hi Kish,

You can find the library's description at
http://87.230.22.228/doc/bips/lib/time_log/index.html

The description is rather brief, but if it does what i think is is indeed a
useful thing. As far as I understood, it can be used to log time values to a
file during execution of Eclipse code. Comparing these time values post
runtime, time profiles can be created to analyze the past execution. At
least, this is what I would like to use it for :-)

Oliver.

On 28 July 2010 16:24, Kish Shen <kisshen_at_...5...> wrote:

> Oliver Shycle wrote:
>
>> Hi all,
>>
>> I would like to use the time_log library which - according to the ECLiPSe
>> Librarys Overview - should exist.
>> Unfortunately I cannot load it using the command
>> :- lib(time_log).
>>
>> I get the error "library not found".
>>
>> Is it not further supported and shipped with my ECLiPSe version 6.0?
>>
>> Thanks for your help,
>> Oliver.
>>
>>
> Hi Oliver,
>
> I don't believe lib(time_log) was ever shipped with any ECLiPSe
> distribution. This was (is?) used in the internal testing procedure
> of ECLiPSe, to record the run-times for the nightly tests, so that
> any sudden big changes in run-time will be noticed. This was done to
> catch any unintended performance degradation due to updates to the
> system.
>
> I think the main reason it is not generally distributed is because the
> library doesn't seem to be of much use outside of ECLiPSe's testing
> framework. If it is useful, then I don't see why it cannot be distributed.
> What do you want to use the library for?
>
> Where did you find the library mentioned -- was it in the reference manual?
>
> 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.
>