View Java Class Source Code in JAR file
- Download JD-GUI to open JAR file and explore Java source code file (.class .java)
- Click menu "File → Open File..." or just drag-and-drop the JAR file in the JD-GUI window graphwalker-model-checker-4.3.2.jar file.
Once you open a JAR file, all the java classes in the JAR file will be displayed.
org.graphwalker.modelchecker
├─ org.graphwalker.modelchecker.ContextChecker.class - [JAR]
├─ org.graphwalker.modelchecker.ContextsChecker.class - [JAR]
├─ org.graphwalker.modelchecker.EdgeChecker.class - [JAR]
├─ org.graphwalker.modelchecker.ElementChecker.class - [JAR]
├─ org.graphwalker.modelchecker.ModelChecker.class - [JAR]
├─ org.graphwalker.modelchecker.VertexChecker.class - [JAR]