Home » Archived » Test and Performance Tools Platform (TPTP) » is static analysis still available for TPTP 4.5
| |
| Re: is static analysis still available for TPTP 4.5 [message #133201 is a reply to message #133177] |
Thu, 24 July 2008 12:19   |
 Kristof Szabados
Messages: 82
Registered: July 2009 |
Member |
|
|
Hi Paul,
I don't really understand this.
I have downloaded the as-is component (for tptp 4.5) and owerwritten
with it all files that I found in the dropins folder of the all-in-one
tptp 4.5 package.
But I still don't see the usual menu, from where I could run the static
analysis on my code.
/* as far as I see this is the installation method for this component */
Actually I'm not really surprised as according to the timestamps the
as-is component versions were created about 1 minute earlier than the
all-in-one versions, and seem to have the same content.
I also tried the update manager, but after installing everything for
tptp 4.5, there was still no change.
I don't really understand what might be wrong, as there is no error log
I could refer to.
Best regards
Kristof
Paul Slauenwhite wrote:
> Hi Kristof,
> Static Analysis has moved to a an as-is component with separate
> installation instructions:
>
> http://www.eclipse.org/tptp/home/downloads/?ver=4.5.0#AsIsCo mponents
>
> We package 'empty' plug-ins in the GA deliverables to support upgrades
> through the Update Manager.
>
> Paul
> "Kristof Szabados" <szabadosk@yahoo.com> wrote in message
> news:g675gs$eir$1@build.eclipse.org...
>> Hi,
>>
>> I have downloaded an all in one TPTP 4.5 package, and the static analysis
>> package, but am not able to invoke the static analysis.
>> /*actually as I see the static analysis packages are available in the all
>> in one package, but even if I copy the separate files I can not make it
>> work */
>>
>> It seems as if the whole package could not be loaded by Eclipse as in
>> contrast with
>> http://www.eclipse.org/tptp/home/documents/process/developme nt/static_analysis/TPTP_static_analysis_tutorial_part1.html
>> I just don't have any "Analysis" command.
>>
>> /*
>> Just a short note the link on
>> http://www.eclipse.org/tptp/platform/documents/gettingstarte d/Static_Analysis_Getting_Started.html
>> is broken.
>> */
>>
>> Does anyone know how to activate the static analysis feature in this
>> version, I was using it since Eclipse 3.2
>>
>> Thanks
>
>
|
|
|
| Re: is static analysis still available for TPTP 4.5 [message #133214 is a reply to message #133201] |
Fri, 25 July 2008 10:15 |
Paul Slauenwhite
Messages: 975
Registered: July 2009 |
Senior Member |
|
|
Hi Kristof,
Did you restart with the -clean flag?
Paul
"Kristof Szabados" <szabadosk@yahoo.com> wrote in message
news:g69rvn$3k6$1@build.eclipse.org...
> Hi Paul,
>
> I don't really understand this.
>
> I have downloaded the as-is component (for tptp 4.5) and owerwritten with
> it all files that I found in the dropins folder of the all-in-one tptp 4.5
> package.
> But I still don't see the usual menu, from where I could run the static
> analysis on my code.
> /* as far as I see this is the installation method for this component */
>
> Actually I'm not really surprised as according to the timestamps the as-is
> component versions were created about 1 minute earlier than the all-in-one
> versions, and seem to have the same content.
>
> I also tried the update manager, but after installing everything for tptp
> 4.5, there was still no change.
>
> I don't really understand what might be wrong, as there is no error log I
> could refer to.
>
> Best regards
>
> Kristof
>
> Paul Slauenwhite wrote:
>> Hi Kristof,
>> Static Analysis has moved to a an as-is component with separate
>> installation instructions:
>>
>> http://www.eclipse.org/tptp/home/downloads/?ver=4.5.0#AsIsCo mponents
>>
>> We package 'empty' plug-ins in the GA deliverables to support
>> upgrades through the Update Manager.
>>
>> Paul
>> "Kristof Szabados" <szabadosk@yahoo.com> wrote in message
>> news:g675gs$eir$1@build.eclipse.org...
>>> Hi,
>>>
>>> I have downloaded an all in one TPTP 4.5 package, and the static
>>> analysis package, but am not able to invoke the static analysis.
>>> /*actually as I see the static analysis packages are available in the
>>> all in one package, but even if I copy the separate files I can not make
>>> it work */
>>>
>>> It seems as if the whole package could not be loaded by Eclipse as in
>>> contrast with
>>> http://www.eclipse.org/tptp/home/documents/process/developme nt/static_analysis/TPTP_static_analysis_tutorial_part1.html
>>> I just don't have any "Analysis" command.
>>>
>>> /*
>>> Just a short note the link on
>>> http://www.eclipse.org/tptp/platform/documents/gettingstarte d/Static_Analysis_Getting_Started.html
>>> is broken.
>>> */
>>>
>>> Does anyone know how to activate the static analysis feature in this
>>> version, I was using it since Eclipse 3.2
>>>
>>> Thanks
>>
|
|
|
| Re: is static analysis still available for TPTP 4.5 [message #133329 is a reply to message #133214] |
Fri, 25 July 2008 15:53 |
Kristof Szabados
Messages: 82
Registered: July 2009 |
Member |
|
|
Hi Paul,
Yes.
In the meanwhile I also tried to put the files directly into the eclipse
folders, instead of using the dropins, but with no difference.
Best Regards
Paul Slauenwhite wrote:
> Hi Kristof,
> Did you restart with the -clean flag?
>
> Paul
> "Kristof Szabados" <szabadosk@yahoo.com> wrote in message
> news:g69rvn$3k6$1@build.eclipse.org...
>> Hi Paul,
>>
>> I don't really understand this.
>>
>> I have downloaded the as-is component (for tptp 4.5) and owerwritten with
>> it all files that I found in the dropins folder of the all-in-one tptp 4.5
>> package.
>> But I still don't see the usual menu, from where I could run the static
>> analysis on my code.
>> /* as far as I see this is the installation method for this component */
>>
>> Actually I'm not really surprised as according to the timestamps the as-is
>> component versions were created about 1 minute earlier than the all-in-one
>> versions, and seem to have the same content.
>>
>> I also tried the update manager, but after installing everything for tptp
>> 4.5, there was still no change.
>>
>> I don't really understand what might be wrong, as there is no error log I
>> could refer to.
>>
>> Best regards
>>
>> Kristof
>>
>> Paul Slauenwhite wrote:
>>> Hi Kristof,
>>> Static Analysis has moved to a an as-is component with separate
>>> installation instructions:
>>>
>>> http://www.eclipse.org/tptp/home/downloads/?ver=4.5.0#AsIsCo mponents
>>>
>>> We package 'empty' plug-ins in the GA deliverables to support
>>> upgrades through the Update Manager.
>>>
>>> Paul
>>> "Kristof Szabados" <szabadosk@yahoo.com> wrote in message
>>> news:g675gs$eir$1@build.eclipse.org...
>>>> Hi,
>>>>
>>>> I have downloaded an all in one TPTP 4.5 package, and the static
>>>> analysis package, but am not able to invoke the static analysis.
>>>> /*actually as I see the static analysis packages are available in the
>>>> all in one package, but even if I copy the separate files I can not make
>>>> it work */
>>>>
>>>> It seems as if the whole package could not be loaded by Eclipse as in
>>>> contrast with
>>>> http://www.eclipse.org/tptp/home/documents/process/developme nt/static_analysis/TPTP_static_analysis_tutorial_part1.html
>>>> I just don't have any "Analysis" command.
>>>>
>>>> /*
>>>> Just a short note the link on
>>>> http://www.eclipse.org/tptp/platform/documents/gettingstarte d/Static_Analysis_Getting_Started.html
>>>> is broken.
>>>> */
>>>>
>>>> Does anyone know how to activate the static analysis feature in this
>>>> version, I was using it since Eclipse 3.2
>>>>
>>>> Thanks
>
|
|
|
| Re: is static analysis still available for TPTP 4.5 [message #133354 is a reply to message #133329] |
Fri, 25 July 2008 16:13 |
Paul Slauenwhite
Messages: 975
Registered: July 2009 |
Senior Member |
|
|
Hi,
Our Release Engineering Team just informed that you need an additional
step required due to the LTA:
https://bugs.eclipse.org/bugs/show_bug.cgi?id=239795
Paul
"Kristof Szabados" <szabadosk@yahoo.com> wrote in message
news:g6csu5$e1$1@build.eclipse.org...
> Hi Paul,
>
> Yes.
>
> In the meanwhile I also tried to put the files directly into the eclipse
> folders, instead of using the dropins, but with no difference.
>
> Best Regards
>
> Paul Slauenwhite wrote:
>> Hi Kristof,
>> Did you restart with the -clean flag?
>>
>> Paul
>> "Kristof Szabados" <szabadosk@yahoo.com> wrote in message
>> news:g69rvn$3k6$1@build.eclipse.org...
>>> Hi Paul,
>>>
>>> I don't really understand this.
>>>
>>> I have downloaded the as-is component (for tptp 4.5) and owerwritten
>>> with it all files that I found in the dropins folder of the all-in-one
>>> tptp 4.5 package.
>>> But I still don't see the usual menu, from where I could run the static
>>> analysis on my code.
>>> /* as far as I see this is the installation method for this component */
>>>
>>> Actually I'm not really surprised as according to the timestamps the
>>> as-is component versions were created about 1 minute earlier than the
>>> all-in-one versions, and seem to have the same content.
>>>
>>> I also tried the update manager, but after installing everything for
>>> tptp 4.5, there was still no change.
>>>
>>> I don't really understand what might be wrong, as there is no error log
>>> I could refer to.
>>>
>>> Best regards
>>>
>>> Kristof
>>>
>>> Paul Slauenwhite wrote:
>>>> Hi Kristof,
>>>> Static Analysis has moved to a an as-is component with separate
>>>> installation instructions:
>>>>
>>>> http://www.eclipse.org/tptp/home/downloads/?ver=4.5.0#AsIsCo mponents
>>>>
>>>> We package 'empty' plug-ins in the GA deliverables to support
>>>> upgrades through the Update Manager.
>>>>
>>>> Paul
>>>> "Kristof Szabados" <szabadosk@yahoo.com> wrote in message
>>>> news:g675gs$eir$1@build.eclipse.org...
>>>>> Hi,
>>>>>
>>>>> I have downloaded an all in one TPTP 4.5 package, and the static
>>>>> analysis package, but am not able to invoke the static analysis.
>>>>> /*actually as I see the static analysis packages are available in the
>>>>> all in one package, but even if I copy the separate files I can not
>>>>> make it work */
>>>>>
>>>>> It seems as if the whole package could not be loaded by Eclipse as in
>>>>> contrast with
>>>>> http://www.eclipse.org/tptp/home/documents/process/developme nt/static_analysis/TPTP_static_analysis_tutorial_part1.html
>>>>> I just don't have any "Analysis" command.
>>>>>
>>>>> /*
>>>>> Just a short note the link on
>>>>> http://www.eclipse.org/tptp/platform/documents/gettingstarte d/Static_Analysis_Getting_Started.html
>>>>> is broken.
>>>>> */
>>>>>
>>>>> Does anyone know how to activate the static analysis feature in this
>>>>> version, I was using it since Eclipse 3.2
>>>>>
>>>>> Thanks
>>
|
|
|
| Re: is static analysis still available for TPTP 4.5 [message #142440 is a reply to message #133354] |
Tue, 02 June 2009 11:29 |
Benjamin Zeiss
Messages: 29
Registered: July 2009 |
Junior Member |
|
|
Hello,
due to recent activities of mine, i have searched the net and found this
thread about the TPTP static analysis plugins not working.
Why don't you just build the as-is components and distribute them with
the TPTP package? I don't see how any normal user can possibly install
these as-is components by himself. As a developer, i spent about 3 hours
just trying to install the static analysis plugins somehow into Eclipse
Galileo. I gave up and recompiled the analysis.core and analysis.ui
plugins by myself - after that, they worked. The idea to just distribute
the plugins without classes is incredibly strange. It even took me a
while to figure out why Eclipse was reporting problems due to missing
classes as i was not aware of its as-is status (whatever that means. it
feels more like "abandoned" to me.) and just assumed that the
plugins should work when they are installed. I am seriously considering
to create our own branch of the static analysis plugins unless something
is changing here. The trouble is just too big otherwise.
Ben
Paul Slauenwhite schrieb:
> Hi,
> Our Release Engineering Team just informed that you need an additional
> step required due to the LTA:
>
> https://bugs.eclipse.org/bugs/show_bug.cgi?id=239795
>
>
> Paul
> "Kristof Szabados" <szabadosk@yahoo.com> wrote in message
> news:g6csu5$e1$1@build.eclipse.org...
>> Hi Paul,
>>
>> Yes.
>>
>> In the meanwhile I also tried to put the files directly into the eclipse
>> folders, instead of using the dropins, but with no difference.
>>
>> Best Regards
>>
>> Paul Slauenwhite wrote:
>>> Hi Kristof,
>>> Did you restart with the -clean flag?
>>>
>>> Paul
>>> "Kristof Szabados" <szabadosk@yahoo.com> wrote in message
>>> news:g69rvn$3k6$1@build.eclipse.org...
>>>> Hi Paul,
>>>>
>>>> I don't really understand this.
>>>>
>>>> I have downloaded the as-is component (for tptp 4.5) and owerwritten
>>>> with it all files that I found in the dropins folder of the all-in-one
>>>> tptp 4.5 package.
>>>> But I still don't see the usual menu, from where I could run the static
>>>> analysis on my code.
>>>> /* as far as I see this is the installation method for this component */
>>>>
>>>> Actually I'm not really surprised as according to the timestamps the
>>>> as-is component versions were created about 1 minute earlier than the
>>>> all-in-one versions, and seem to have the same content.
>>>>
>>>> I also tried the update manager, but after installing everything for
>>>> tptp 4.5, there was still no change.
>>>>
>>>> I don't really understand what might be wrong, as there is no error log
>>>> I could refer to.
>>>>
>>>> Best regards
>>>>
>>>> Kristof
>>>>
>>>> Paul Slauenwhite wrote:
>>>>> Hi Kristof,
>>>>> Static Analysis has moved to a an as-is component with separate
>>>>> installation instructions:
>>>>>
>>>>> http://www.eclipse.org/tptp/home/downloads/?ver=4.5.0#AsIsCo mponents
>>>>>
>>>>> We package 'empty' plug-ins in the GA deliverables to support
>>>>> upgrades through the Update Manager.
>>>>>
>>>>> Paul
>>>>> "Kristof Szabados" <szabadosk@yahoo.com> wrote in message
>>>>> news:g675gs$eir$1@build.eclipse.org...
>>>>>> Hi,
>>>>>>
>>>>>> I have downloaded an all in one TPTP 4.5 package, and the static
>>>>>> analysis package, but am not able to invoke the static analysis.
>>>>>> /*actually as I see the static analysis packages are available in the
>>>>>> all in one package, but even if I copy the separate files I can not
>>>>>> make it work */
>>>>>>
>>>>>> It seems as if the whole package could not be loaded by Eclipse as in
>>>>>> contrast with
>>>>>> http://www.eclipse.org/tptp/home/documents/process/developme nt/static_analysis/TPTP_static_analysis_tutorial_part1.html
>>>>>> I just don't have any "Analysis" command.
>>>>>>
>>>>>> /*
>>>>>> Just a short note the link on
>>>>>> http://www.eclipse.org/tptp/platform/documents/gettingstarte d/Static_Analysis_Getting_Started.html
>>>>>> is broken.
>>>>>> */
>>>>>>
>>>>>> Does anyone know how to activate the static analysis feature in this
>>>>>> version, I was using it since Eclipse 3.2
>>>>>>
>>>>>> Thanks
>
>
|
|
|
| Re: is static analysis still available for TPTP 4.5 [message #142659 is a reply to message #142440] |
Mon, 15 June 2009 15:34 |
Eugene Chan
Messages: 287
Registered: July 2009 |
Senior Member |
|
|
Hi Ben,
The owner of the static analysis component no longer work and contriube
resource in the project and due to the lack of additional resources to
support the component, PMC has decided to move it to as-is and there will be
no maintence on the component supported by the project.
Eugene
"Benjamin Zeiss" <zeiss@cs.uni-goettingen.de> wrote in message
news:h032fk$hkm$1@build.eclipse.org...
> Hello,
>
> due to recent activities of mine, i have searched the net and found this
> thread about the TPTP static analysis plugins not working.
>
> Why don't you just build the as-is components and distribute them with
> the TPTP package? I don't see how any normal user can possibly install
> these as-is components by himself. As a developer, i spent about 3 hours
> just trying to install the static analysis plugins somehow into Eclipse
> Galileo. I gave up and recompiled the analysis.core and analysis.ui
> plugins by myself - after that, they worked. The idea to just distribute
> the plugins without classes is incredibly strange. It even took me a
> while to figure out why Eclipse was reporting problems due to missing
> classes as i was not aware of its as-is status (whatever that means. it
> feels more like "abandoned" to me.) and just assumed that the
> plugins should work when they are installed. I am seriously considering
> to create our own branch of the static analysis plugins unless something
> is changing here. The trouble is just too big otherwise.
>
> Ben
>
>
> Paul Slauenwhite schrieb:
>> Hi,
>> Our Release Engineering Team just informed that you need an
>> additional
>> step required due to the LTA:
>>
>> https://bugs.eclipse.org/bugs/show_bug.cgi?id=239795
>>
>>
>> Paul
>> "Kristof Szabados" <szabadosk@yahoo.com> wrote in message
>> news:g6csu5$e1$1@build.eclipse.org...
>>> Hi Paul,
>>>
>>> Yes.
>>>
>>> In the meanwhile I also tried to put the files directly into the eclipse
>>> folders, instead of using the dropins, but with no difference.
>>>
>>> Best Regards
>>>
>>> Paul Slauenwhite wrote:
>>>> Hi Kristof,
>>>> Did you restart with the -clean flag?
>>>>
>>>> Paul
>>>> "Kristof Szabados" <szabadosk@yahoo.com> wrote in message
>>>> news:g69rvn$3k6$1@build.eclipse.org...
>>>>> Hi Paul,
>>>>>
>>>>> I don't really understand this.
>>>>>
>>>>> I have downloaded the as-is component (for tptp 4.5) and owerwritten
>>>>> with it all files that I found in the dropins folder of the all-in-one
>>>>> tptp 4.5 package.
>>>>> But I still don't see the usual menu, from where I could run the
>>>>> static
>>>>> analysis on my code.
>>>>> /* as far as I see this is the installation method for this component
>>>>> */
>>>>>
>>>>> Actually I'm not really surprised as according to the timestamps the
>>>>> as-is component versions were created about 1 minute earlier than the
>>>>> all-in-one versions, and seem to have the same content.
>>>>>
>>>>> I also tried the update manager, but after installing everything for
>>>>> tptp 4.5, there was still no change.
>>>>>
>>>>> I don't really understand what might be wrong, as there is no error
>>>>> log
>>>>> I could refer to.
>>>>>
>>>>> Best regards
>>>>>
>>>>> Kristof
>>>>>
>>>>> Paul Slauenwhite wrote:
>>>>>> Hi Kristof,
>>>>>> Static Analysis has moved to a an as-is component with separate
>>>>>> installation instructions:
>>>>>>
>>>>>> http://www.eclipse.org/tptp/home/downloads/?ver=4.5.0#AsIsCo mponents
>>>>>>
>>>>>> We package 'empty' plug-ins in the GA deliverables to support
>>>>>> upgrades through the Update Manager.
>>>>>>
>>>>>> Paul
>>>>>> "Kristof Szabados" <szabadosk@yahoo.com> wrote in message
>>>>>> news:g675gs$eir$1@build.eclipse.org...
>>>>>>> Hi,
>>>>>>>
>>>>>>> I have downloaded an all in one TPTP 4.5 package, and the static
>>>>>>> analysis package, but am not able to invoke the static analysis.
>>>>>>> /*actually as I see the static analysis packages are available in
>>>>>>> the
>>>>>>> all in one package, but even if I copy the separate files I can not
>>>>>>> make it work */
>>>>>>>
>>>>>>> It seems as if the whole package could not be loaded by Eclipse as
>>>>>>> in
>>>>>>> contrast with
>>>>>>> http://www.eclipse.org/tptp/home/documents/process/developme nt/static_analysis/TPTP_static_analysis_tutorial_part1.html
>>>>>>> I just don't have any "Analysis" command.
>>>>>>>
>>>>>>> /*
>>>>>>> Just a short note the link on
>>>>>>> http://www.eclipse.org/tptp/platform/documents/gettingstarte d/Static_Analysis_Getting_Started.html
>>>>>>> is broken.
>>>>>>> */
>>>>>>>
>>>>>>> Does anyone know how to activate the static analysis feature in this
>>>>>>> version, I was using it since Eclipse 3.2
>>>>>>>
>>>>>>> Thanks
>>
>>
|
|
| |
Goto Forum:
Current Time: Thu Apr 25 09:45:38 GMT 2024
Powered by FUDForum. Page generated in 0.02998 seconds |
] 
Search
Help
Register
Login
Home
