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 DafnyRuntime-4.2.0.jar file.
Once you open a JAR file, all the java classes in the JAR file will be displayed.
dafny
├─ dafny.Array.class - [JAR]
├─ dafny.ArrayDafnySequence.class - [JAR]
├─ dafny.BigOrdinal.class - [JAR]
├─ dafny.BigRational.class - [JAR]
├─ dafny.CodePoint.class - [JAR]
├─ dafny.ConcatDafnySequence.class - [JAR]
├─ dafny.DafnyEuclidean.class - [JAR]
├─ dafny.DafnyHaltException.class - [JAR]
├─ dafny.DafnyMap.class - [JAR]
├─ dafny.DafnyMultiset.class - [JAR]
├─ dafny.DafnySequence.class - [JAR]
├─ dafny.DafnySet.class - [JAR]
├─ dafny.Helpers.class - [JAR]
├─ dafny.LazyDafnySequence.class - [JAR]
├─ dafny.NonLazyDafnySequence.class - [JAR]
├─ dafny.StringDafnySequence.class - [JAR]
├─ dafny.Tuple0.class - [JAR]
├─ dafny.Tuple1.class - [JAR]
├─ dafny.Tuple10.class - [JAR]
├─ dafny.Tuple11.class - [JAR]
├─ dafny.Tuple12.class - [JAR]
├─ dafny.Tuple13.class - [JAR]
├─ dafny.Tuple14.class - [JAR]
├─ dafny.Tuple15.class - [JAR]
├─ dafny.Tuple16.class - [JAR]
├─ dafny.Tuple17.class - [JAR]
├─ dafny.Tuple18.class - [JAR]
├─ dafny.Tuple19.class - [JAR]
├─ dafny.Tuple2.class - [JAR]
├─ dafny.Tuple20.class - [JAR]
├─ dafny.Tuple3.class - [JAR]
├─ dafny.Tuple4.class - [JAR]
├─ dafny.Tuple5.class - [JAR]
├─ dafny.Tuple6.class - [JAR]
├─ dafny.Tuple7.class - [JAR]
├─ dafny.Tuple8.class - [JAR]
├─ dafny.Tuple9.class - [JAR]
├─ dafny.TypeDescriptor.class - [JAR]