Discussion :

[Alkhan]

bonjour,

J'ai eclipse 3.4 sur lequel j'ai installer TPTP.
Avec le jdk 1.6 il est possible d'utiliser "Instrument collector".

J'ai donc essayé de la lancer sur un programme simple et voila le résultat :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
 
java.lang.ArrayIndexOutOfBoundsException
0
 
java.lang.ArrayIndexOutOfBoundsException: 0
  at org.eclipse.tptp.platform.instrumentation.annotation.internal.util.AnnotationUtil.handleAnnotation(AnnotationUtil.java:74)
  at org.eclipse.tptp.platform.instrumentation.ui.internal.util.InstrumentUtil.handleAnnotation(InstrumentUtil.java:944)
  at org.eclipse.tptp.platform.instrumentation.ui.internal.launcher.deleg.application.TIInstrumentDelegateHelper.launch(TIInstrumentDelegateHelper.java:228)
  at org.eclipse.tptp.platform.instrumentation.ui.internal.launcher.deleg.application.TIInstrumentJavaLauncherDelegate.launch(TIInstrumentJavaLauncherDelegate.java:41)
  at org.eclipse.tptp.trace.ui.internal.launcher.core.LauncherUtility.delegateInit(LauncherUtility.java:1164)
  at org.eclipse.tptp.trace.ui.provisional.launcher.PrimaryLaunchDelegate.run(PrimaryLaunchDelegate.java:195)
  at java.lang.Thread.run(Thread.java:619)

Quelqu'un aurait il une idée du problème ?

Merci d'avance

[Laurent.B]

Ca sent le simple problème d'algo... non ?

[Alkhan]

C'est dommage car j'aurais bien voulu le tester, visiblement il n'est pas encore au point.

[Laurent.B]

Je parlais de ta mise en oeuvre ...

Je ne connais pas particulièrement TPTP mais à mon avis il doit être suffisamment avancé pour pouvoir l'utiliser.
Sinon, les raisons du dysfonctionnement peuvent être multiples... Faut chercher

[Alkhan]

A ok, mais c'est pas un problème d'algo car c'est juste une classe qui fait un system.out
Si tu regardes la stack que j'ai posté dans mon premier message, tu verras qu'il y a pas de code a moi, mais que des classes de tptp.

En fait, mon programme n'est même pas lancé, il plante pendant son initialisation.