| How to trace with TPTP ? [message #141363] |
Thu, 26 March 2009 07:19  |
Eclipse User |
|
|
|
Hello,
From this kind of Java code :
package testtptp;
public class Start {
public static void main(String[] args) {
Aaa aaa = new Aaa();
aaa.doSomething();
}
}
Code :
package testtptp;
public class Aaa {
private int i = 0;
public Aaa() {
setI(getI() + 1);
}
public void doSomething() {
Bbb bbb = new Bbb();
bbb.doOtherThing();
}
private void setI(int i) {
this.i = i;
}
private int getI() {
return i;
}
}
Code :
package testtptp;
public class Bbb {
private int d=15;
public void doOtherThing() {
setD(getD() + 1);
}
private void setD(int d) {
this.d = d;
}
private int getD() {
return d;
}
}
I would like to get this kind of trace file:
Trace File:
Start.java main
Aaa.java Aaa()
Aaa.java GetI()
Aaa.java SetI()
Aaa.java doSomething()
BBB.java doOtherThing()
BBB.java GetD()
BBB.java SetD()
Does TPTP can do this kind of job ?
If yes, somebody can tell me how to do the job step by step ?
Thanks,
Pierre8r
|
|
|
|
|
|
|
Powered by
FUDForum. Page generated in 0.26122 seconds
Home