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 wyboogie-0.4.8.jar file.
Once you open a JAR file, all the java classes in the JAR file will be displayed.
wyboogie.tasks
├─ wyboogie.tasks.BoogieBuildTask.class - [JAR]
├─ wyboogie.tasks.BoogieCompiler.class - [JAR]
wyboogie.util
├─ wyboogie.util.AbstractExpressionFold.class - [JAR]
├─ wyboogie.util.AbstractExpressionTransform.class - [JAR]
├─ wyboogie.util.AbstractExpressionVisitor.class - [JAR]
├─ wyboogie.util.AbstractFold.class - [JAR]
├─ wyboogie.util.AbstractStatementVisitor.class - [JAR]
├─ wyboogie.util.Boogie.class - [JAR]
├─ wyboogie.util.DefinednessExtractor.class - [JAR]
├─ wyboogie.util.MappablePrintWriter.class - [JAR]
├─ wyboogie.util.Util.class - [JAR]
wyboogie.io
├─ wyboogie.io.BoogieFilePrinter.class - [JAR]
wyboogie
├─ wyboogie.Main.class - [JAR]
wyboogie.core
├─ wyboogie.core.BoogieFile.class - [JAR]
wyboogie.util.testing
├─ wyboogie.util.testing.BoogieVerifyTest.class - [JAR]
