Thank you in advance.
Best Regards
Hello Dave,
thank you very much for your response. I will try to look at that and will share my findings with you.
So, regarding the PRISM JAVA API. I have downloaded and successfully
set up the source code using Cygwin on my windows and tested on Eclipse with no
errors. But when I try to set-up the prism-api on my computer according to the instruction in documentation prismmodelchecker/prism-api:
Example code for connecting to PRISM programmatically. (github.com) on
github to build the examples (specifically, at ‘make’ after ‘cd prism-api’
part), I encountered this error on Cygwin:
User@DESKTOP-F***** /cygdrive/c/Users/user/Desktop/TAW/prism-api
$ make OSTYPE=cygwin JAVA_DIR="/cygdrive/c/Program Files/Java/jdk-18"
(javac -classpath "../prism/classes:../prism/lib/*:../prism/prism/classes:../prism/prism/lib/*" -d classes src/./demos/DTMCModelGenerator.java)
src\.\demos\DTMCModelGenerator.java:34: error: package parser does not exist
import parser.State;
^
src\.\demos\DTMCModelGenerator.java:35: error: package parser does not exist
import parser.VarList;
...
...
...
(Total of 67 errors)
make: *** [Makefile:23: classes/./demos/DTMCModelGenerator.class] Error 1
I have retried many times, but the same problem still occurs. Therefore, I would really appreciate any help or hints from you regarding this issue.
Thank you in advance.
Best Regards,
Naz