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