~~ J P F ~~

I managed to crack though the code of StateSpaceDot and got the following results. Above graph is the one which is already generated using GraphViz.


Edge Id    ===TEST====>>>>0---(8---13)---1
Edge Id    ===TEST====>>>>1---(13---18)---2
Edge Id    ===TEST====>>>>1---(13---18)---2
Edge Id    ===TEST====>>>>1---(13---16)---1

+The first number denotes the starting state,
+Then the next two numbers in brackets shows the set of code which is corporate with the state transition. Here i used
trans.getStep(0).getInstruction().getLineNumber();
trans.getStep(trans.getStepCount()-1).getInstruction().getLineNumber();
to get the above data.
+ Third denotes the next state of the process.

As the next step i started to put those values into a JUNG graph. But when i try to create a very simple graph using JUNG, at the build phase it started generating some bugs as follows.

Buildfile: /root/workspace/jpf-core/build.xml
-init:
-compile-annotations:
-compile-main:
    [javac] Compiling 1 source file to /root/workspace/jpf-core/build/main
    [javac] /root/workspace/jpf-core/src/main/gov/nasa/jpf/listener/JUNGGraphCreater.java:6: package edu.uci.ics.jung.graph does not exist
    [javac] import edu.uci.ics.jung.graph.Graph;
    [javac]                              ^
    [javac] 1 error
BUILD FAILED

But i have already imported all the jar files related to JUNG and when im coding in eclipse it gives coding tips from the imported libraries as well. I think its a problem with the build.xml which is currently using only for JPF. Now im waiting to see some update :).