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 theta-sts-analysis-4.4.4.jar file.
Once you open a JAR file, all the java classes in the JAR file will be displayed.
hu.bme.mit.theta.sts.analysis.initprec
├─ hu.bme.mit.theta.sts.analysis.initprec.StsEmptyInitPrec.class - [JAR]
├─ hu.bme.mit.theta.sts.analysis.initprec.StsInitPrec.class - [JAR]
├─ hu.bme.mit.theta.sts.analysis.initprec.StsPropInitPrec.class - [JAR]
hu.bme.mit.theta.sts.analysis.utils
├─ hu.bme.mit.theta.sts.analysis.utils.StsTraceVisualizer.class - [JAR]
hu.bme.mit.theta.sts.analysis
├─ hu.bme.mit.theta.sts.analysis.StsAction.class - [JAR]
├─ hu.bme.mit.theta.sts.analysis.StsLts.class - [JAR]
├─ hu.bme.mit.theta.sts.analysis.StsTraceConcretizer.class - [JAR]
hu.bme.mit.theta.sts.analysis.config
├─ hu.bme.mit.theta.sts.analysis.config.StsConfig.class - [JAR]
├─ hu.bme.mit.theta.sts.analysis.config.StsConfigBuilder.class - [JAR]
