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 keyext.exploration-2.12.0.jar file.
Once you open a JAR file, all the java classes in the JAR file will be displayed.
org.key_project.exploration.ui
├─ org.key_project.exploration.ui.ExplorationStepsList.class - [JAR]
org.key_project.exploration.actions
├─ org.key_project.exploration.actions.AddFormulaToAntecedentAction.class - [JAR]
├─ org.key_project.exploration.actions.AddFormulaToSuccedentAction.class - [JAR]
├─ org.key_project.exploration.actions.DeleteFormulaAction.class - [JAR]
├─ org.key_project.exploration.actions.EditFormulaAction.class - [JAR]
├─ org.key_project.exploration.actions.ExplorationAction.class - [JAR]
├─ org.key_project.exploration.actions.ShowInteractiveBranchesAction.class - [JAR]
├─ org.key_project.exploration.actions.ToggleExplorationAction.class - [JAR]
org.key_project.exploration
├─ org.key_project.exploration.ExplorationExtension.class - [JAR]
├─ org.key_project.exploration.ExplorationModeModel.class - [JAR]
├─ org.key_project.exploration.ExplorationNodeData.class - [JAR]
├─ org.key_project.exploration.ExplorationRenderer.class - [JAR]
├─ org.key_project.exploration.Icons.class - [JAR]
├─ org.key_project.exploration.ProofExplorationService.class - [JAR]