├── .gitattributes ├── .gitignore ├── README.md ├── class-lib ├── ArithmeticException.java ├── ArrayImpl.java ├── ArrayIndexOutOfBoundsException.java ├── ArrayStoreException.java ├── AssertionError.java ├── Class.java ├── ClassCastException.java ├── Exception.java ├── ExceptionInInitializerError.java ├── IllegalMonitorStateException.java ├── InterruptedException.java ├── NegativeArraySizeException.java ├── NullPointerException.java ├── Object.java ├── PrintWriter.java ├── Runnable.java ├── RuntimeException.java ├── Scanner.java ├── String.java ├── System.java └── Thread.java ├── docs ├── TR-methods.pdf └── TR-new-instance.pdf ├── external-programs ├── javaprecisely_2002 │ ├── Example10.java │ │ ├── Example10.java │ │ └── Math.java │ ├── Example11.java │ │ ├── Double.java │ │ ├── Example11.java │ │ ├── Integer.java │ │ └── Number.java │ ├── Example11.out │ ├── Example12.java │ ├── Example14.java │ ├── Example15.java │ ├── Example18.java │ ├── Example20.java │ │ ├── Example19.java │ │ ├── Example20.java │ │ └── Math.java │ ├── Example20.out │ ├── Example25.java │ ├── Example25.out │ ├── Example27.java │ ├── Example3.java │ ├── Example30.java │ ├── Example31.java │ ├── Example32.in │ ├── Example32.java │ │ ├── Example32.java │ │ ├── Iterator.java │ │ └── UnsupportedOperationException.java │ ├── Example33.in │ ├── Example33.java │ │ ├── Example33.java │ │ ├── Iterator.java │ │ └── UnsupportedOperationException.java │ ├── Example36.java │ ├── Example37.java │ ├── Example38.java │ ├── Example39.java │ ├── Example40.java │ ├── Example40.out │ ├── Example41.java │ │ ├── Example16.java │ │ └── Example41.java │ ├── Example42.java │ ├── Example42.out │ ├── Example43.java │ ├── Example43.out │ ├── Example44.java │ │ ├── Double.java │ │ ├── Example44.java │ │ ├── Integer.java │ │ └── Number.java │ ├── Example45.java │ │ ├── Example22.java │ │ └── Example45.java │ ├── Example48.java │ │ ├── AbstractCollection.java │ │ ├── AbstractList.java │ │ ├── ArrayList.java │ │ ├── Collection.java │ │ ├── ConcurrentModificationException.java │ │ ├── Example17.java │ │ ├── Example48.java │ │ ├── IllegalArgumentException.java │ │ ├── IllegalStateException.java │ │ ├── IndexOutOfBoundsException.java │ │ ├── Iterator.java │ │ ├── List.java │ │ ├── ListIterator.java │ │ ├── NoSuchElementException.java │ │ ├── RandomAccess.java │ │ └── UnsupportedOperationException.java │ ├── Example49.java │ │ ├── Example16.java │ │ └── Example49.java │ ├── Example5.java │ ├── Example50.java │ ├── Example50.out │ ├── Example51.java │ ├── Example52.java │ ├── Example54.java │ ├── Example54.out │ ├── Example55.java │ ├── Example56.java │ ├── Example57.java │ ├── Example58.java │ ├── Example6.java │ ├── Example60.java │ │ ├── Example60.java │ │ └── Math.java │ ├── Example61.java │ ├── Example62.java │ ├── Example62.out │ ├── Example63.java │ ├── Example64.java │ ├── Example65.java │ │ ├── Example65.java │ │ └── Example73.java │ ├── Example66.java │ │ ├── Example66.java │ │ └── Example73.java │ ├── Example68.in │ ├── Example68.java │ │ ├── Example68.java │ │ └── IllegalArgumentException.java │ ├── Example7.java │ ├── Example72.java │ │ ├── Color.java │ │ ├── Example28.java │ │ ├── Example70.java │ │ ├── Example71.java │ │ ├── Example72.java │ │ └── IllegalArgumentException.java │ ├── Example74_in101 │ │ ├── Example74.in │ │ └── Example74.java │ ├── Example74_in102 │ │ ├── Example74.in │ │ └── Example74.java │ ├── Example74_in103 │ │ ├── Example74.in │ │ └── Example74.java │ ├── Example74_in201 │ │ ├── Example74.in │ │ └── Example74.java │ ├── Example74_in202 │ │ ├── Example74.in │ │ └── Example74.java │ ├── Example74_in203 │ │ ├── Example74.in │ │ └── Example74.java │ ├── Example74_in301 │ │ ├── Example74.in │ │ └── Example74.java │ ├── Example74_in302 │ │ ├── Example74.in │ │ └── Example74.java │ ├── Example74_in303 │ │ ├── Example74.in │ │ └── Example74.java │ ├── Example74_in411 │ │ ├── Example74.in │ │ └── Example74.java │ ├── Example74_in412 │ │ ├── Example74.in │ │ └── Example74.java │ ├── Example74_in413 │ │ ├── Example74.in │ │ └── Example74.java │ ├── Example74_in421 │ │ ├── Example74.in │ │ └── Example74.java │ ├── Example76.java │ ├── Example77.java │ ├── Example8.java │ ├── Example9.java │ │ ├── Example16.java │ │ └── Example9.java │ ├── javaprecisely-examples.zip │ └── test plan javaprecisely.txt └── jbook │ ├── Example3_2_1.java │ ├── Example4_1_10.java │ ├── Example4_1_2.java │ ├── Example4_1_3.java │ ├── Example4_1_4.java │ ├── Example4_1_5.java │ ├── Example4_1_7.java │ ├── Example5_1_2.java │ ├── Example5_1_3.java │ ├── Example5_1_5.java │ ├── Example6_2_1.java │ ├── Example7_3_1.java │ ├── Example7_3_1.java │ └── StringBuffer.java │ ├── Example7_3_1.out │ ├── Exercise3_2_2.java │ ├── Exercise3_2_3.java │ ├── Exercise4_2_2.java │ ├── Exercise4_2_4.java │ ├── Exercise4_2_5.java │ ├── Exercise4_2_6.java │ ├── Exercise4_2_7.java │ ├── Exercise4_2_8.java │ ├── Exercise5_2_2.java │ ├── Exercise5_2_3.java │ ├── Exercise5_2_4.java │ ├── Exercise6_2_1.java │ ├── Exercise6_2_2.java │ ├── Exercise6_2_3.java │ ├── Exercise8_2_3.java │ ├── Exercise8_3_4.java │ ├── Figure16_1.java │ ├── Figure16_10.java │ ├── Figure16_16.java │ ├── Figure16_2.java │ ├── Figure16_3.java │ ├── Figure16_4.java │ ├── Figure16_5.java │ ├── Figure16_7.java │ ├── Misc_Department.java │ ├── Misc_HelloWorld.java │ ├── Misc_Prime.java │ ├── Misc_QTest.java │ ├── Integer.java │ ├── Misc_QTest.java │ └── StringBuffer.java │ ├── Misc_Queue.java │ ├── Misc_Stars.java │ ├── Misc_ThrowingException.java │ └── test plan jbook.txt ├── java-fan ├── class-lib │ ├── Object.java │ └── RuntimeException.java ├── classpath │ └── javarl │ │ ├── JavaCharStream.class │ │ ├── JavaRL.class │ │ ├── JavaRLConfiguration.class │ │ ├── JavaRLConfiguration.properties │ │ ├── JavaWrapper$JJCalls.class │ │ ├── JavaWrapper$LookaheadSuccess.class │ │ ├── JavaWrapper.class │ │ ├── JavaWrapperConstants.class │ │ ├── JavaWrapperTokenManager.class │ │ ├── ParseException.class │ │ ├── Token.class │ │ ├── TokenMgrError.class │ │ ├── java1_4c.jj │ │ ├── property │ │ ├── Atom.class │ │ ├── BooleanExp.class │ │ ├── Condition.class │ │ ├── Formula.class │ │ ├── Property.class │ │ ├── PropertyParser.class │ │ └── Tokenizer.class │ │ └── webAgents │ │ └── JavaRLWebProcessor.class ├── java-fan-results.xml ├── java-fan-summary.txt ├── java-rl-spec │ ├── java-inf-int.maude │ ├── java-rl-infint.maude │ ├── java-rl-preprocess.maude │ ├── java-rl-semantics.maude │ └── java-rl-syntax.maude ├── old-java-fan-results.xml ├── old-java-fan-summary.txt ├── readme.txt └── tools │ ├── java-fan-aux-test.sh │ ├── java-fan-jdk-run.sh │ ├── java-fan-jdk-test-preprocessed.sh │ ├── java-fan-preprocess.sh │ ├── java-fan-run.sh │ ├── java-fan-simple-run.sh │ └── java-fan-test.sh ├── java-stmt ├── class-dec │ ├── AssertionError.k │ └── RuntimeException.k ├── java-api-core.k ├── java-arrays.k ├── java-classes.k ├── java-core.k ├── java-expressions.k ├── java-literals.k ├── java-statements.k ├── java.k └── tools │ ├── aux-jstparser.sh │ ├── aux-jstprep.sh │ ├── aux-jstrun.sh │ ├── aux-jsttest.sh │ ├── jstrun.sh │ └── jsttest.sh ├── jbook ├── jbook-impl │ ├── AsmGofer.exe │ ├── AsmGofer │ │ ├── Preludes │ │ │ ├── tk.prelude-all │ │ │ ├── tk.prelude-all-asm │ │ │ ├── tk.prelude-all-asmH │ │ │ ├── tk.prelude-conc │ │ │ ├── tk.prelude-conc-asm │ │ │ ├── tk.prelude-mini │ │ │ ├── tk.prelude-mini-asm │ │ │ ├── tk.prelude-noconc │ │ │ ├── tk.prelude-noconc-asm │ │ │ ├── tk.prelude-std │ │ │ └── tk.prelude-std-asm │ │ ├── Tcl │ │ │ └── gofer.tcl │ │ ├── Tk8.0 │ │ │ ├── INSTALL.LOG │ │ │ ├── Readme.txt │ │ │ ├── UNWISE.EXE │ │ │ ├── bin │ │ │ │ ├── Msvcrt.dll │ │ │ │ ├── tcl80.dll │ │ │ │ ├── tclpip80.dll │ │ │ │ ├── tclsh80.exe │ │ │ │ ├── tk80.dll │ │ │ │ └── wish80.exe │ │ │ ├── doc │ │ │ │ ├── tcl80.cnt │ │ │ │ └── tcl80.hlp │ │ │ ├── include │ │ │ │ ├── X11 │ │ │ │ │ ├── X.h │ │ │ │ │ ├── Xatom.h │ │ │ │ │ ├── Xfuncproto.h │ │ │ │ │ ├── Xlib.h │ │ │ │ │ ├── Xutil.h │ │ │ │ │ ├── cursorfont.h │ │ │ │ │ ├── keysym.h │ │ │ │ │ └── keysymdef.h │ │ │ │ ├── tcl.h │ │ │ │ └── tk.h │ │ │ ├── lib │ │ │ │ ├── tcl8.0 │ │ │ │ │ ├── history.tcl │ │ │ │ │ ├── http1.0 │ │ │ │ │ │ ├── http.tcl │ │ │ │ │ │ └── pkgIndex.tcl │ │ │ │ │ ├── http2.0 │ │ │ │ │ │ ├── http.tcl │ │ │ │ │ │ └── pkgIndex.tcl │ │ │ │ │ ├── init.tcl │ │ │ │ │ ├── opt0.1 │ │ │ │ │ │ ├── optparse.tcl │ │ │ │ │ │ └── pkgIndex.tcl │ │ │ │ │ ├── parray.tcl │ │ │ │ │ ├── reg1.0 │ │ │ │ │ │ ├── pkgIndex.tcl │ │ │ │ │ │ └── tclreg80.dll │ │ │ │ │ ├── safe.tcl │ │ │ │ │ ├── tclIndex │ │ │ │ │ └── word.tcl │ │ │ │ ├── tcl80.lib │ │ │ │ ├── tk8.0 │ │ │ │ │ ├── bgerror.tcl │ │ │ │ │ ├── button.tcl │ │ │ │ │ ├── clrpick.tcl │ │ │ │ │ ├── comdlg.tcl │ │ │ │ │ ├── console.tcl │ │ │ │ │ ├── demos │ │ │ │ │ │ ├── Readme │ │ │ │ │ │ ├── arrow.tcl │ │ │ │ │ │ ├── bind.tcl │ │ │ │ │ │ ├── bitmap.tcl │ │ │ │ │ │ ├── browse.tcl │ │ │ │ │ │ ├── button.tcl │ │ │ │ │ │ ├── check.tcl │ │ │ │ │ │ ├── clrpick.tcl │ │ │ │ │ │ ├── colors.tcl │ │ │ │ │ │ ├── cscroll.tcl │ │ │ │ │ │ ├── ctext.tcl │ │ │ │ │ │ ├── dialog1.tcl │ │ │ │ │ │ ├── dialog2.tcl │ │ │ │ │ │ ├── entry1.tcl │ │ │ │ │ │ ├── entry2.tcl │ │ │ │ │ │ ├── filebox.tcl │ │ │ │ │ │ ├── floor.tcl │ │ │ │ │ │ ├── form.tcl │ │ │ │ │ │ ├── hello.tcl │ │ │ │ │ │ ├── hscale.tcl │ │ │ │ │ │ ├── icon.tcl │ │ │ │ │ │ ├── image1.tcl │ │ │ │ │ │ ├── image2.tcl │ │ │ │ │ │ ├── images │ │ │ │ │ │ │ ├── earth.gif │ │ │ │ │ │ │ ├── earthris.gif │ │ │ │ │ │ │ ├── face.bmp │ │ │ │ │ │ │ ├── flagdown.bmp │ │ │ │ │ │ │ ├── flagup.bmp │ │ │ │ │ │ │ ├── gray25.bmp │ │ │ │ │ │ │ ├── letters.bmp │ │ │ │ │ │ │ ├── noletter.bmp │ │ │ │ │ │ │ ├── pattern.bmp │ │ │ │ │ │ │ ├── tcllogo.gif │ │ │ │ │ │ │ └── teapot.ppm │ │ │ │ │ │ ├── items.tcl │ │ │ │ │ │ ├── ixset.tcl │ │ │ │ │ │ ├── label.tcl │ │ │ │ │ │ ├── menu.tcl │ │ │ │ │ │ ├── menubu.tcl │ │ │ │ │ │ ├── msgbox.tcl │ │ │ │ │ │ ├── plot.tcl │ │ │ │ │ │ ├── puzzle.tcl │ │ │ │ │ │ ├── radio.tcl │ │ │ │ │ │ ├── rmt.tcl │ │ │ │ │ │ ├── rolodex.tcl │ │ │ │ │ │ ├── ruler.tcl │ │ │ │ │ │ ├── sayings.tcl │ │ │ │ │ │ ├── search.tcl │ │ │ │ │ │ ├── square.tcl │ │ │ │ │ │ ├── states.tcl │ │ │ │ │ │ ├── style.tcl │ │ │ │ │ │ ├── tclIndex │ │ │ │ │ │ ├── tcolor.tcl │ │ │ │ │ │ ├── text.tcl │ │ │ │ │ │ ├── timer.tcl │ │ │ │ │ │ ├── twind.tcl │ │ │ │ │ │ ├── vscale.tcl │ │ │ │ │ │ └── widget.tcl │ │ │ │ │ ├── dialog.tcl │ │ │ │ │ ├── entry.tcl │ │ │ │ │ ├── focus.tcl │ │ │ │ │ ├── images │ │ │ │ │ │ ├── Readme │ │ │ │ │ │ ├── logo100.gif │ │ │ │ │ │ ├── logo64.gif │ │ │ │ │ │ ├── logoLarge.gif │ │ │ │ │ │ ├── logoMed.gif │ │ │ │ │ │ ├── pwrdLogo100.gif │ │ │ │ │ │ ├── pwrdLogo150.gif │ │ │ │ │ │ ├── pwrdLogo175.gif │ │ │ │ │ │ ├── pwrdLogo200.gif │ │ │ │ │ │ └── pwrdLogo75.gif │ │ │ │ │ ├── listbox.tcl │ │ │ │ │ ├── menu.tcl │ │ │ │ │ ├── msgbox.tcl │ │ │ │ │ ├── obsolete.tcl │ │ │ │ │ ├── optMenu.tcl │ │ │ │ │ ├── palette.tcl │ │ │ │ │ ├── prolog.ps │ │ │ │ │ ├── safetk.tcl │ │ │ │ │ ├── scale.tcl │ │ │ │ │ ├── scrlbar.tcl │ │ │ │ │ ├── tclIndex │ │ │ │ │ ├── tearoff.tcl │ │ │ │ │ ├── text.tcl │ │ │ │ │ ├── tk.tcl │ │ │ │ │ ├── tkfbox.tcl │ │ │ │ │ └── xmfbox.tcl │ │ │ │ └── tk80.lib │ │ │ └── license.txt │ │ └── bin │ │ │ ├── AsmGof.exe │ │ │ ├── AsmGofH.exe │ │ │ └── gofer.bat │ ├── BCEL.jar │ ├── Bitmaps │ │ ├── error.bmp │ │ ├── gray12.bmp │ │ ├── gray25.bmp │ │ ├── gray50.bmp │ │ ├── hourglass.bmp │ │ ├── info.bmp │ │ ├── questhead.bmp │ │ ├── question.bmp │ │ └── warning.bmp │ ├── README.txt │ ├── compiler.exe │ ├── config │ ├── defensive.exe │ ├── defensiveH.exe │ ├── diligent.exe │ ├── diligentH.exe │ ├── examples │ │ ├── java │ │ │ ├── Example3_2_1 │ │ │ │ ├── A.java │ │ │ │ └── out.txt │ │ │ ├── Example4_1_1 │ │ │ │ ├── B.java │ │ │ │ └── out.txt │ │ │ ├── Example4_1_10 │ │ │ │ ├── Test.java │ │ │ │ └── out.txt │ │ │ ├── Example4_1_2 │ │ │ │ ├── A.java │ │ │ │ └── no_out.txt │ │ │ ├── Example4_1_3 │ │ │ │ ├── B.java │ │ │ │ └── no_out.txt │ │ │ ├── Example4_1_4 │ │ │ │ ├── A.java │ │ │ │ └── out.txt │ │ │ ├── Example4_1_5 │ │ │ │ ├── A.java │ │ │ │ └── no_out.txt │ │ │ ├── Example4_1_6 │ │ │ │ ├── A.java │ │ │ │ └── out.txt │ │ │ ├── Example4_1_7 │ │ │ │ ├── A.java │ │ │ │ └── no_out.txt │ │ │ ├── Example4_1_8 │ │ │ │ ├── A.java │ │ │ │ └── out.txt │ │ │ ├── Example4_1_9 │ │ │ │ ├── B.java │ │ │ │ └── out.txt │ │ │ ├── Example5_1_2 │ │ │ │ ├── A.java │ │ │ │ └── no_out.txt │ │ │ ├── Example5_1_3 │ │ │ │ ├── B.java │ │ │ │ └── no_out.txt │ │ │ ├── Example5_1_4 │ │ │ │ ├── A.java │ │ │ │ ├── A_abstract.java │ │ │ │ └── out.txt │ │ │ ├── Example5_1_5 │ │ │ │ ├── B.java │ │ │ │ └── no_out.txt │ │ │ ├── Example6_2_1 │ │ │ │ ├── Test.java │ │ │ │ └── out.txt │ │ │ ├── Example7_3_1 │ │ │ │ ├── Test.java │ │ │ │ └── out.txt │ │ │ ├── ExampleC_7_1 │ │ │ │ ├── Test.java │ │ │ │ └── no_out.txt │ │ │ ├── Exercise3_2_2 │ │ │ │ ├── A.java │ │ │ │ └── out.txt │ │ │ ├── Exercise3_2_3 │ │ │ │ ├── A.java │ │ │ │ └── out.txt │ │ │ ├── Exercise4_2_1 │ │ │ │ ├── B.java │ │ │ │ └── out.txt │ │ │ ├── Exercise4_2_2 │ │ │ │ ├── B.java │ │ │ │ └── out.txt │ │ │ ├── Exercise4_2_3 │ │ │ │ ├── B.java │ │ │ │ └── out.txt │ │ │ ├── Exercise4_2_4 │ │ │ │ ├── Test.java │ │ │ │ └── out.txt │ │ │ ├── Exercise4_2_5 │ │ │ │ ├── Test.java │ │ │ │ └── out.txt │ │ │ ├── Exercise4_2_6 │ │ │ │ ├── Test.java │ │ │ │ └── out.txt │ │ │ ├── Exercise4_2_7 │ │ │ │ ├── Test.java │ │ │ │ └── out.txt │ │ │ ├── Exercise4_2_8 │ │ │ │ ├── Test.java │ │ │ │ └── out.txt │ │ │ ├── Exercise5_2_2 │ │ │ │ ├── Test.java │ │ │ │ └── out.txt │ │ │ ├── Exercise5_2_3 │ │ │ │ ├── Test.java │ │ │ │ └── out.txt │ │ │ ├── Exercise5_2_4 │ │ │ │ ├── Test.java │ │ │ │ └── out.txt │ │ │ ├── Exercise6_2_1 │ │ │ │ ├── Test.java │ │ │ │ └── out.txt │ │ │ ├── Exercise6_2_2 │ │ │ │ ├── Test.java │ │ │ │ └── out.txt │ │ │ ├── Exercise6_2_3 │ │ │ │ ├── Test.java │ │ │ │ └── out.txt │ │ │ ├── Exercise8_2_1 │ │ │ │ ├── Test.java │ │ │ │ └── out.txt │ │ │ ├── Exercise8_2_2 │ │ │ │ ├── Test.java │ │ │ │ └── out.txt │ │ │ ├── Exercise8_2_3 │ │ │ │ ├── Test.java │ │ │ │ └── no_out.txt │ │ │ ├── Exercise8_2_4 │ │ │ │ ├── Test.java │ │ │ │ └── out.txt │ │ │ ├── Exercise8_3_1 │ │ │ │ ├── Test.java │ │ │ │ └── out.txt │ │ │ ├── Exercise8_3_4 │ │ │ │ ├── Test.java │ │ │ │ └── no_out.txt │ │ │ ├── Figure16_1 │ │ │ │ ├── Test.java │ │ │ │ └── out.txt │ │ │ ├── Figure16_10 │ │ │ │ ├── Test.java │ │ │ │ └── no_out.txt │ │ │ ├── Figure16_16 │ │ │ │ ├── Test.java │ │ │ │ └── no_out.txt │ │ │ ├── Figure16_2 │ │ │ │ ├── Test.java │ │ │ │ └── out.txt │ │ │ ├── Figure16_3 │ │ │ │ ├── Test.java │ │ │ │ └── no_out.txt │ │ │ ├── Figure16_4 │ │ │ │ ├── Test.java │ │ │ │ └── out.txt │ │ │ ├── Figure16_5 │ │ │ │ ├── Test.java │ │ │ │ └── no_out.txt │ │ │ ├── Figure16_7 │ │ │ │ ├── Test.java │ │ │ │ └── no_out.txt │ │ │ ├── Figure16_8 │ │ │ │ ├── Test.java │ │ │ │ └── out.txt │ │ │ └── Figure16_9 │ │ │ │ ├── Test.java │ │ │ │ └── out.txt │ │ └── misc │ │ │ ├── Department.java │ │ │ ├── HelloWorld.java │ │ │ ├── Prime.java │ │ │ ├── QTest.java │ │ │ ├── Queue.java │ │ │ ├── Stars.java │ │ │ ├── Thread1.java │ │ │ └── ThrowingException.java │ ├── files │ │ ├── compiler.p │ │ ├── compiler │ │ │ ├── basic │ │ │ │ ├── defs.gs │ │ │ │ └── pretty.gs │ │ │ ├── compile.gs │ │ │ ├── core │ │ │ │ └── compile.gs │ │ │ ├── gui │ │ │ │ └── main.gs │ │ │ └── jvmDefs.gs │ │ ├── defensive.p │ │ ├── defensiveH.p │ │ ├── diligent.p │ │ ├── diligentH.p │ │ ├── in.compiler │ │ ├── in.defensive │ │ ├── in.defensiveH │ │ ├── in.diligent │ │ ├── in.diligentH │ │ ├── in.java │ │ ├── in.javaH │ │ ├── in.trustful │ │ ├── in.trustfulH │ │ ├── java-nogui.in │ │ ├── java.p │ │ ├── java │ │ │ ├── basic │ │ │ │ ├── instances.gs │ │ │ │ ├── javaType.gs │ │ │ │ ├── pretty.gs │ │ │ │ └── types.gs │ │ │ ├── core │ │ │ │ ├── javaBasic.gs │ │ │ │ ├── javaDynamicSem.gs │ │ │ │ ├── javaState.gs │ │ │ │ └── javaSyntax.gs │ │ │ ├── gui │ │ │ │ ├── main.gs │ │ │ │ ├── mainHistory.gs │ │ │ │ ├── monad.gs │ │ │ │ └── pretty.gs │ │ │ ├── javaApply.gs │ │ │ ├── javaChecks.gs │ │ │ ├── javaDefs.gs │ │ │ ├── javaStaticSem.gs │ │ │ ├── lib │ │ │ │ ├── Prelude.gs │ │ │ │ ├── editor.gs │ │ │ │ ├── pp-ed.gs │ │ │ │ ├── pp-lib.gs │ │ │ │ └── pp-wid.gs │ │ │ └── parser │ │ │ │ ├── Java.gs │ │ │ │ ├── JavaLexer.hs │ │ │ │ └── JavaParser.hs │ │ ├── javaH.p │ │ ├── jvm │ │ │ ├── basic │ │ │ │ ├── classes.gs │ │ │ │ ├── instances.gs │ │ │ │ ├── instances.state.gs │ │ │ │ ├── javaType.gs │ │ │ │ ├── jvmdefs.gs │ │ │ │ ├── jvmfuns.gs │ │ │ │ ├── jvmutil.gs │ │ │ │ ├── precompiled.gs │ │ │ │ └── types.gs │ │ │ ├── core │ │ │ │ ├── compatible.gs │ │ │ │ ├── constraints.gs │ │ │ │ ├── defensive.gs │ │ │ │ ├── defensive.only.gs │ │ │ │ ├── diligent.gs │ │ │ │ ├── diligent.only.gs │ │ │ │ ├── dynamic.defensive.gs │ │ │ │ ├── dynamic.gs │ │ │ │ ├── dynamic.only.trustful.gs │ │ │ │ ├── dynamic.trustful.gs │ │ │ │ ├── jvmfuns.gs │ │ │ │ ├── jvmstate.gs │ │ │ │ ├── jvmtypes.basic.gs │ │ │ │ ├── jvmtypes.defensive.gs │ │ │ │ ├── jvmtypes.diligent.gs │ │ │ │ ├── jvmtypes.gs │ │ │ │ ├── jvmtypes.trustful.gs │ │ │ │ ├── machines.defensive.gs │ │ │ │ ├── machines.diligent.gs │ │ │ │ ├── machines.trustful.gs │ │ │ │ ├── switch.diligent.gs │ │ │ │ ├── trustful.gs │ │ │ │ └── trustful.only.gs │ │ │ ├── gui │ │ │ │ ├── defensive.gs │ │ │ │ ├── diligent.gs │ │ │ │ ├── jvmgui.gs │ │ │ │ ├── jvmguiH.gs │ │ │ │ ├── jvmguimonad.gs │ │ │ │ ├── pretty.gs │ │ │ │ └── trustful.gs │ │ │ ├── lib │ │ │ │ ├── Alex.gs │ │ │ │ ├── Array.gs │ │ │ │ ├── BinSearch.gs │ │ │ │ ├── Config.gs │ │ │ │ ├── List.gs │ │ │ │ ├── Prelude.gs │ │ │ │ └── monad.gs │ │ │ └── parser │ │ │ │ ├── Jasmin.gs │ │ │ │ ├── JasminLexer.hs │ │ │ │ └── JasminParser.hs │ │ ├── license.term │ │ ├── trustful.p │ │ └── trustfulH.p │ ├── jasmin.jar │ ├── java.exe │ ├── javaH.exe │ ├── license.txt │ ├── predefined.java │ ├── predefined.jvm │ │ └── java │ │ │ ├── io │ │ │ ├── FileInputStream.j │ │ │ ├── IOException.j │ │ │ ├── InputStream.j │ │ │ └── PrintStream.j │ │ │ └── lang │ │ │ ├── AbstractMethodError.j │ │ │ ├── ArithmeticException.j │ │ │ ├── Array.j │ │ │ ├── ArrayIndexOutOfBoundsException.j │ │ │ ├── ArrayStoreException.j │ │ │ ├── Class.j │ │ │ ├── ClassCastException.j │ │ │ ├── ClassFormatError.j │ │ │ ├── ClassLoader.j │ │ │ ├── ClassNotFoundException.j │ │ │ ├── CloneNotSupportedException.j │ │ │ ├── Cloneable.j │ │ │ ├── Comparable.j │ │ │ ├── Error.j │ │ │ ├── Exception.j │ │ │ ├── ExceptionInInitializerError.j │ │ │ ├── Float.j │ │ │ ├── IncompatibleClassChangeError.j │ │ │ ├── Integer.j │ │ │ ├── LinkageError.j │ │ │ ├── NegativeArraySizeException.j │ │ │ ├── NoClassDefFoundError.j │ │ │ ├── NullPointerException.j │ │ │ ├── Number.j │ │ │ ├── Object.j │ │ │ ├── RuntimeException.j │ │ │ ├── String.j │ │ │ ├── StringBuffer.j │ │ │ ├── System.j │ │ │ └── Throwable.j │ ├── trustful.exe │ ├── trustfulH.exe │ ├── uninstal.exe │ └── uninstal.ini ├── jbook-results.xml ├── jbook-summary.txt ├── readme.txt └── tools │ ├── aux-jdk-prep-run-postproc.bat │ ├── aux-jdk-prep-run-postproc.sh │ ├── aux-jdk-run-postproc.bat │ ├── aux-jdk-run-postproc.sh │ ├── aux-jdk-run.bat │ ├── bash-run.bat │ ├── jbook-postproc.sh │ ├── jbook-prep-run.bat │ ├── jbook-prep-test.bat │ ├── jbook-prep-test.sh │ ├── jbook-raw-run.bat │ ├── jbook-raw-run.sh │ ├── jbook-run-cyg.bat │ ├── jbook-run.bat │ ├── jbook-run.sh │ ├── jbook-test-all.sh │ ├── jbook-test.bat │ └── jbook-test.sh ├── model-check ├── 71_strictness │ ├── mc_01_elabHeatDefault.java │ ├── mc_01_elabHeatDefault.out │ └── test plan model check.txt ├── 72_threads │ ├── test plan threads.txt │ ├── threads_11_two_th_msg.java │ ├── threads_11_two_th_msg.out │ ├── threads_12_two_th_msg_runnable.java │ ├── threads_12_two_th_msg_runnable.out │ ├── threads_13_two_th_false_start.java │ ├── threads_13_two_th_false_start.out │ ├── threads_14_assign_and_print.java │ ├── threads_14_assign_and_print.out │ ├── threads_21_join.java │ ├── threads_21_join.out │ ├── threads_22_join_two_threads.java │ ├── threads_22_join_two_threads.out │ ├── threads_31_sync_meth_static.java │ ├── threads_31_sync_meth_static.out │ ├── threads_32_sync_meth_inst.java │ ├── threads_32_sync_meth_inst.out │ ├── threads_33_sync_class_obj.java │ ├── threads_33_sync_class_obj.out │ ├── threads_34_sync_obj.java │ ├── threads_34_sync_obj.out │ ├── threads_35_false_sync_diff_obj.java │ ├── threads_35_false_sync_diff_obj.out │ ├── threads_36_double_lock.java │ ├── threads_36_double_lock.out │ ├── threads_37_deadlock.java │ ├── threads_37_deadlock.out │ ├── threads_38_two_locks.java │ ├── threads_38_two_locks.out │ ├── threads_391_sync_obj_simplified.java │ ├── threads_391_sync_obj_simplified.out │ ├── threads_392_sync_meth_simplified.java │ ├── threads_392_sync_meth_simplified.out │ ├── threads_393_sync_st_meth_simpl.java │ ├── threads_393_sync_st_meth_simpl.out │ ├── threads_41_wait_notify.java │ ├── threads_41_wait_notify.out │ ├── threads_42_1t_wait_2t_notify.java │ ├── threads_42_1t_wait_2t_notify.out │ ├── threads_43_2t_waiting_notify.java │ ├── threads_43_2t_waiting_notify.out │ ├── threads_44_2t_waiting_notifyAll.java │ ├── threads_44_2t_waiting_notifyAll.out │ ├── threads_45_lock_preserve.java │ ├── threads_45_lock_preserve.out │ ├── threads_46_wait_notify_simp.java │ ├── threads_46_wait_notify_simp.out │ ├── threads_47_2_wait_1_notify.java │ ├── threads_47_2_wait_1_notify.out │ ├── threads_48_2_wait_1_notifyAll.java │ ├── threads_48_2_wait_1_notifyAll.out │ ├── threads_51_interrupt_wait.java │ ├── threads_51_interrupt_wait.out │ ├── threads_52_interrupt_join.java │ ├── threads_52_interrupt_join.out │ ├── threads_61_ThreadGame.java │ └── threads_61_ThreadGame.out └── 73_examples │ ├── Philosopher.java │ ├── Philosopher.out │ ├── WaitNotifyQueueInterrupt.java │ ├── WaitNotifyQueueInterrupt.out │ ├── queue_1_threads_2_correct.java │ ├── queue_1_threads_2_correct.out │ ├── queue_2_threads_2_wrong.java │ ├── queue_2_threads_2_wrong.out │ ├── queue_3_threads_3_correct.java │ ├── queue_3_threads_3_correct.out │ ├── queue_4_threads_3_wrong.java │ └── queue_4_threads_3_wrong.out ├── parser └── javafrontparserNew.jar ├── src ├── common │ ├── aux-strings.k │ ├── class-syntax.k │ ├── core-classes.k │ ├── core-functions.k │ ├── core-sorts.k │ ├── exp-syntax.k │ ├── interface-syntax.k │ ├── java-doc.k │ ├── java-syntax.k │ ├── lexical-syntax.k │ ├── list-syntax.k │ ├── literal-syntax.k │ ├── name-syntax.k │ ├── optional-syntax.k │ ├── package-syntax.k │ ├── primitive-types.k │ ├── shared-syntax.k │ ├── stmt-syntax.k │ ├── subtyping.k │ └── type-syntax.k ├── exec │ ├── api-core.k │ ├── api-threads.k │ ├── arrays.k │ ├── configuration-exec.k │ ├── core-exec.k │ ├── expressions-classes.k │ ├── expressions.k │ ├── java-exec.k │ ├── ltl-support.k │ ├── math.k │ ├── method-invoke.k │ ├── new-instance.k │ ├── statements.k │ ├── static-init.k │ ├── syntax-conversions.k │ ├── to-string.k │ ├── unfolding.k │ └── var-lookup.k ├── prep │ ├── configuration-prep.k │ ├── core-preprocessing.k │ ├── elaboration-arrays.k │ ├── elaboration-categories.k │ ├── elaboration-core.k │ ├── elaboration-expressions.k │ ├── elaboration-method-invoke.k │ ├── elaboration-new-instance.k │ ├── elaboration-statements.k │ ├── elaboration-top-blocks.k │ ├── elaboration-types.k │ ├── elaboration-vars.k │ ├── folding.k │ ├── java-prep.k │ ├── literals.k │ ├── process-anonymous-classes.k │ ├── process-class-decs.k │ ├── process-class-members.k │ ├── process-comp-units.k │ ├── process-imports.k │ ├── process-local-classes.k │ └── process-type-names.k ├── sty │ ├── custom-commands.tex │ └── k-java.tex └── verification │ ├── append-spec.k │ ├── avl-delete-spec.k │ ├── avl-find-spec.k │ ├── avl-insert-spec.k │ ├── avl.java │ ├── bst-delete-spec.k │ ├── bst-find-spec.k │ ├── bst-insert-spec.k │ ├── bst.java │ ├── bubble-sort-spec.k │ ├── insertion-sort-spec.k │ ├── int_list.k │ ├── int_set.k │ ├── java-verification.k │ ├── listNode.java │ ├── list_pattern.k │ ├── merge-sort-spec.k │ ├── min-spec.k │ ├── min.java │ ├── quicksort-spec.k │ ├── reverse-spec.k │ ├── sum-iterative-spec.k │ ├── sum.java │ └── tree_pattern.k ├── symbolic ├── symbolic_01_max3_concrete.cIN.in ├── symbolic_01_max3_concrete.java ├── symbolic_01_max3_concrete.search.out ├── symbolic_02_max3.cIN.in ├── symbolic_02_max3.java ├── symbolic_02_max3.search.out ├── symbolic_03_BasicList.cIN.in ├── symbolic_03_BasicList.java ├── symbolic_03_BasicList.search.out ├── symbolic_04_OrderedList.cIN.in ├── symbolic_04_OrderedList.java └── symbolic_04_OrderedList.search.out ├── test-runner ├── .idea │ ├── .name │ ├── ant.xml │ ├── artifacts │ │ └── jar.xml │ ├── codeStyleSettings.xml │ ├── compiler.xml │ ├── copyright │ │ └── profiles_settings.xml │ ├── encodings.xml │ ├── findbugs-idea.xml │ ├── inspectionProfiles │ │ ├── Project_Default.xml │ │ └── profiles_settings.xml │ ├── libraries │ │ ├── commons_lang3_3_1.xml │ │ └── jna_3_5_1.xml │ ├── misc.xml │ ├── modules.xml │ ├── qaplug_profiles.xml │ ├── scopes │ │ └── scope_settings.xml │ ├── uiDesigner.xml │ └── vcs.xml ├── META-INF │ └── MANIFEST.MF ├── command-lines.txt ├── dev-list.txt ├── interpreterDir │ ├── generator.bat │ ├── interpreter.bat │ ├── waitGen.bat │ └── waitInt.bat ├── lib │ ├── commons-lang3-3.1.jar │ └── jna-3.5.1.jar ├── src │ ├── help.txt │ └── ro │ │ └── uaic │ │ └── javasemantics │ │ └── tools │ │ ├── ArgsCombiner.java │ │ ├── Main.java │ │ ├── ProcessUtil.java │ │ ├── RunnerArgs.java │ │ ├── TestResult.java │ │ ├── TestRunner.java │ │ └── XmlBuilder.java └── testDir │ ├── dirTest.test │ └── testXYZ.test │ ├── error.in │ ├── error.out │ ├── error.txt │ ├── genRun.in │ ├── genRun.txt │ ├── genRunOk.in │ ├── genRunOk.txt │ ├── genRunOk2.in │ ├── subDir │ ├── genRun.comp │ ├── genRun.generr │ ├── genRun.in │ ├── genRun.out │ ├── genRun.stderr │ ├── genRun.stdout │ ├── genRun.txt │ ├── genRunOk.comp │ ├── genRunOk.generr │ ├── genRunOk.in │ ├── genRunOk.out │ ├── genRunOk.stderr │ ├── genRunOk.stdout │ ├── genRunOk.txt │ ├── genRunOk2.generr │ ├── genRunOk2.in │ ├── genRunOk2.out │ ├── testnoext │ └── testnoext.in │ ├── subDir2 │ └── empty.txt │ ├── test.in │ ├── test.out │ ├── test.test │ ├── testAbc.in │ ├── testAbc.test │ ├── testNoIn.out │ ├── testNoIn.test │ └── testNoInOut.test ├── tests ├── 01_smoke_tests │ ├── array.java │ ├── helloWorld.java │ ├── max3.in │ ├── max3.java │ ├── read.in │ ├── read.java │ ├── sumArrayInFor.java │ └── sumInWhile.java ├── 02_literals │ ├── literals_011_long_decimal.java │ ├── literals_01_integer_decimal.java │ ├── literals_02_integer_hexa.java │ ├── literals_03_integer_octa.java │ ├── literals_04_boolean.java │ ├── literals_05_char.java │ ├── literals_06_char_escape.java │ ├── literals_07_string.java │ ├── literals_08_string_escapes_adv.java │ ├── literals_09_null.java │ ├── literals_90_char_escape_uns.java.txt │ ├── test-plan-literals-integer.txt │ └── test-plan-literals-other.txt ├── 03_syntax_samples │ ├── DotOperator1.java │ ├── DotOperator2.java │ ├── DotOperator3.java │ ├── Operators_JBook.java │ └── Operators_non_JBook.java ├── 04_prim_operators │ ├── op_011_int_to_int_prefix.java │ ├── op_012_int_to_int_pre_inc_dec.java │ ├── op_013_int_to_int_postfix.java │ ├── op_014_int_to_int_bin_arith.java │ ├── op_015_int_to_int_bitwise.java │ ├── op_016_int_to_int_cond.java │ ├── op_02_int_to_bool.java │ ├── op_03_int_bit_shift.java │ ├── op_041_int_assign_plus.java │ ├── op_042_int_assign_all.java │ ├── op_05_int_to_int_overflow.java │ ├── op_06_long_to_long.java │ ├── op_07_long_to_bool.java │ ├── op_08_long_bit_shift.java │ ├── op_09_long_assign.java │ ├── op_10_long_to_long_overflow.java │ ├── op_111_bool_to_bool_not_lazy.java │ ├── op_112_lazy_and.java │ ├── op_113_lazy_or.java │ ├── op_12_bool_compound_assign.java │ ├── op_13_compound_assign_jls.java │ ├── test-plan-bool-compound-assign.txt │ └── test-plan-int-long.txt ├── 05_prim_conversions │ ├── exp_conv_01_primitive_cast.java │ ├── exp_conv_02_primitive_var_init_cast.java │ ├── imp_conv_01_assing_widening.java │ ├── imp_conv_02_assing_narrowing.java │ ├── imp_conv_03_primitive_var_init.java │ ├── imp_conv_04_mcall_widening.java │ ├── imp_conv_05_unary_num_prom.java │ ├── imp_conv_06_unary_prom_array.java │ ├── imp_conv_07_bin_prom_to_int_all_op.java │ ├── imp_conv_08_bin_prom_selections.java │ ├── imp_conv_09_bin_prom_cond_op.java │ ├── imp_conv_10_short_inc_dec.java │ ├── imp_conv_11_compound_assign.java │ ├── imp_conv_12_compound_assign_sel.java │ ├── test-plan-implicit-numeric-conversions.txt │ └── test-plan-primitive-types-&-casting.txt ├── 06_string_plus │ ├── str_conv_011_String_plus_str.java │ ├── str_conv_012_String_plus_int.java │ ├── str_conv_013_String_plus_bool.java │ ├── str_conv_014_String_plus_obj.java │ ├── str_conv_015_String_plus_int_types.java │ ├── str_conv_016_String_plus_null.java │ ├── str_conv_02_String_assign_plus.java │ ├── str_conv_03_Object_assign_plus.java │ └── test-plan.txt ├── 07_ref_operators │ ├── ref_op_01_assign_to_object.java │ ├── ref_op_02_assign_from_null.java │ ├── ref_op_03_assign_f_null_t_obj.java │ ├── ref_op_04_eq_true_same_type.java │ ├── ref_op_05_eq_true_diff_type.java │ ├── ref_op_06_eq_false_same_type.java │ ├── ref_op_07_eq_false_diff_type.java │ ├── ref_op_08_neq_false.java │ ├── ref_op_09_neq_true.java │ ├── ref_op_10_cast_from_obj.java │ ├── ref_op_11_cast_from_obj_null.java │ ├── ref_op_12_cast_base_derived_1.java │ ├── ref_op_13_cast_base_derived_2.java │ ├── ref_op_14_instanceof_true_types.java │ ├── ref_op_151_instanceof_String.java │ ├── ref_op_15_instanceof_false_types.java │ ├── ref_op_16_instanceof_null_types.java │ ├── ref_op_17_instanceof_true.java │ ├── ref_op_18_instanceof_false.java │ ├── ref_op_19_conditional_simple.java │ └── test plan.txt ├── 08_op_cond_type │ ├── op_cond_type_01_eq.java │ ├── op_cond_type_02_numeric.java │ ├── op_cond_type_03_null_ref.java │ ├── op_cond_type_04_null_null.java │ ├── op_cond_type_05_ref_ref.java │ └── op_cond_type_test_plan.txt ├── 09_exp_type │ ├── exp_type_01_null.java │ ├── exp_type_02_new_class.java │ ├── exp_type_03_new_array.java │ ├── exp_type_04_field_access.java │ ├── exp_type_05_method_inv.java │ ├── exp_type_06_array_access.java │ ├── exp_type_07_postfix_inc_dec.java │ ├── exp_type_08_prefix_inc_dec.java │ ├── exp_type_09_unary_plus_min.java │ ├── exp_type_10_bit_neg.java │ ├── exp_type_11_bool_not.java │ ├── exp_type_12_cast_prim.java │ ├── exp_type_13_cast_ref.java │ ├── exp_type_14_int_multi.java │ ├── exp_type_15_int_add.java │ ├── exp_type_16_string_plus.java │ ├── exp_type_17_int_bit_shift.java │ ├── exp_type_18_int_relational.java │ ├── exp_type_19_instanceof.java │ ├── exp_type_20_int_eq.java │ ├── exp_type_21_bool_eq.java │ ├── exp_type_22_ref_eq.java │ ├── exp_type_23_bitwise_ops.java │ ├── exp_type_24_logical_ops.java │ ├── exp_type_25_logical_cond_ops.java │ ├── exp_type_26_cond_op.java │ ├── exp_type_27_assign.java │ ├── exp_type_28_assign_comp.java │ ├── exp_type_29_composite_exp.java │ └── exp_type_test_plan.txt ├── 11_stmt_other │ ├── assert_statement.java │ ├── emptyStatement.java │ └── test-plan-assert.txt ├── 12_stmt_loop │ ├── doWhile_1.java │ ├── doWhile_2_field_shadowing.java │ ├── for_decl.java │ ├── for_field_shadowing.java │ ├── for_simple.java │ └── for_two_decls.java ├── 13_stmt_switch │ ├── switch_01_simple.java │ ├── switch_02_multicase.java │ ├── switch_03_default.java │ ├── switch_04_break.java │ ├── switch_05_break_loops.java │ ├── switch_06_continue.java │ ├── switch_07_break_label.java │ ├── switch_08_default_break.java │ └── test-plan.txt ├── 14_stmt_return │ ├── return_01_no_return.java │ ├── return_02_ret_nothing.java │ ├── return_03_ret_number.java │ ├── return_04_ret_sum.java │ ├── return_05_if_then_else.java │ ├── return_06_while.java │ ├── return_07_do_while.java │ ├── return_08_for.java │ ├── return_09_switch.java │ ├── return_10_labeled.java │ ├── return_11_try_ret_catch_finally.java │ ├── return_12_try_catch_ret_finally.java │ ├── return_13_try_catch_finally_ret.java │ ├── return_14_try_ret_finally_ret.java │ ├── return_15_try_throw_finally_ret.java │ ├── return_16_try_catch_ret_finally_ret.java │ ├── return_17_ret_string.java │ ├── return_18_ret_ref_exact.java │ ├── return_19_ret_ref_derived.java │ ├── return_20_block_env_restore.java │ └── test-plan.txt ├── 15_stmt_throw │ ├── test-plan.txt │ ├── throw_01_try_catch.java │ ├── throw_02_try_catch_finally.java │ ├── throw_03_tryCF_tryC.java │ ├── throw_04_tryF_tryCF.java │ ├── throw_05_try_catch_base.java │ ├── throw_06_try_CCCF.java │ ├── throw_07_try_mcall.java │ ├── throw_08_stack_stmts.java │ ├── throw_09_try_rethrow_try.java │ ├── throw_10_tryC_throw_F_tryC.java │ ├── throw_11_tryCF_throw_tryC.java │ ├── throw_12_tryC_throw_C_tryC.java │ ├── throw_13_try_CF_no_throw.java │ ├── throw_14_catch_field_shadow.java │ ├── throw_15_catch_env_restore.java │ └── throw_16_followed_by_try.java ├── 16_stmt_throw_thread_term │ ├── thread_term_01_throw.java │ ├── thread_term_01_throw.out │ ├── thread_term_02_tryCF.java │ ├── thread_term_02_tryCF.out │ ├── thread_term_03_mcall.java │ └── thread_term_03_mcall.out ├── 17_stmt_break │ ├── break_01_while.java │ ├── break_02_do.java │ ├── break_03_for.java │ ├── break_04_catch_for.java │ ├── break_05_finally_for.java │ ├── break_06_for_field_shadowing.java │ ├── break_07_L_while.java │ ├── break_08_L_do.java │ ├── break_09_L_for.java │ ├── break_10_L_block_while.java │ ├── break_11_block_env_restore.java │ ├── break_label_1_block_simple.java │ ├── break_label_2_nested_labeled.java │ ├── break_label_3_block_in_while.java │ ├── break_label_4_for.java │ ├── break_label_5_finally_in_for.java │ ├── break_label_6_catch_in_for.java │ ├── graph_break.java │ ├── label_propagation_01_block.java │ ├── label_propagation_02_while.java │ ├── label_propagation_03_for.java │ └── test-plan-break-label.txt ├── 18_stmt_continue │ ├── continue_01_while.java │ ├── continue_02_do_1.java │ ├── continue_03_do_2.java │ ├── continue_04_for.java │ ├── continue_05_two_loops.java │ ├── continue_06_catch_for.java │ ├── continue_07_finally_for.java │ ├── continue_08_for_field_shadowing.java │ ├── continue_09_while_label.java │ ├── continue_10_for_label.java │ ├── continue_11_block_env_restore.java │ ├── continue_label_01_while.java │ ├── continue_label_02_do_1.java │ ├── continue_label_03_do_2.java │ ├── continue_label_04_for.java │ ├── continue_label_05_catch_for.java │ ├── continue_label_06_finally_for.java │ ├── continue_label_07_while_L_w.java │ ├── continue_label_08_L_while_L_w.java │ ├── continue_label_09_for_L_w.java │ ├── continue_label_10_L_for_L_w.java │ ├── continue_label_11_L_block_L_w.java │ ├── graph_continue.java │ └── test-plan-continue-label.txt ├── 21_arrays │ ├── array_01_overview.java │ ├── array_02_assign_type_preserv.java │ ├── array_03_ref_assign_type_preserv.java │ ├── array_04_alloc_multidim.java │ ├── array_05_alloc_boundary.java │ ├── array_06_alloc_NASException.java │ ├── array_07_alloc_dim_expr_types.java │ ├── array_08_alloc_order_of_dims.java │ ├── array_09_decl_C_style.java │ ├── array_10_access_index_types.java │ ├── array_11_access_AOOBException.java │ ├── array_12_access_eval_order.java │ ├── array_13_access_null.java │ ├── array_14_assign_one_dim_1.java │ ├── array_15_assign_one_dim_2.java │ ├── array_16_assign_multidim.java │ ├── array_17_length.java │ ├── array_18_clone.java │ ├── array_19_clone_polymorphism.java │ ├── array_20_instanceof.java │ ├── array_21_instanceof_complex.java │ ├── array_22_polymorph_array_assign.java │ ├── array_23_polymorph_elem_read.java │ ├── array_24_polymorph_elem_write.java │ ├── array_25_polymorph_matrix.java │ ├── array_26_polymorph_obj_array.java │ ├── array_27_ASException.java │ ├── array_28_ASException_matrix.java │ ├── array_29_ASException_obj_array.java │ ├── array_30_ASException_no_assign.java │ ├── array_31_cast.java │ ├── array_32_init_one_dim.java │ ├── array_33_init_multidim.java │ ├── array_34_init_string.java │ ├── array_35_init_seqstrict.java │ ├── array_36_init_polymorph.java │ ├── array_37_init_inner_array_type.java │ ├── array_38_init_decl_one_dim.java │ ├── array_39_init_decl_multidim_1.java │ ├── array_40_init_decl_multidim_2.java │ ├── array_41_init_decl_complex_stm.java │ ├── array_42_default_val_primitive.java │ ├── array_43_default_val_ref.java │ ├── array_44_side_effect_exp.java │ ├── array_51_assign_type_diff_CompT_RHS.java │ ├── array_52_assign_type_diff_RunT_RHS.java │ ├── array_53_CompT_type_poly_arr_assign_1.java │ ├── array_54_CompT_type_poly_arr_assign_2.java │ └── test plan.txt ├── 22_arrays_separated │ ├── array_sep_01_overview.java │ ├── array_sep_03_ref_assign_type_preserv.java │ ├── array_sep_041_alloc_multidim_w_strict.java │ ├── array_sep_04_alloc_multidim.java │ ├── array_sep_05_alloc_boundary.java │ ├── array_sep_06_alloc_NASException.java │ ├── array_sep_08_alloc_order_of_dims.java │ ├── array_sep_09_decl_C_style.java │ ├── array_sep_11_access_AOOBException.java │ ├── array_sep_12_access_eval_order.java │ ├── array_sep_13_access_null.java │ ├── array_sep_14_assign_one_dim_1.java │ ├── array_sep_15_assign_one_dim_2.java │ ├── array_sep_16_assign_multidim.java │ ├── array_sep_171_length_null.java │ ├── array_sep_17_length.java │ ├── array_sep_20_instanceof.java │ ├── array_sep_21_instanceof_complex.java │ ├── array_sep_22_polymorph_array_assign.java │ ├── array_sep_23_polymorph_elem_read.java │ ├── array_sep_24_polymorph_elem_write.java │ ├── array_sep_25_polymorph_matrix.java │ ├── array_sep_26_polymorph_obj_array.java │ ├── array_sep_27_ASException.java │ ├── array_sep_28_ASException_matrix.java │ ├── array_sep_29_ASException_obj_array.java │ ├── array_sep_30_ASException_no_assign.java │ ├── array_sep_31_cast.java │ ├── array_sep_32_init_one_dim.java │ ├── array_sep_33_init_multidim.java │ ├── array_sep_34_init_string.java │ ├── array_sep_35_init_seqstrict.java │ ├── array_sep_36_init_polymorph.java │ ├── array_sep_37_init_inner_array_type.java │ ├── array_sep_38_init_decl_one_dim.java │ ├── array_sep_39_init_decl_multidim_1.java │ ├── array_sep_40_init_decl_multidim_2.java │ ├── array_sep_41_init_decl_complex_stm.java │ ├── array_sep_42_default_val_primitive.java │ ├── array_sep_431_default_val_arr.java │ ├── array_sep_43_default_val_ref.java │ ├── array_sep_44_side_effect_exp.java │ └── test plan.txt ├── 23_basic_jvm_exc │ ├── jvm_exc_01_arith_exc.java │ ├── jvm_exc_02_NPE.java │ ├── jvm_exc_03_cast_exc_hierarchy.java │ ├── jvm_exc_04_cast_exc_types.java │ └── test plan.txt ├── 24_floats │ ├── float_11_literals_simple.java │ ├── float_12_literals_with_letter.java │ ├── float_21_plus.java │ ├── float_22_numeric_ops.java │ ├── float_23_comparison_ops.java │ ├── float_24_cond.java │ ├── float_25_string_plus.java │ ├── float_31_cast_float_double.java │ ├── float_31_cast_float_double.out │ ├── float_32_cast_to_int.java │ ├── float_33_double_to_types.java │ ├── float_34_types_to_double.java │ ├── float_41_promotions_with_float.java │ ├── float_42_promotions_with_double.java │ ├── float_43_assign_conv.java │ ├── float_44_compound_assign.java │ ├── float_45_comparison_diff_types.java │ ├── float_51_float_sub_of_types.java │ ├── float_52_double_sub_of_types.java │ ├── float_61_print.java │ ├── float_62_init.java │ └── test plan floats.txt ├── 31_diverse │ ├── all_sorting.in │ ├── all_sorting.java │ ├── bubble.in │ ├── bubble.java │ ├── collatz.in │ ├── collatz.java │ ├── factorial.in │ ├── factorial.java │ ├── heap.in │ ├── heap.java │ ├── insertion1.java │ ├── insertion2.java │ ├── matrixMul.java │ ├── odd_even.java │ ├── point.java │ └── tree_sum.java ├── 32_java_api_core │ ├── Object_equals.java │ ├── String_charAt.java │ ├── String_compareTo.java │ ├── exception_toString.java │ ├── obj_getClass_getName │ │ ├── className_01.java │ │ ├── className_02.java │ │ ├── className_03_user_classes.java │ │ ├── className_04_package.java │ │ │ ├── Test.java │ │ │ └── className_04_package.java │ │ ├── className_05_array_primitive.java │ │ ├── className_06_array_ref.java │ │ ├── className_07_array_multidim.java │ │ └── test plan.txt │ ├── obj_method_03_toString.java │ └── test plan object methods.txt ├── 41_method_basic │ ├── method_11_return_void.java │ ├── method_12_return_types.java │ ├── method_13_arg_types.java │ ├── method_14_multi.java │ ├── method_15_arg_conv.java │ ├── method_21_inheritance.java │ ├── method_31_overriding.java │ ├── method_32_overriding_2.java │ ├── method_33_throws.java │ ├── method_34_final.java │ ├── method_35_this_explicit.java │ ├── method_36_return_object.java │ ├── method_37_c_like_arr_args.java │ ├── method_38_c_like_arr_poly.java │ ├── method_41_qualifier_order.java │ ├── method_42_qual_exception_order.java │ ├── method_43_np_exception_order.java │ ├── method_44_arg_order.java │ └── test plan.txt ├── 42_method_overloading │ ├── overload_11_diff_arg_num.java │ ├── overload_12_two_methods.java │ ├── overload_13_arg_conv.java │ ├── overload_14_null_conv.java │ ├── overload_15_inherit_and_others.java │ ├── overload_21_one_arg_diff_type.java │ ├── overload_22_one_arg_conv.java │ ├── overload_23_one_arg_mixed.java │ ├── overload_24_one_arg_null.java │ ├── overload_25_multi_arg.java │ ├── overload_26_multi_arg_semiamb.java │ ├── overload_27_one_arg_inherit.java │ ├── overload_28_one_arg_polymorph.java │ ├── overload_31_multi_appl.java │ ├── overload_32_multi_appl_conv.java │ ├── overload_33_multi_appl_multi_arg.java │ ├── overload_34_multi_appl_inherit.java │ ├── overload_35_multi_appl_poly.java │ ├── overload_36_multi_appl_other.java │ ├── overload_37_big_subtyping.java │ ├── overload_38_null_subtyping.java │ ├── overload_39_base_more_specific.java │ └── test plan.txt ├── 43_method_access_mode │ ├── m_access_01_override_1.java │ │ ├── A.java │ │ ├── B.java │ │ ├── C.java │ │ └── m_access_01_override_1.java │ ├── m_access_02_override_2.java │ │ ├── A.java │ │ ├── B.java │ │ ├── C.java │ │ └── m_access_02_override_2.java │ ├── m_access_03_overload.java │ │ ├── A.java │ │ ├── B.java │ │ ├── C.java │ │ ├── D.java │ │ └── m_access_03_overload.java │ ├── m_access_04_acc_modes.java │ │ ├── A.java │ │ ├── B.java │ │ ├── C.java │ │ ├── D.java │ │ └── m_access_04_acc_modes.java │ ├── m_access_05_protected.java │ │ ├── A.java │ │ ├── C.java │ │ └── m_access_05_protected.java │ ├── m_access_06_acc_mode_specified.java │ │ ├── A.java │ │ └── m_access_06_acc_mode_specified.java │ ├── m_access_07_acc_mode_not_spec.java │ │ ├── A.java │ │ ├── B.java │ │ └── m_access_07_acc_mode_not_spec.java │ ├── overl_overw_interplay_01.java │ │ ├── A.java │ │ ├── B.java │ │ ├── C.java │ │ ├── Test_in_a.java │ │ ├── Test_in_b.java │ │ └── overl_overw_interplay_01.java │ ├── overl_overw_interplay_02.java │ │ ├── A.java │ │ ├── B.java │ │ ├── C.java │ │ ├── Test_in_a.java │ │ ├── Test_in_b.java │ │ └── overl_overw_interplay_02.java │ ├── overl_overw_interplay_03.java │ │ ├── A.java │ │ ├── B.java │ │ ├── C.java │ │ ├── Test_in_a.java │ │ ├── Test_in_b.java │ │ └── overl_overw_interplay_03.java │ ├── overl_overw_interplay_04.java │ │ ├── A.java │ │ ├── B.java │ │ ├── C.java │ │ ├── Test_in_a.java │ │ ├── Test_in_b.java │ │ └── overl_overw_interplay_04.java │ ├── overl_overw_interplay_05.java │ │ ├── A.java │ │ ├── B.java │ │ ├── C.java │ │ ├── Test_in_a.java │ │ ├── Test_in_b.java │ │ └── overl_overw_interplay_05.java │ └── test plan method access mode.txt ├── 44_fields │ ├── fields_101_local_access.java │ ├── fields_102_of_type_ref.java │ ├── fields_11_one_class.java │ ├── fields_12_inheritance.java │ ├── fields_130_hiding.java │ ├── fields_131_hiding_local_access.java │ ├── fields_132_hiding_super_access.java │ ├── fields_133_hiding_super_2.java │ ├── fields_134_hiding_acc_modes.java │ ├── fields_14_shadowing_by_local_var.java │ ├── fields_15_hiding_by_param.java │ ├── fields_16_default_value.java │ ├── fields_17_multifield.java │ ├── fields_18_final.java │ ├── fields_19_hiding_acc_modes.java │ ├── fields_21_super_chain.java │ ├── fields_22_super_overl.java │ ├── fields_23_super_chain_overl.java │ ├── fields_24_super_assign.java │ └── test plan.txt ├── 45_class_init │ ├── field_init_201_const.java │ ├── field_init_202_backward_ref.java │ ├── field_init_203_forward_ref.java │ ├── field_init_204_forward_all_defaults.java │ ├── field_init_205_forward_assign.java │ ├── field_init_206_forward_method_ref.java │ ├── field_init_207_inheritance.java │ ├── field_init_208_overriding.java │ ├── field_init_209_exc.java │ ├── field_init_210_super.java │ ├── field_init_211_multifield.java │ ├── field_init_212_array_init.java │ ├── inst_init_31.java │ ├── inst_init_32.java │ ├── inst_init_33.java │ ├── inst_init_34_exc.java │ ├── inst_init_35_hiding.java │ ├── inst_init_41_hier_order.java │ └── test plan.txt ├── 46_constructors │ ├── constr_50_basic.java │ ├── constr_51_implicit_noarg.java │ ├── constr_52_explicit_noarg.java │ ├── constr_53_explicit_args.java │ ├── constr_54_args_tracing.java │ ├── constr_55_init_tracing.java │ ├── constr_56_init_hiding_tracing.java │ ├── constr_57_init_exc.java │ ├── constr_58_super.java │ ├── constr_61_this_chain.java │ ├── constr_62_this_chain_w_i_init.java │ ├── constr_71_default_constr.java │ ├── constr_72_constr_iinit_var_collide.java │ ├── constr_73_constr_iinit_var_col_2.java │ ├── constr_81_overload_simple.java │ ├── constr_82_overload_multicontext.java │ ├── constr_83_acc_modes_super.java │ │ ├── A.java │ │ ├── B.java │ │ ├── C.java │ │ └── constr_83_acc_modes_super.java │ ├── constr_84_acc_modes_new.java │ │ ├── A.java │ │ ├── B.java │ │ ├── C.java │ │ ├── TestPackage.java │ │ ├── TestPublic.java │ │ └── constr_84_acc_modes_new.java │ ├── constr_91_name_collision.java │ └── test plan.txt ├── 47_abstract │ ├── abstract_01_simple.java │ ├── abstract_02_overload.java │ ├── abstract_03_acc_modes.java │ │ ├── A.java │ │ ├── B.java │ │ └── abstract_03_acc_modes.java │ └── test plan.txt ├── 48_interfaces │ ├── interface_11_instof.java │ ├── interface_12_instof_chain.java │ ├── interface_13_instof_multi_impl.java │ ├── interface_14_instof_interf_extends.java │ ├── interface_15_instof_interf_multi_ext.java │ ├── interface_16_instof_hierarchy_tree.java │ ├── interface_21_basic.java │ ├── interface_22_poly.java │ ├── interface_23_abstract_propagation.java │ ├── interface_24_decl_impl_diff_paths.java │ ├── interface_25_one_intf_overload.java │ ├── interface_31_multi_impl.java │ ├── interface_32_multi_i_common_method.java │ ├── interface_33_intf_multi_extends.java │ ├── interface_34_class_and_intf_hier.java │ ├── interface_35_diamond_hier.java │ ├── interface_36_multi_i_overload.java │ ├── interface_41_methods_from_cl_object.java │ ├── interface_51_access_modes.java │ │ ├── A.java │ │ ├── I1.java │ │ └── interface_51_access_modes.java │ ├── interface_61_class_subtype_of_intf_diamond.java │ ├── interface_62_intf_subtype_of_other.java │ ├── interface_63_any_subtype_of_intf.java │ ├── interface_64_null_subtype_of_intf.java │ ├── interface_71_array_of_intf_shapes.java │ └── test plan.txt ├── 49_super_method │ ├── super_m_01_simple.java │ ├── super_m_02_poly.java │ ├── super_m_03_overload.java │ ├── super_m_04_overload_poly.java │ ├── super_m_05_acc_modes_same_pack.java │ │ ├── A.java │ │ ├── B.java │ │ └── super_m_05_acc_modes_same_pack.java │ ├── super_m_06_acc_modes_other_pack.java │ │ ├── A.java │ │ ├── B.java │ │ └── super_m_06_acc_modes_other_pack.java │ ├── super_m_07_acc_modes_other_pack_2.java │ │ ├── A.java │ │ ├── B.java │ │ └── super_m_07_acc_modes_other_pack_2.java │ ├── super_m_08_acc_m_return_hier.java │ │ ├── A.java │ │ ├── B.java │ │ ├── C.java │ │ └── super_m_08_acc_m_return_hier.java │ ├── super_m_09_acc_m_return_hier_poly.java │ │ ├── A.java │ │ ├── B.java │ │ ├── C.java │ │ └── super_m_09_acc_m_return_hier_poly.java │ ├── super_m_10_acc_m_double_overriding.java │ │ ├── A.java │ │ ├── B.java │ │ ├── C.java │ │ └── super_m_10_acc_m_double_overriding.java │ ├── super_m_11_hier_navigating_calls.java │ └── test_plan_super_method.txt ├── 51_static_methods │ ├── static_m_101_qualified.java │ ├── static_m_102_nested.java │ ├── static_m_103_unqualified.java │ ├── static_m_104_unq_static_c.java │ ├── static_m_105_multi_unqualified.java │ ├── static_m_106_lookup_general.java │ ├── static_m_107_overloading.java │ ├── static_m_108_access_modes.java │ ├── static_m_109_protected_mode.java │ │ ├── A.java │ │ └── static_m_109_protected_mode.java │ ├── static_m_110_overload_hier.java │ ├── static_m_111_no_overwrite.java │ ├── static_m_112_hiding.java │ ├── static_m_113_hiding_overl_indep.java │ ├── static_m_114_overl_static_inst_1.java │ ├── static_m_115_overl_static_inst_2.java │ ├── static_m_116_overl_static_inst_3.java │ ├── static_m_117_overl_vs_hiding.java │ ├── static_m_118_call_in_inst_init.java │ ├── static_m_119_qual_null.java │ ├── static_m_120_qual_traced.java │ ├── static_m_121_hiding_qual_traced.java │ └── test plan.txt ├── 52_static_fields │ ├── static_f_101_qualified.java │ ├── static_f_102_unqualified.java │ ├── static_f_103_multi_fields.java │ ├── static_f_104_instance_counter.java │ ├── static_f_105_lookup_general.java │ ├── static_f_106_hiding.java │ ├── static_f_107_no_overwriting.java │ ├── static_f_108_in_inst_init.java │ ├── static_f_109_shadowed_by_local_var.java │ ├── static_f_110_default_value.java │ ├── static_f_111_class_qual_composite.java │ └── test plan.txt ├── 53_static_init │ ├── static_f_init_101_const.java │ ├── static_f_init_102_backward_ref.java │ ├── static_f_init_103_forward_ref.java │ ├── static_f_init_104_forward_all_defaults.java │ ├── static_f_init_105_forward_assign.java │ ├── static_f_init_106_forward_method_ref.java │ ├── static_f_init_107_exc.java │ ├── static_f_init_108_multifield.java │ ├── static_f_init_109_array_init.java │ ├── static_init_21_f_i_then_s_i.java │ ├── static_init_22_s_i_then_f_i.java │ ├── static_init_23_init_interleaved.java │ ├── static_init_24_exc.java │ ├── static_init_25_shadowing.java │ ├── static_init_26_this_after_exc_m_call.java │ ├── static_init_27_this_after_exc_f_acc.java │ ├── static_init_31_inheritance.java │ ├── static_init_32_hier_order.java │ └── test plan static init.txt ├── 54_interface_fields │ ├── interface_f_11_interface_target.java │ ├── interface_f_12_sub_interface_target.java │ ├── interface_f_13_class_target.java │ ├── interface_f_14_subclass_target.java │ ├── interface_f_15_class_sub_i_target.java │ ├── interface_f_16_modifiers.java │ ├── interface_f_21_hiding_direct_interf.java │ ├── interface_f_22_hiding_indirect_interf.java │ ├── interface_f_23_hiding_class_sub_i.java │ ├── interface_f_24_hiding_direct_class.java │ ├── interface_f_25_hiding_indirect_class.java │ ├── interface_f_31_multi_inh_no_hiding.java │ ├── interface_f_32_multi_inh_hiding.java │ ├── interface_f_33_multi_inh_multi_hiding.java │ ├── interface_f_34_multi_inh_giga_hiding.java │ ├── interface_f_41_multi_inh_multi_path_1.java │ ├── interface_f_42_multi_inh_multi_path_2.java │ ├── interface_f_51_amb_inherited_1.java │ ├── interface_f_52_amb_inherited_2.java │ ├── interface_f_61_amb_inherited_super_1.java │ ├── interface_f_62_amb_inherited_super_2.java │ ├── interface_f_71_init_const.java │ ├── interface_f_72_init_backward_ref.java │ ├── interface_f_73_init_forward_ref.java │ ├── interface_f_74_init_forward_all_defaults.java │ ├── interface_f_75_init_exc.java │ ├── interface_f_76_init_multifield.java │ ├── interface_f_81_hier_inheritance.java │ ├── interface_f_82_hier_multi_inheritance.java │ ├── interface_f_83_hier_class_impl_interf.java │ ├── interface_f_91_array_init.java │ ├── interface_f_92_field_double_inh.java │ ├── interface_f_93_field_private_hiding.java │ └── test plan.txt ├── 55_static_init_trigger │ ├── static_i_trig_101_class_init_simple.java │ ├── static_i_trig_102_two_classes.java │ ├── static_i_trig_103_instantiation.java │ ├── static_i_trig_104_static_f_read.java │ ├── static_i_trig_105_static_f_write.java │ ├── static_i_trig_106_all_triggers.java │ ├── static_i_trig_107_both_init.java │ ├── static_i_trig_108_hier_instantiate.java │ ├── static_i_trig_109_hier_s_meth_call.java │ ├── static_i_trig_110_hier_common_base.java │ ├── static_i_trig_111_actual_init_class_1.java │ ├── static_i_trig_112_actual_init_class_2.java │ ├── static_i_trig_113_init_chain.java │ ├── static_i_trig_114_init_loop_no_hier.java │ ├── static_i_trig_115_init_loop_hier.java │ ├── static_i_trig_116_env_separation.java │ ├── static_i_trig_201_i_init_simple.java │ ├── static_i_trig_202_two_i.java │ ├── static_i_trig_203_c_i_no_init.java │ ├── static_i_trig_204_i_ii_no_init.java │ ├── static_i_trig_205_intf_m_call_no_init.java │ ├── static_i_trig_206_intf_f_call_init.java │ ├── static_i_trig_207_actual_init_intf_1.java │ ├── static_i_trig_208_actual_init_intf_2.java │ ├── static_i_trig_209_init_chain_c_i.java │ ├── static_i_trig_210_init_chain_i_diam.java │ ├── static_i_trig_211_init_loop_c_ii.java │ ├── static_i_trig_212_init_loop_intf_hier.java │ ├── static_i_trig_213_i_env_separation.java │ ├── static_i_trig_214_trigger_by_unq_exp.java │ ├── static_i_trig_215_trigger_by_oth_exp.java │ └── test plan.txt ├── 56_main_method │ ├── main_01_is_static.java │ ├── main_02_arg_type.java │ │ ├── a.java │ │ ├── main_02_arg_type.java │ │ └── t.java │ ├── main_03_return_type.java │ │ ├── a.java │ │ ├── main_03_return_type.java │ │ └── t.java │ ├── main_04_modifiers.java │ │ ├── a.java │ │ ├── b.java │ │ ├── main_04_modifiers.java │ │ ├── s.java │ │ └── t.java │ ├── main_05_modifiers_order.java │ ├── main_06_c_like_arg.java │ └── test plan.txt ├── 57_field_access_mode │ ├── f_access_01_instance_all_pairs.java │ │ ├── A.java │ │ ├── B.java │ │ ├── C.java │ │ ├── D.java │ │ ├── E.java │ │ └── f_access_01_instance_all_pairs.java │ ├── f_access_02_static_all_pairs.java │ │ ├── A.java │ │ ├── B.java │ │ ├── C.java │ │ ├── D.java │ │ ├── E.java │ │ └── f_access_02_static_all_pairs.java │ ├── f_access_03_multi_inh_priv_pub_1.java │ ├── f_access_04_multi_inh_priv_pub_2.java │ ├── f_access_05_interf_fields_public.java │ │ ├── B.java │ │ └── f_access_05_interf_fields_public.java │ └── test plan.txt ├── 58_comp_time_constants │ ├── const_01_in_class.java │ ├── const_02_in_interface.java │ ├── const_03_priority_1.java │ ├── const_04_priority_2.java │ ├── const_05_inheritance.java │ └── test plan constants.txt ├── 61_packages │ ├── packages_11_fullyqual_simple.java │ │ ├── pack │ │ │ ├── A.java │ │ │ └── B.java │ │ └── packages_11_fullyqual_simple.java │ ├── packages_12_two_packs.java │ │ ├── pack1 │ │ │ └── A.java │ │ ├── pack2 │ │ │ └── B.java │ │ └── packages_12_two_packs.java │ ├── packages_13_class_name_amb.java │ │ ├── pack1 │ │ │ └── A.java │ │ ├── pack2 │ │ │ └── A.java │ │ └── packages_13_class_name_amb.java │ ├── packages_14_nested_packs.java │ │ ├── pack │ │ │ ├── A.java │ │ │ ├── p1 │ │ │ │ ├── A.java │ │ │ │ └── p11 │ │ │ │ │ └── A.java │ │ │ └── p2 │ │ │ │ └── A.java │ │ └── packages_14_nested_packs.java │ ├── packages_21_unq_one_pack.java │ │ ├── pack │ │ │ ├── A_and_B.java │ │ │ └── Test.java │ │ └── packages_21_unq_one_pack.java │ ├── packages_22_unq_one_pack_2.java │ │ ├── pack │ │ │ ├── A.java │ │ │ ├── B.java │ │ │ └── Test.java │ │ └── packages_22_unq_one_pack_2.java │ ├── packages_23_unq_from_many_packs.java │ │ ├── pack │ │ │ ├── A.java │ │ │ ├── Test.java │ │ │ ├── pbb │ │ │ │ ├── A.java │ │ │ │ └── Test.java │ │ │ └── pcc │ │ │ │ ├── A.java │ │ │ │ └── Test.java │ │ └── packages_23_unq_from_many_packs.java │ ├── packages_24_default_pack.java │ │ ├── A.java │ │ ├── B.java │ │ ├── pack │ │ │ ├── A.java │ │ │ └── B.java │ │ └── packages_24_default_pack.java │ ├── packages_25_default_pack_2.java │ │ ├── A.java │ │ ├── B.java │ │ ├── pack │ │ │ ├── A.java │ │ │ ├── B.java │ │ │ └── Test.java │ │ └── packages_25_default_pack_2.java │ ├── packages_26_java_lang.java │ │ ├── pack │ │ │ ├── Object.java │ │ │ └── RuntimeException.java │ │ ├── pack2 │ │ │ └── Test.java │ │ └── packages_26_java_lang.java │ ├── packages_31_single_t_imp_simple.java │ │ ├── p1 │ │ │ └── A.java │ │ └── packages_31_single_t_imp_simple.java │ ├── packages_32_single_t_imp_typical.java │ │ ├── p │ │ │ ├── pb │ │ │ │ └── A.java │ │ │ └── pc │ │ │ │ └── A.java │ │ ├── packages_32_single_t_imp_typical.java │ │ └── pt │ │ │ └── Test.java │ ├── packages_33_single_t_imp_multi.java │ │ ├── Test.java │ │ ├── p │ │ │ ├── pb │ │ │ │ ├── A.java │ │ │ │ ├── B.java │ │ │ │ └── Test.java │ │ │ └── pc │ │ │ │ ├── A.java │ │ │ │ └── B.java │ │ └── packages_33_single_t_imp_multi.java │ ├── packages_34_single_t_imp_same_cu.java │ │ ├── p │ │ │ ├── pb │ │ │ │ └── A.java │ │ │ └── pc │ │ │ │ └── A.java │ │ ├── packages_34_single_t_imp_same_cu.java │ │ └── pt │ │ │ └── Test1.java │ ├── packages_35_single_t_imp_vs_local.java │ │ ├── pa │ │ │ ├── A.java │ │ │ ├── B.java │ │ │ └── C.java │ │ ├── packages_35_single_t_imp_vs_local.java │ │ └── pt │ │ │ ├── B.java │ │ │ └── Test.java │ ├── packages_41_multi_t_imp_simple.java │ │ ├── p1 │ │ │ ├── A.java │ │ │ └── B.java │ │ └── packages_41_multi_t_imp_simple.java │ ├── packages_42_multi_t_imp_typical.java │ │ ├── p1 │ │ │ ├── A.java │ │ │ └── B.java │ │ ├── p2 │ │ │ ├── A.java │ │ │ └── B.java │ │ ├── packages_42_multi_t_imp_typical.java │ │ └── pt │ │ │ └── Test.java │ ├── packages_43_multi_t_imp_multi.java │ │ ├── pa1 │ │ │ └── A.java │ │ ├── pa2 │ │ │ └── A.java │ │ ├── packages_43_multi_t_imp_multi.java │ │ ├── pb1 │ │ │ ├── B.java │ │ │ └── C.java │ │ ├── pb2 │ │ │ ├── B.java │ │ │ └── C.java │ │ └── pt │ │ │ └── Test.java │ ├── packages_44_multi_t_imp_same_cu.java │ │ ├── pa1 │ │ │ └── A.java │ │ ├── pa2 │ │ │ └── A.java │ │ ├── packages_44_multi_t_imp_same_cu.java │ │ └── pt │ │ │ └── Test1.java │ ├── packages_45_multi_t_imp_vs_local.java │ │ ├── pa │ │ │ └── A.java │ │ ├── packages_45_multi_t_imp_vs_local.java │ │ ├── pb │ │ │ └── B.java │ │ ├── pc │ │ │ └── C.java │ │ └── pt │ │ │ ├── B.java │ │ │ └── Test.java │ ├── packages_46_import_types_mix.java │ │ ├── p1 │ │ │ ├── A.java │ │ │ ├── B.java │ │ │ └── C.java │ │ ├── p2 │ │ │ ├── B.java │ │ │ └── C.java │ │ ├── p3 │ │ │ └── C.java │ │ └── packages_46_import_types_mix.java │ ├── packages_47_multi_t_imp_nested_p.java │ │ ├── p │ │ │ └── p1 │ │ │ │ ├── A.java │ │ │ │ └── B.java │ │ ├── p1 │ │ │ ├── A.java │ │ │ └── B.java │ │ ├── packages_47_multi_t_imp_nested_p.java │ │ └── pt │ │ │ └── Test.java │ ├── packages_51_fullyqual_in_qualifiers.java │ │ ├── p1 │ │ │ └── A.java │ │ └── packages_51_fullyqual_in_qualifiers.java │ ├── packages_52_pack_res_in_qualifiers.java │ │ ├── A.java │ │ ├── p1 │ │ │ ├── B.java │ │ │ └── C.java │ │ ├── p2 │ │ │ └── C.java │ │ ├── p3 │ │ │ ├── A.java │ │ │ └── C.java │ │ └── packages_52_pack_res_in_qualifiers.java │ ├── packages_53_class_ext_impl.java │ │ ├── p1 │ │ │ ├── A.java │ │ │ └── I.java │ │ ├── p2 │ │ │ ├── A.java │ │ │ └── I.java │ │ └── packages_53_class_ext_impl.java │ ├── packages_54_interf_extends.java │ │ ├── p1 │ │ │ └── I1.java │ │ ├── p2 │ │ │ └── I1.java │ │ ├── p3 │ │ │ └── I1.java │ │ └── packages_54_interf_extends.java │ ├── packages_55_var_method_types.java │ │ ├── p1 │ │ │ └── A.java │ │ ├── p2 │ │ │ └── A.java │ │ └── packages_55_var_method_types.java │ ├── packages_56_array_types.java │ │ ├── p1 │ │ │ └── A.java │ │ ├── p2 │ │ │ └── A.java │ │ └── packages_56_array_types.java │ ├── packages_57_fullyqual_instanceof.java │ │ ├── p1 │ │ │ └── A.java │ │ ├── p2 │ │ │ └── A.java │ │ └── packages_57_fullyqual_instanceof.java │ ├── packages_58_fullyqual_cast.java │ │ ├── p1 │ │ │ └── A.java │ │ ├── p2 │ │ │ └── A.java │ │ └── packages_58_fullyqual_cast.java │ ├── packages_61_same_name_in_hier.java │ │ ├── p1 │ │ │ ├── A.java │ │ │ └── B.java │ │ ├── p2 │ │ │ ├── A.java │ │ │ └── B.java │ │ └── packages_61_same_name_in_hier.java │ ├── packages_62_same_n_w_cons_overl.java │ │ ├── p1 │ │ │ └── A.java │ │ ├── p2 │ │ │ ├── A.java │ │ │ └── B.java │ │ └── packages_62_same_n_w_cons_overl.java │ ├── packages_71_class_access_modes.java │ │ ├── p1 │ │ │ ├── A.java │ │ │ └── B.java │ │ ├── p2 │ │ │ ├── A.java │ │ │ └── B.java │ │ └── packages_71_class_access_modes.java │ ├── packages_72_acc_modes_vs_local.java │ │ ├── A.java │ │ ├── p1 │ │ │ ├── A.java │ │ │ └── B.java │ │ ├── p2 │ │ │ └── A.java │ │ └── packages_72_acc_modes_vs_local.java │ └── test plan packages.txt ├── 62_class_literals │ ├── class_lit_01_no_packages.java │ ├── class_lit_02_packages.java │ │ ├── A.java │ │ ├── C.java │ │ └── class_lit_02_packages.java │ ├── class_lit_03_interface.java │ ├── class_lit_04_arrays.java │ ├── class_lit_05_ref_equality.java │ │ ├── A.java │ │ └── class_lit_05_ref_equality.java │ └── test plan class literals.txt ├── 63_inner_cl_static │ ├── inner_st_101_simple.java │ ├── inner_st_102_decl_order.java │ ├── inner_st_103_members.java │ ├── inner_st_104_access_modes.java │ │ ├── A.java │ │ ├── P1Test.java │ │ └── inner_st_104_access_modes.java │ ├── inner_st_105_inner_hier.java │ ├── inner_st_106_inner_impl_intf.java │ ├── inner_st_107_simple_names_3_lvl.java │ ├── inner_st_108_access_modes_hier.java │ │ ├── A.java │ │ ├── B.java │ │ ├── TestDef.java │ │ ├── TestP1.java │ │ └── inner_st_108_access_modes_hier.java │ ├── inner_st_109_inner_poly.java │ ├── inner_st_201_inner_to_outer.java │ ├── inner_st_202_outer_members.java │ ├── inner_st_301_simple_outer_field.java │ ├── inner_st_302_simple_outer_method.java │ ├── inner_st_303_outer_acc_modes.java │ │ ├── P1A.java │ │ ├── P1B.java │ │ ├── P1D.java │ │ ├── P2C.java │ │ └── inner_st_303_outer_acc_modes.java │ ├── inner_st_401_inner_dec_acc_modes.java │ ├── inner_st_501_qualifiers.java │ │ ├── A.java │ │ └── inner_st_501_qualifiers.java │ ├── inner_st_502_qualifiers_disamb.java │ │ ├── inner_st_502_qualifiers_disamb.java │ │ ├── p1 │ │ │ ├── A.java │ │ │ └── B.java │ │ └── p2 │ │ │ └── B.java │ ├── inner_st_503_qual_disamb_import.java │ │ ├── inner_st_503_qual_disamb_import.java │ │ ├── p1 │ │ │ └── B.java │ │ └── p2 │ │ │ └── B.java │ ├── inner_st_504_qual_disamb_acc_m.java │ │ ├── inner_st_504_qual_disamb_acc_m.java │ │ ├── p1 │ │ │ ├── A.java │ │ │ └── B.java │ │ └── p2 │ │ │ ├── A.java │ │ │ └── B.java │ ├── inner_st_601_var_types.java │ │ ├── A.java │ │ └── inner_st_601_var_types.java │ ├── inner_st_602_operators.java │ │ ├── A.java │ │ └── inner_st_602_operators.java │ ├── inner_st_603_static_access.java │ │ ├── A.java │ │ └── inner_st_603_static_access.java │ ├── inner_st_604_unq_inner_in_extends.java │ ├── inner_st_605_unq_inner_in_extends_fw.java │ ├── inner_st_606_type_decl.java │ │ ├── A.java │ │ └── inner_st_606_type_decl.java │ ├── inner_st_701_three_levels.java │ │ ├── A.java │ │ └── inner_st_701_three_levels.java │ ├── inner_st_702_3_lvl_members.java │ ├── inner_st_703_3_lvl_overload.java │ ├── inner_st_704_nesting_inher_overl.java │ ├── inner_st_705_inherit_inner_decl.java │ ├── inner_st_706_in_derives_out.java │ ├── inner_st_707_out_derives_in.java │ ├── inner_st_708_in_decl_hiding.java │ ├── inner_st_709_sorts_name_collision.java │ ├── inner_st_710_unq_in_ext_inherit.java │ ├── inner_st_711_twisted_inherit.java │ ├── inner_st_801_inner_interf.java │ ├── inner_st_802_outer_interf.java │ ├── inner_st_803_in_intf_are_static.java │ ├── inner_st_804_intf_member_t_are_static.java │ ├── inner_st_805_in_intf_impl_out_intf.java │ ├── inner_st_806_intf_impl_in_intf.java │ ├── inner_st_807_impl_in_intf_and_names.java │ ├── inner_st_808_static_init.java │ ├── inner_st_809_inner_intf_outer_m_call.java │ ├── inner_st_810_inherit_in_unq.java │ ├── inner_st_811_inherit_in_unq_in_impl.java │ ├── inner_st_812_inherit_in_unq_in_intf.java │ ├── inner_st_813_inherit_in_unq_in_intf_ext.java │ └── test plan inner classes static.txt ├── 64_inner_cl_instance │ ├── inner_in_11_acc_from_outer.java │ ├── inner_in_12_acc_from_inner.java │ ├── inner_in_13_acc_static_outer.java │ ├── inner_in_14_acc_instance_outer.java │ ├── inner_in_15_many_inner_classes.java │ ├── inner_in_16_qual_constr.java │ ├── inner_in_17_diff_constr_quals.java │ ├── inner_in_21_acc_outer_base.java │ ├── inner_in_22_from_der_in_base_in.java │ ├── inner_in_301_inner_is_derived.java │ ├── inner_in_302_polymorph.java │ ├── inner_in_303_in_deriv_from_in.java │ ├── inner_in_304_top_cl_deriv_inner.java │ ├── inner_in_305_in_and_deriv_same.java │ ├── inner_in_306_triangle_hier.java │ ├── inner_in_307_square_hier.java │ ├── inner_in_308_multi_outer_in_hier.java │ ├── inner_in_309_twisted_square_hier.java │ ├── inner_in_310_3_lvl_nest_inher.java │ ├── inner_in_311_3_lvl_nest_inher_amb.java │ ├── inner_in_41_hiding.java │ ├── inner_in_42_hiding_hier.java │ ├── inner_in_43_qualified_super.java │ ├── inner_in_44_qual_this_for_inst.java │ ├── inner_in_51_access_modes_hier.java │ │ ├── A.java │ │ ├── B.java │ │ ├── TestDef.java │ │ ├── TestP1.java │ │ └── inner_in_51_access_modes_hier.java │ ├── inner_in_52_three_levels.java │ │ ├── A.java │ │ └── inner_in_52_three_levels.java │ ├── inner_in_61_inst_init.java │ ├── inner_in_62_qual_constr_order.java │ ├── inner_in_63_inner_alt_constr_call.java │ ├── inner_in_71_three_lvl_stat_and_inst.java │ ├── inner_in_72_three_lvl_interf.java │ ├── inner_in_81_inner_overl_outer.java │ └── test plan inner classes instance.txt ├── 65_local_cl │ ├── local_cl_11_simple.java │ ├── local_cl_12_polymorph.java │ ├── local_cl_13_own_members.java │ ├── local_cl_14_impl_intf.java │ ├── local_cl_15_outer_members_acc.java │ ├── local_cl_16_superclass_constr.java │ ├── local_cl_17_hiding.java │ ├── local_cl_21_base_inner_static.java │ ├── local_cl_22_base_local_static.java │ ├── local_cl_23_base_local_static_init.java │ ├── local_cl_31_base_inner_inst.java │ ├── local_cl_32_base_in_inst_3_arg.java │ ├── local_cl_33_base_local_inst.java │ ├── local_cl_34_base_loc_cl_and_intf.java │ ├── local_cl_41_encl_vars.java │ ├── local_cl_42_encl_vars_nested.java │ ├── local_cl_43_encl_vars_shadow.java │ ├── local_cl_44_encl_vars_shad_after.java │ ├── local_cl_45_encl_vars_shad_before.java │ ├── local_cl_51_three_lvl.java │ ├── local_cl_52_three_lvl_hiding.java │ ├── local_cl_53_three_lvl_local.java │ ├── local_cl_54_three_lvl_local_hiding.java │ ├── local_cl_55_three_lvl_hiding_static.java │ ├── local_cl_56_three_lvl_hiding_inner.java │ ├── local_cl_57_three_lvl_hiding_local.java │ ├── local_cl_61_intf_impl_twice.java │ ├── local_cl_711_inst_encl_cl.java │ ├── local_cl_712_inst_encl_cl_nested.java │ ├── local_cl_713_inst_encl_cl_shadow.java │ ├── local_cl_714_inst_encl_cl_shad_bef.java │ ├── local_cl_715_inst_own_shadow.java │ ├── local_cl_716_two_local_diff_scope.java │ ├── local_cl_717_inst_nesting_uncle.java │ ├── local_cl_721_extends_local_shadow.java │ ├── local_cl_81_extends_local_uncle.java │ ├── local_cl_82_inner_of_local.java │ ├── local_cl_83_inherit_static_fields.java │ ├── local_cl_84_name_coll_with_fields.java │ ├── local_cl_901_own_fiel_vs_encl_prior.java │ ├── local_cl_902_super_fiel_vs_encl.java │ ├── local_cl_903_super_stat_fiel_vs_encl.java │ ├── local_cl_904_super_intf_fiel_vs_encl.java │ ├── local_cl_905_inner_of_local_encl.java │ ├── local_cl_906_in_of_loc_fiel_vs_encl.java │ ├── local_cl_907_in_of_loc_inh_fiel_vs_encl.java │ ├── local_cl_908_in_of_loc_st_fiel_vs_encl.java │ ├── local_cl_909_in_of_loc_intf_fiel_vs_encl.java │ ├── local_cl_910_encl_vs_constr_args.java │ ├── local_cl_911_decl_vs_inst_env_diff.java │ ├── local_cl_912_base_deriv_diff_encl_env.java │ ├── local_cl_913_multi_meth_locals.java │ ├── local_cl_914_fields_vs_locals_3_lvl.java │ ├── local_cl_915_cl_name_shadow_block.java │ ├── local_cl_916_recursion_l_env_restore.java │ ├── local_cl_917_local_decl_env_in_for.java │ ├── local_cl_918_new_local_in_inst_init.java │ ├── local_cl_951_cons_this.java │ ├── local_cl_952_cons_super_base_local.java │ ├── local_cl_953_encl_vars_in_this.java │ ├── local_cl_954_encl_vars_in_super.java │ ├── local_cl_955_encl_vars_in_inst_init.java │ ├── local_cl_956_instantiate_itself.java │ ├── local_cl_957_inst_enclosing_local.java │ ├── local_cl_958_base_is_enclosing_local.java │ └── test plan local classes.txt ├── 66_anonymous_cl │ ├── anonym_cl_11_impl_intf.java │ ├── anonym_cl_12_outer_members.java │ ├── anonym_cl_13_super_constr.java │ ├── anonym_cl_21_base_static_in.java │ ├── anonym_cl_22_base_local_in_st.java │ ├── anonym_cl_31_base_inner_inst.java │ ├── anonym_cl_32_base_in_with_args.java │ ├── anonym_cl_33_base_in_w_args_2.java │ ├── anonym_cl_34_base_local_with_args.java │ ├── anonym_cl_35_base_constr_overl.java │ ├── anonym_cl_41_outer_local_vars.java │ ├── anonym_cl_51_three_lvl_anon_in_anon.java │ ├── anonym_cl_52_three_lvl_inner_in_anon.java │ ├── anonym_cl_61_two_anon_cl.java │ ├── anonym_cl_71_inside_static_f_init.java │ ├── anonym_cl_72_inside_inst_f_init.java │ ├── anonym_cl_73_inside_super_cons_inv.java │ ├── anonym_cl_74_inside_for_exp.java │ ├── anonym_cl_75_inside_for_stm.java │ └── test plan anonymous classes.txt └── 72_threads_run │ ├── threads_11_thread_start.java │ ├── threads_31_sync_meth_static.java │ ├── threads_32_sync_meth_inst.java │ ├── threads_33_sync_class_obj.java │ ├── threads_34_sync_obj.java │ ├── threads_61_sync_on_null.java │ └── threads_62_IMStateException.java └── tools ├── aux-echo.sh ├── aux-kjrun.sh ├── aux-kjtest.sh ├── cross-k.sh ├── cross-path-native.sh ├── cross-path-unix.sh ├── cross-sh.sh ├── extract-all-modules.sh ├── extract-module.sh ├── helloWorld.sh ├── jdk-run.sh ├── jenkins ├── java-semantics-test-examples.sh ├── java-semantics-test-main.sh ├── java-semantics-test-strictness.sh ├── java-semantics-test-symbolic.sh ├── java-semantics-test-threading.sh ├── java-semantics.sh └── set-permissions-after-copy.sh ├── kj-parse-aggreg.sh ├── kj-parse-cache.sh ├── kjkompile.sh ├── kjparse.sh ├── kjrun-simple.sh ├── kjrun.sh ├── kjtest.sh └── test-runner.jar /.gitattributes: -------------------------------------------------------------------------------- 1 | text eol=lf 2 | *.sh -crlf 3 | -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/.gitignore -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/README.md -------------------------------------------------------------------------------- /class-lib/ArithmeticException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/class-lib/ArithmeticException.java -------------------------------------------------------------------------------- /class-lib/ArrayImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/class-lib/ArrayImpl.java -------------------------------------------------------------------------------- /class-lib/ArrayIndexOutOfBoundsException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/class-lib/ArrayIndexOutOfBoundsException.java -------------------------------------------------------------------------------- /class-lib/ArrayStoreException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/class-lib/ArrayStoreException.java -------------------------------------------------------------------------------- /class-lib/AssertionError.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/class-lib/AssertionError.java -------------------------------------------------------------------------------- /class-lib/Class.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/class-lib/Class.java -------------------------------------------------------------------------------- /class-lib/ClassCastException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/class-lib/ClassCastException.java -------------------------------------------------------------------------------- /class-lib/Exception.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/class-lib/Exception.java -------------------------------------------------------------------------------- /class-lib/ExceptionInInitializerError.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/class-lib/ExceptionInInitializerError.java -------------------------------------------------------------------------------- /class-lib/IllegalMonitorStateException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/class-lib/IllegalMonitorStateException.java -------------------------------------------------------------------------------- /class-lib/InterruptedException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/class-lib/InterruptedException.java -------------------------------------------------------------------------------- /class-lib/NegativeArraySizeException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/class-lib/NegativeArraySizeException.java -------------------------------------------------------------------------------- /class-lib/NullPointerException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/class-lib/NullPointerException.java -------------------------------------------------------------------------------- /class-lib/Object.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/class-lib/Object.java -------------------------------------------------------------------------------- /class-lib/PrintWriter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/class-lib/PrintWriter.java -------------------------------------------------------------------------------- /class-lib/Runnable.java: -------------------------------------------------------------------------------- 1 | package java.lang; 2 | 3 | public interface Runnable { 4 | void run(); 5 | } 6 | -------------------------------------------------------------------------------- /class-lib/RuntimeException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/class-lib/RuntimeException.java -------------------------------------------------------------------------------- /class-lib/Scanner.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/class-lib/Scanner.java -------------------------------------------------------------------------------- /class-lib/String.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/class-lib/String.java -------------------------------------------------------------------------------- /class-lib/System.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/class-lib/System.java -------------------------------------------------------------------------------- /class-lib/Thread.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/class-lib/Thread.java -------------------------------------------------------------------------------- /docs/TR-methods.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/docs/TR-methods.pdf -------------------------------------------------------------------------------- /docs/TR-new-instance.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/docs/TR-new-instance.pdf -------------------------------------------------------------------------------- /external-programs/javaprecisely_2002/Example11.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/external-programs/javaprecisely_2002/Example11.out -------------------------------------------------------------------------------- /external-programs/javaprecisely_2002/Example12.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/external-programs/javaprecisely_2002/Example12.java -------------------------------------------------------------------------------- /external-programs/javaprecisely_2002/Example14.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/external-programs/javaprecisely_2002/Example14.java -------------------------------------------------------------------------------- /external-programs/javaprecisely_2002/Example15.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/external-programs/javaprecisely_2002/Example15.java -------------------------------------------------------------------------------- /external-programs/javaprecisely_2002/Example18.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/external-programs/javaprecisely_2002/Example18.java -------------------------------------------------------------------------------- /external-programs/javaprecisely_2002/Example20.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/external-programs/javaprecisely_2002/Example20.out -------------------------------------------------------------------------------- /external-programs/javaprecisely_2002/Example25.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/external-programs/javaprecisely_2002/Example25.java -------------------------------------------------------------------------------- /external-programs/javaprecisely_2002/Example25.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/external-programs/javaprecisely_2002/Example25.out -------------------------------------------------------------------------------- /external-programs/javaprecisely_2002/Example27.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/external-programs/javaprecisely_2002/Example27.java -------------------------------------------------------------------------------- /external-programs/javaprecisely_2002/Example32.in: -------------------------------------------------------------------------------- 1 | alabala 2 | -------------------------------------------------------------------------------- /external-programs/javaprecisely_2002/Example33.in: -------------------------------------------------------------------------------- 1 | alabala 2 | -------------------------------------------------------------------------------- /external-programs/javaprecisely_2002/Example40.out: -------------------------------------------------------------------------------- 1 | 1 2 | 1.35e+1 3 | -------------------------------------------------------------------------------- /external-programs/javaprecisely_2002/Example42.out: -------------------------------------------------------------------------------- 1 | 3.1536e+7 2 | -------------------------------------------------------------------------------- /external-programs/javaprecisely_2002/Example62.out: -------------------------------------------------------------------------------- 1 | 3.1536e+7 2 | -------------------------------------------------------------------------------- /external-programs/javaprecisely_2002/Example68.in: -------------------------------------------------------------------------------- 1 | 110 2 | -------------------------------------------------------------------------------- /external-programs/javaprecisely_2002/Example74_in101/Example74.in: -------------------------------------------------------------------------------- 1 | 101 2 | -------------------------------------------------------------------------------- /external-programs/javaprecisely_2002/Example74_in102/Example74.in: -------------------------------------------------------------------------------- 1 | 102 2 | -------------------------------------------------------------------------------- /external-programs/javaprecisely_2002/Example74_in103/Example74.in: -------------------------------------------------------------------------------- 1 | 103 2 | -------------------------------------------------------------------------------- /external-programs/javaprecisely_2002/Example74_in201/Example74.in: -------------------------------------------------------------------------------- 1 | 201 2 | -------------------------------------------------------------------------------- /external-programs/javaprecisely_2002/Example74_in202/Example74.in: -------------------------------------------------------------------------------- 1 | 202 2 | -------------------------------------------------------------------------------- /external-programs/javaprecisely_2002/Example74_in203/Example74.in: -------------------------------------------------------------------------------- 1 | 203 2 | -------------------------------------------------------------------------------- /external-programs/javaprecisely_2002/Example74_in301/Example74.in: -------------------------------------------------------------------------------- 1 | 301 2 | -------------------------------------------------------------------------------- /external-programs/javaprecisely_2002/Example74_in302/Example74.in: -------------------------------------------------------------------------------- 1 | 302 2 | -------------------------------------------------------------------------------- /external-programs/javaprecisely_2002/Example74_in303/Example74.in: -------------------------------------------------------------------------------- 1 | 303 2 | -------------------------------------------------------------------------------- /external-programs/javaprecisely_2002/Example74_in411/Example74.in: -------------------------------------------------------------------------------- 1 | 401 2 | -------------------------------------------------------------------------------- /external-programs/javaprecisely_2002/Example74_in412/Example74.in: -------------------------------------------------------------------------------- 1 | 412 2 | -------------------------------------------------------------------------------- /external-programs/javaprecisely_2002/Example74_in413/Example74.in: -------------------------------------------------------------------------------- 1 | 413 2 | -------------------------------------------------------------------------------- /external-programs/javaprecisely_2002/Example74_in421/Example74.in: -------------------------------------------------------------------------------- 1 | 421 2 | -------------------------------------------------------------------------------- /external-programs/jbook/Example3_2_1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/external-programs/jbook/Example3_2_1.java -------------------------------------------------------------------------------- /external-programs/jbook/Example4_1_10.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/external-programs/jbook/Example4_1_10.java -------------------------------------------------------------------------------- /external-programs/jbook/Example4_1_2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/external-programs/jbook/Example4_1_2.java -------------------------------------------------------------------------------- /external-programs/jbook/Example4_1_3.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/external-programs/jbook/Example4_1_3.java -------------------------------------------------------------------------------- /external-programs/jbook/Example4_1_4.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/external-programs/jbook/Example4_1_4.java -------------------------------------------------------------------------------- /external-programs/jbook/Example4_1_5.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/external-programs/jbook/Example4_1_5.java -------------------------------------------------------------------------------- /external-programs/jbook/Example4_1_7.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/external-programs/jbook/Example4_1_7.java -------------------------------------------------------------------------------- /external-programs/jbook/Example5_1_2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/external-programs/jbook/Example5_1_2.java -------------------------------------------------------------------------------- /external-programs/jbook/Example5_1_3.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/external-programs/jbook/Example5_1_3.java -------------------------------------------------------------------------------- /external-programs/jbook/Example5_1_5.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/external-programs/jbook/Example5_1_5.java -------------------------------------------------------------------------------- /external-programs/jbook/Example6_2_1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/external-programs/jbook/Example6_2_1.java -------------------------------------------------------------------------------- /external-programs/jbook/Example7_3_1.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/external-programs/jbook/Example7_3_1.out -------------------------------------------------------------------------------- /external-programs/jbook/Exercise3_2_2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/external-programs/jbook/Exercise3_2_2.java -------------------------------------------------------------------------------- /external-programs/jbook/Exercise3_2_3.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/external-programs/jbook/Exercise3_2_3.java -------------------------------------------------------------------------------- /external-programs/jbook/Exercise4_2_2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/external-programs/jbook/Exercise4_2_2.java -------------------------------------------------------------------------------- /external-programs/jbook/Exercise4_2_4.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/external-programs/jbook/Exercise4_2_4.java -------------------------------------------------------------------------------- /external-programs/jbook/Exercise4_2_5.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/external-programs/jbook/Exercise4_2_5.java -------------------------------------------------------------------------------- /external-programs/jbook/Exercise4_2_6.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/external-programs/jbook/Exercise4_2_6.java -------------------------------------------------------------------------------- /external-programs/jbook/Exercise4_2_7.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/external-programs/jbook/Exercise4_2_7.java -------------------------------------------------------------------------------- /external-programs/jbook/Exercise4_2_8.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/external-programs/jbook/Exercise4_2_8.java -------------------------------------------------------------------------------- /external-programs/jbook/Exercise5_2_2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/external-programs/jbook/Exercise5_2_2.java -------------------------------------------------------------------------------- /external-programs/jbook/Exercise5_2_3.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/external-programs/jbook/Exercise5_2_3.java -------------------------------------------------------------------------------- /external-programs/jbook/Exercise5_2_4.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/external-programs/jbook/Exercise5_2_4.java -------------------------------------------------------------------------------- /external-programs/jbook/Exercise6_2_1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/external-programs/jbook/Exercise6_2_1.java -------------------------------------------------------------------------------- /external-programs/jbook/Exercise6_2_2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/external-programs/jbook/Exercise6_2_2.java -------------------------------------------------------------------------------- /external-programs/jbook/Exercise6_2_3.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/external-programs/jbook/Exercise6_2_3.java -------------------------------------------------------------------------------- /external-programs/jbook/Exercise8_2_3.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/external-programs/jbook/Exercise8_2_3.java -------------------------------------------------------------------------------- /external-programs/jbook/Exercise8_3_4.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/external-programs/jbook/Exercise8_3_4.java -------------------------------------------------------------------------------- /external-programs/jbook/Figure16_1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/external-programs/jbook/Figure16_1.java -------------------------------------------------------------------------------- /external-programs/jbook/Figure16_10.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/external-programs/jbook/Figure16_10.java -------------------------------------------------------------------------------- /external-programs/jbook/Figure16_16.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/external-programs/jbook/Figure16_16.java -------------------------------------------------------------------------------- /external-programs/jbook/Figure16_2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/external-programs/jbook/Figure16_2.java -------------------------------------------------------------------------------- /external-programs/jbook/Figure16_3.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/external-programs/jbook/Figure16_3.java -------------------------------------------------------------------------------- /external-programs/jbook/Figure16_4.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/external-programs/jbook/Figure16_4.java -------------------------------------------------------------------------------- /external-programs/jbook/Figure16_5.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/external-programs/jbook/Figure16_5.java -------------------------------------------------------------------------------- /external-programs/jbook/Figure16_7.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/external-programs/jbook/Figure16_7.java -------------------------------------------------------------------------------- /external-programs/jbook/Misc_Department.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/external-programs/jbook/Misc_Department.java -------------------------------------------------------------------------------- /external-programs/jbook/Misc_HelloWorld.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/external-programs/jbook/Misc_HelloWorld.java -------------------------------------------------------------------------------- /external-programs/jbook/Misc_Prime.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/external-programs/jbook/Misc_Prime.java -------------------------------------------------------------------------------- /external-programs/jbook/Misc_Queue.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/external-programs/jbook/Misc_Queue.java -------------------------------------------------------------------------------- /external-programs/jbook/Misc_Stars.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/external-programs/jbook/Misc_Stars.java -------------------------------------------------------------------------------- /external-programs/jbook/test plan jbook.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/external-programs/jbook/test plan jbook.txt -------------------------------------------------------------------------------- /java-fan/class-lib/Object.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/java-fan/class-lib/Object.java -------------------------------------------------------------------------------- /java-fan/class-lib/RuntimeException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/java-fan/class-lib/RuntimeException.java -------------------------------------------------------------------------------- /java-fan/classpath/javarl/JavaCharStream.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/java-fan/classpath/javarl/JavaCharStream.class -------------------------------------------------------------------------------- /java-fan/classpath/javarl/JavaRL.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/java-fan/classpath/javarl/JavaRL.class -------------------------------------------------------------------------------- /java-fan/classpath/javarl/JavaWrapper.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/java-fan/classpath/javarl/JavaWrapper.class -------------------------------------------------------------------------------- /java-fan/classpath/javarl/ParseException.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/java-fan/classpath/javarl/ParseException.class -------------------------------------------------------------------------------- /java-fan/classpath/javarl/Token.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/java-fan/classpath/javarl/Token.class -------------------------------------------------------------------------------- /java-fan/classpath/javarl/TokenMgrError.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/java-fan/classpath/javarl/TokenMgrError.class -------------------------------------------------------------------------------- /java-fan/classpath/javarl/java1_4c.jj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/java-fan/classpath/javarl/java1_4c.jj -------------------------------------------------------------------------------- /java-fan/classpath/javarl/property/Atom.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/java-fan/classpath/javarl/property/Atom.class -------------------------------------------------------------------------------- /java-fan/classpath/javarl/property/Formula.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/java-fan/classpath/javarl/property/Formula.class -------------------------------------------------------------------------------- /java-fan/java-fan-results.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/java-fan/java-fan-results.xml -------------------------------------------------------------------------------- /java-fan/java-fan-summary.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/java-fan/java-fan-summary.txt -------------------------------------------------------------------------------- /java-fan/java-rl-spec/java-inf-int.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/java-fan/java-rl-spec/java-inf-int.maude -------------------------------------------------------------------------------- /java-fan/java-rl-spec/java-rl-infint.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/java-fan/java-rl-spec/java-rl-infint.maude -------------------------------------------------------------------------------- /java-fan/java-rl-spec/java-rl-preprocess.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/java-fan/java-rl-spec/java-rl-preprocess.maude -------------------------------------------------------------------------------- /java-fan/java-rl-spec/java-rl-semantics.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/java-fan/java-rl-spec/java-rl-semantics.maude -------------------------------------------------------------------------------- /java-fan/java-rl-spec/java-rl-syntax.maude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/java-fan/java-rl-spec/java-rl-syntax.maude -------------------------------------------------------------------------------- /java-fan/old-java-fan-results.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/java-fan/old-java-fan-results.xml -------------------------------------------------------------------------------- /java-fan/old-java-fan-summary.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/java-fan/old-java-fan-summary.txt -------------------------------------------------------------------------------- /java-fan/readme.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/java-fan/readme.txt -------------------------------------------------------------------------------- /java-fan/tools/java-fan-aux-test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/java-fan/tools/java-fan-aux-test.sh -------------------------------------------------------------------------------- /java-fan/tools/java-fan-jdk-run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/java-fan/tools/java-fan-jdk-run.sh -------------------------------------------------------------------------------- /java-fan/tools/java-fan-jdk-test-preprocessed.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/java-fan/tools/java-fan-jdk-test-preprocessed.sh -------------------------------------------------------------------------------- /java-fan/tools/java-fan-preprocess.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/java-fan/tools/java-fan-preprocess.sh -------------------------------------------------------------------------------- /java-fan/tools/java-fan-run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/java-fan/tools/java-fan-run.sh -------------------------------------------------------------------------------- /java-fan/tools/java-fan-simple-run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/java-fan/tools/java-fan-simple-run.sh -------------------------------------------------------------------------------- /java-fan/tools/java-fan-test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/java-fan/tools/java-fan-test.sh -------------------------------------------------------------------------------- /java-stmt/class-dec/AssertionError.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/java-stmt/class-dec/AssertionError.k -------------------------------------------------------------------------------- /java-stmt/class-dec/RuntimeException.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/java-stmt/class-dec/RuntimeException.k -------------------------------------------------------------------------------- /java-stmt/java-api-core.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/java-stmt/java-api-core.k -------------------------------------------------------------------------------- /java-stmt/java-arrays.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/java-stmt/java-arrays.k -------------------------------------------------------------------------------- /java-stmt/java-classes.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/java-stmt/java-classes.k -------------------------------------------------------------------------------- /java-stmt/java-core.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/java-stmt/java-core.k -------------------------------------------------------------------------------- /java-stmt/java-expressions.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/java-stmt/java-expressions.k -------------------------------------------------------------------------------- /java-stmt/java-literals.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/java-stmt/java-literals.k -------------------------------------------------------------------------------- /java-stmt/java-statements.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/java-stmt/java-statements.k -------------------------------------------------------------------------------- /java-stmt/java.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/java-stmt/java.k -------------------------------------------------------------------------------- /java-stmt/tools/aux-jstparser.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/java-stmt/tools/aux-jstparser.sh -------------------------------------------------------------------------------- /java-stmt/tools/aux-jstprep.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/java-stmt/tools/aux-jstprep.sh -------------------------------------------------------------------------------- /java-stmt/tools/aux-jstrun.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/java-stmt/tools/aux-jstrun.sh -------------------------------------------------------------------------------- /java-stmt/tools/aux-jsttest.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/java-stmt/tools/aux-jsttest.sh -------------------------------------------------------------------------------- /java-stmt/tools/jstrun.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/java-stmt/tools/jstrun.sh -------------------------------------------------------------------------------- /java-stmt/tools/jsttest.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/java-stmt/tools/jsttest.sh -------------------------------------------------------------------------------- /jbook/jbook-impl/AsmGofer.exe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/AsmGofer.exe -------------------------------------------------------------------------------- /jbook/jbook-impl/AsmGofer/Tcl/gofer.tcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/AsmGofer/Tcl/gofer.tcl -------------------------------------------------------------------------------- /jbook/jbook-impl/AsmGofer/Tk8.0/INSTALL.LOG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/AsmGofer/Tk8.0/INSTALL.LOG -------------------------------------------------------------------------------- /jbook/jbook-impl/AsmGofer/Tk8.0/Readme.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/AsmGofer/Tk8.0/Readme.txt -------------------------------------------------------------------------------- /jbook/jbook-impl/AsmGofer/Tk8.0/UNWISE.EXE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/AsmGofer/Tk8.0/UNWISE.EXE -------------------------------------------------------------------------------- /jbook/jbook-impl/AsmGofer/Tk8.0/bin/Msvcrt.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/AsmGofer/Tk8.0/bin/Msvcrt.dll -------------------------------------------------------------------------------- /jbook/jbook-impl/AsmGofer/Tk8.0/bin/tcl80.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/AsmGofer/Tk8.0/bin/tcl80.dll -------------------------------------------------------------------------------- /jbook/jbook-impl/AsmGofer/Tk8.0/bin/tclpip80.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/AsmGofer/Tk8.0/bin/tclpip80.dll -------------------------------------------------------------------------------- /jbook/jbook-impl/AsmGofer/Tk8.0/bin/tclsh80.exe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/AsmGofer/Tk8.0/bin/tclsh80.exe -------------------------------------------------------------------------------- /jbook/jbook-impl/AsmGofer/Tk8.0/bin/tk80.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/AsmGofer/Tk8.0/bin/tk80.dll -------------------------------------------------------------------------------- /jbook/jbook-impl/AsmGofer/Tk8.0/bin/wish80.exe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/AsmGofer/Tk8.0/bin/wish80.exe -------------------------------------------------------------------------------- /jbook/jbook-impl/AsmGofer/Tk8.0/doc/tcl80.cnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/AsmGofer/Tk8.0/doc/tcl80.cnt -------------------------------------------------------------------------------- /jbook/jbook-impl/AsmGofer/Tk8.0/doc/tcl80.hlp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/AsmGofer/Tk8.0/doc/tcl80.hlp -------------------------------------------------------------------------------- /jbook/jbook-impl/AsmGofer/Tk8.0/include/X11/X.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/AsmGofer/Tk8.0/include/X11/X.h -------------------------------------------------------------------------------- /jbook/jbook-impl/AsmGofer/Tk8.0/include/tcl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/AsmGofer/Tk8.0/include/tcl.h -------------------------------------------------------------------------------- /jbook/jbook-impl/AsmGofer/Tk8.0/include/tk.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/AsmGofer/Tk8.0/include/tk.h -------------------------------------------------------------------------------- /jbook/jbook-impl/AsmGofer/Tk8.0/lib/tcl80.lib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/AsmGofer/Tk8.0/lib/tcl80.lib -------------------------------------------------------------------------------- /jbook/jbook-impl/AsmGofer/Tk8.0/lib/tk8.0/tk.tcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/AsmGofer/Tk8.0/lib/tk8.0/tk.tcl -------------------------------------------------------------------------------- /jbook/jbook-impl/AsmGofer/Tk8.0/lib/tk80.lib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/AsmGofer/Tk8.0/lib/tk80.lib -------------------------------------------------------------------------------- /jbook/jbook-impl/AsmGofer/Tk8.0/license.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/AsmGofer/Tk8.0/license.txt -------------------------------------------------------------------------------- /jbook/jbook-impl/AsmGofer/bin/AsmGof.exe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/AsmGofer/bin/AsmGof.exe -------------------------------------------------------------------------------- /jbook/jbook-impl/AsmGofer/bin/AsmGofH.exe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/AsmGofer/bin/AsmGofH.exe -------------------------------------------------------------------------------- /jbook/jbook-impl/AsmGofer/bin/gofer.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/AsmGofer/bin/gofer.bat -------------------------------------------------------------------------------- /jbook/jbook-impl/BCEL.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/BCEL.jar -------------------------------------------------------------------------------- /jbook/jbook-impl/Bitmaps/error.bmp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/Bitmaps/error.bmp -------------------------------------------------------------------------------- /jbook/jbook-impl/Bitmaps/gray12.bmp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/Bitmaps/gray12.bmp -------------------------------------------------------------------------------- /jbook/jbook-impl/Bitmaps/gray25.bmp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/Bitmaps/gray25.bmp -------------------------------------------------------------------------------- /jbook/jbook-impl/Bitmaps/gray50.bmp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/Bitmaps/gray50.bmp -------------------------------------------------------------------------------- /jbook/jbook-impl/Bitmaps/hourglass.bmp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/Bitmaps/hourglass.bmp -------------------------------------------------------------------------------- /jbook/jbook-impl/Bitmaps/info.bmp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/Bitmaps/info.bmp -------------------------------------------------------------------------------- /jbook/jbook-impl/Bitmaps/questhead.bmp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/Bitmaps/questhead.bmp -------------------------------------------------------------------------------- /jbook/jbook-impl/Bitmaps/question.bmp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/Bitmaps/question.bmp -------------------------------------------------------------------------------- /jbook/jbook-impl/Bitmaps/warning.bmp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/Bitmaps/warning.bmp -------------------------------------------------------------------------------- /jbook/jbook-impl/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/README.txt -------------------------------------------------------------------------------- /jbook/jbook-impl/compiler.exe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/compiler.exe -------------------------------------------------------------------------------- /jbook/jbook-impl/config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/config -------------------------------------------------------------------------------- /jbook/jbook-impl/defensive.exe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/defensive.exe -------------------------------------------------------------------------------- /jbook/jbook-impl/defensiveH.exe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/defensiveH.exe -------------------------------------------------------------------------------- /jbook/jbook-impl/diligent.exe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/diligent.exe -------------------------------------------------------------------------------- /jbook/jbook-impl/diligentH.exe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/diligentH.exe -------------------------------------------------------------------------------- /jbook/jbook-impl/examples/java/Example4_1_1/out.txt: -------------------------------------------------------------------------------- 1 | class B (method main):The field 'B.j' is not visible 2 | -------------------------------------------------------------------------------- /jbook/jbook-impl/examples/java/Example4_1_10/out.txt: -------------------------------------------------------------------------------- 1 | 5 2 | -------------------------------------------------------------------------------- /jbook/jbook-impl/examples/java/Example4_1_2/no_out.txt: -------------------------------------------------------------------------------- 1 | EMPTY 2 | -------------------------------------------------------------------------------- /jbook/jbook-impl/examples/java/Example4_1_3/no_out.txt: -------------------------------------------------------------------------------- 1 | EMPTY 2 | -------------------------------------------------------------------------------- /jbook/jbook-impl/examples/java/Example4_1_4/out.txt: -------------------------------------------------------------------------------- 1 | 4 2 | -------------------------------------------------------------------------------- /jbook/jbook-impl/examples/java/Example4_1_5/no_out.txt: -------------------------------------------------------------------------------- 1 | EMPTY 2 | -------------------------------------------------------------------------------- /jbook/jbook-impl/examples/java/Example4_1_7/no_out.txt: -------------------------------------------------------------------------------- 1 | EMPTY 2 | -------------------------------------------------------------------------------- /jbook/jbook-impl/examples/java/Example5_1_2/no_out.txt: -------------------------------------------------------------------------------- 1 | EMPTY 2 | -------------------------------------------------------------------------------- /jbook/jbook-impl/examples/java/Example5_1_3/no_out.txt: -------------------------------------------------------------------------------- 1 | EMPTY 2 | -------------------------------------------------------------------------------- /jbook/jbook-impl/examples/java/Example5_1_5/no_out.txt: -------------------------------------------------------------------------------- 1 | EMPTY 2 | -------------------------------------------------------------------------------- /jbook/jbook-impl/examples/java/Example6_2_1/out.txt: -------------------------------------------------------------------------------- 1 | 9 2 | -------------------------------------------------------------------------------- /jbook/jbook-impl/examples/java/ExampleC_7_1/no_out.txt: -------------------------------------------------------------------------------- 1 | EMPTY 2 | -------------------------------------------------------------------------------- /jbook/jbook-impl/examples/java/Exercise3_2_2/out.txt: -------------------------------------------------------------------------------- 1 | 8 2 | -------------------------------------------------------------------------------- /jbook/jbook-impl/examples/java/Exercise3_2_3/out.txt: -------------------------------------------------------------------------------- 1 | 2 2 | 1 3 | 4 | -------------------------------------------------------------------------------- /jbook/jbook-impl/examples/java/Exercise4_2_1/out.txt: -------------------------------------------------------------------------------- 1 | class A (method m):The field 'B.i' is not visible 2 | -------------------------------------------------------------------------------- /jbook/jbook-impl/examples/java/Exercise4_2_2/out.txt: -------------------------------------------------------------------------------- 1 | 12 2 | -------------------------------------------------------------------------------- /jbook/jbook-impl/examples/java/Exercise4_2_4/out.txt: -------------------------------------------------------------------------------- 1 | Initialization of A 2 | 7 3 | 4 | -------------------------------------------------------------------------------- /jbook/jbook-impl/examples/java/Exercise4_2_6/out.txt: -------------------------------------------------------------------------------- 1 | 3 2 | Halt 3 | -------------------------------------------------------------------------------- /jbook/jbook-impl/examples/java/Exercise5_2_2/out.txt: -------------------------------------------------------------------------------- 1 | 1 2 | 0 3 | -------------------------------------------------------------------------------- /jbook/jbook-impl/examples/java/Exercise5_2_4/out.txt: -------------------------------------------------------------------------------- 1 | 3 2 | 1 3 | -------------------------------------------------------------------------------- /jbook/jbook-impl/examples/java/Exercise6_2_1/out.txt: -------------------------------------------------------------------------------- 1 | 3 2 | -------------------------------------------------------------------------------- /jbook/jbook-impl/examples/java/Exercise8_2_3/no_out.txt: -------------------------------------------------------------------------------- 1 | EMPTY 2 | -------------------------------------------------------------------------------- /jbook/jbook-impl/examples/java/Exercise8_2_4/out.txt: -------------------------------------------------------------------------------- 1 | class Test(method m): Return required 2 | -------------------------------------------------------------------------------- /jbook/jbook-impl/examples/java/Exercise8_3_4/no_out.txt: -------------------------------------------------------------------------------- 1 | EMPTY 2 | -------------------------------------------------------------------------------- /jbook/jbook-impl/examples/java/Figure16_1/out.txt: -------------------------------------------------------------------------------- 1 | 6 2 | 3 | -------------------------------------------------------------------------------- /jbook/jbook-impl/examples/java/Figure16_10/no_out.txt: -------------------------------------------------------------------------------- 1 | EMPTY 2 | -------------------------------------------------------------------------------- /jbook/jbook-impl/examples/java/Figure16_16/no_out.txt: -------------------------------------------------------------------------------- 1 | EMPTY 2 | -------------------------------------------------------------------------------- /jbook/jbook-impl/examples/java/Figure16_2/out.txt: -------------------------------------------------------------------------------- 1 | return ignored 2 | 3 | -------------------------------------------------------------------------------- /jbook/jbook-impl/examples/java/Figure16_3/no_out.txt: -------------------------------------------------------------------------------- 1 | EMPTY 2 | -------------------------------------------------------------------------------- /jbook/jbook-impl/examples/java/Figure16_4/out.txt: -------------------------------------------------------------------------------- 1 | Exception caught. 2 | 3 | -------------------------------------------------------------------------------- /jbook/jbook-impl/examples/java/Figure16_5/no_out.txt: -------------------------------------------------------------------------------- 1 | EMPTY 2 | -------------------------------------------------------------------------------- /jbook/jbook-impl/examples/java/Figure16_7/no_out.txt: -------------------------------------------------------------------------------- 1 | EMPTY 2 | -------------------------------------------------------------------------------- /jbook/jbook-impl/examples/misc/Department.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/examples/misc/Department.java -------------------------------------------------------------------------------- /jbook/jbook-impl/examples/misc/HelloWorld.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/examples/misc/HelloWorld.java -------------------------------------------------------------------------------- /jbook/jbook-impl/examples/misc/Prime.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/examples/misc/Prime.java -------------------------------------------------------------------------------- /jbook/jbook-impl/examples/misc/QTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/examples/misc/QTest.java -------------------------------------------------------------------------------- /jbook/jbook-impl/examples/misc/Queue.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/examples/misc/Queue.java -------------------------------------------------------------------------------- /jbook/jbook-impl/examples/misc/Stars.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/examples/misc/Stars.java -------------------------------------------------------------------------------- /jbook/jbook-impl/examples/misc/Thread1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/examples/misc/Thread1.java -------------------------------------------------------------------------------- /jbook/jbook-impl/files/compiler.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/files/compiler.p -------------------------------------------------------------------------------- /jbook/jbook-impl/files/compiler/basic/defs.gs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/files/compiler/basic/defs.gs -------------------------------------------------------------------------------- /jbook/jbook-impl/files/compiler/basic/pretty.gs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/files/compiler/basic/pretty.gs -------------------------------------------------------------------------------- /jbook/jbook-impl/files/compiler/compile.gs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/files/compiler/compile.gs -------------------------------------------------------------------------------- /jbook/jbook-impl/files/compiler/core/compile.gs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/files/compiler/core/compile.gs -------------------------------------------------------------------------------- /jbook/jbook-impl/files/compiler/gui/main.gs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/files/compiler/gui/main.gs -------------------------------------------------------------------------------- /jbook/jbook-impl/files/compiler/jvmDefs.gs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/files/compiler/jvmDefs.gs -------------------------------------------------------------------------------- /jbook/jbook-impl/files/defensive.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/files/defensive.p -------------------------------------------------------------------------------- /jbook/jbook-impl/files/defensiveH.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/files/defensiveH.p -------------------------------------------------------------------------------- /jbook/jbook-impl/files/diligent.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/files/diligent.p -------------------------------------------------------------------------------- /jbook/jbook-impl/files/diligentH.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/files/diligentH.p -------------------------------------------------------------------------------- /jbook/jbook-impl/files/in.compiler: -------------------------------------------------------------------------------- 1 | :p files/compiler.p 2 | do putStrLn "please wait (starting the GUI)" :: IO (); main 3 | :q 4 | -------------------------------------------------------------------------------- /jbook/jbook-impl/files/in.defensive: -------------------------------------------------------------------------------- 1 | :p files/defensive.p 2 | do putStrLn "please wait (starting the GUI)" :: IO (); main 3 | :q 4 | -------------------------------------------------------------------------------- /jbook/jbook-impl/files/in.defensiveH: -------------------------------------------------------------------------------- 1 | :p files/defensiveH.p 2 | do putStrLn "please wait (starting the GUI)" :: IO (); main 3 | :q 4 | -------------------------------------------------------------------------------- /jbook/jbook-impl/files/in.diligent: -------------------------------------------------------------------------------- 1 | :p files/diligent.p 2 | do putStrLn "please wait (starting the GUI)" :: IO (); main 3 | :q 4 | -------------------------------------------------------------------------------- /jbook/jbook-impl/files/in.diligentH: -------------------------------------------------------------------------------- 1 | :p files/diligentH.p 2 | do putStrLn "please wait (starting the GUI)" :: IO (); main 3 | :q 4 | -------------------------------------------------------------------------------- /jbook/jbook-impl/files/in.java: -------------------------------------------------------------------------------- 1 | :p files/java.p 2 | do putStrLn "please wait (starting the GUI)" :: IO (); main 3 | :q 4 | -------------------------------------------------------------------------------- /jbook/jbook-impl/files/in.javaH: -------------------------------------------------------------------------------- 1 | :p files/javaH.p 2 | do putStrLn "please wait (starting the GUI)" :: IO (); main 3 | :q 4 | -------------------------------------------------------------------------------- /jbook/jbook-impl/files/in.trustful: -------------------------------------------------------------------------------- 1 | :p files/trustful.p 2 | do putStrLn "please wait (starting the GUI)" :: IO (); main 3 | :q 4 | -------------------------------------------------------------------------------- /jbook/jbook-impl/files/in.trustfulH: -------------------------------------------------------------------------------- 1 | :p files/trustfulH.p 2 | do putStrLn "please wait (starting the GUI)" :: IO (); main 3 | :q 4 | -------------------------------------------------------------------------------- /jbook/jbook-impl/files/java-nogui.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/files/java-nogui.in -------------------------------------------------------------------------------- /jbook/jbook-impl/files/java.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/files/java.p -------------------------------------------------------------------------------- /jbook/jbook-impl/files/java/basic/instances.gs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/files/java/basic/instances.gs -------------------------------------------------------------------------------- /jbook/jbook-impl/files/java/basic/javaType.gs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/files/java/basic/javaType.gs -------------------------------------------------------------------------------- /jbook/jbook-impl/files/java/basic/pretty.gs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/files/java/basic/pretty.gs -------------------------------------------------------------------------------- /jbook/jbook-impl/files/java/basic/types.gs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/files/java/basic/types.gs -------------------------------------------------------------------------------- /jbook/jbook-impl/files/java/core/javaBasic.gs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/files/java/core/javaBasic.gs -------------------------------------------------------------------------------- /jbook/jbook-impl/files/java/core/javaState.gs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/files/java/core/javaState.gs -------------------------------------------------------------------------------- /jbook/jbook-impl/files/java/core/javaSyntax.gs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/files/java/core/javaSyntax.gs -------------------------------------------------------------------------------- /jbook/jbook-impl/files/java/gui/main.gs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/files/java/gui/main.gs -------------------------------------------------------------------------------- /jbook/jbook-impl/files/java/gui/mainHistory.gs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/files/java/gui/mainHistory.gs -------------------------------------------------------------------------------- /jbook/jbook-impl/files/java/gui/monad.gs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/files/java/gui/monad.gs -------------------------------------------------------------------------------- /jbook/jbook-impl/files/java/gui/pretty.gs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/files/java/gui/pretty.gs -------------------------------------------------------------------------------- /jbook/jbook-impl/files/java/javaApply.gs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/files/java/javaApply.gs -------------------------------------------------------------------------------- /jbook/jbook-impl/files/java/javaChecks.gs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/files/java/javaChecks.gs -------------------------------------------------------------------------------- /jbook/jbook-impl/files/java/javaDefs.gs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/files/java/javaDefs.gs -------------------------------------------------------------------------------- /jbook/jbook-impl/files/java/javaStaticSem.gs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/files/java/javaStaticSem.gs -------------------------------------------------------------------------------- /jbook/jbook-impl/files/java/lib/Prelude.gs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/files/java/lib/Prelude.gs -------------------------------------------------------------------------------- /jbook/jbook-impl/files/java/lib/editor.gs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/files/java/lib/editor.gs -------------------------------------------------------------------------------- /jbook/jbook-impl/files/java/lib/pp-ed.gs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/files/java/lib/pp-ed.gs -------------------------------------------------------------------------------- /jbook/jbook-impl/files/java/lib/pp-lib.gs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/files/java/lib/pp-lib.gs -------------------------------------------------------------------------------- /jbook/jbook-impl/files/java/lib/pp-wid.gs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/files/java/lib/pp-wid.gs -------------------------------------------------------------------------------- /jbook/jbook-impl/files/java/parser/Java.gs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/files/java/parser/Java.gs -------------------------------------------------------------------------------- /jbook/jbook-impl/files/java/parser/JavaLexer.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/files/java/parser/JavaLexer.hs -------------------------------------------------------------------------------- /jbook/jbook-impl/files/java/parser/JavaParser.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/files/java/parser/JavaParser.hs -------------------------------------------------------------------------------- /jbook/jbook-impl/files/javaH.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/files/javaH.p -------------------------------------------------------------------------------- /jbook/jbook-impl/files/jvm/basic/classes.gs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/files/jvm/basic/classes.gs -------------------------------------------------------------------------------- /jbook/jbook-impl/files/jvm/basic/instances.gs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/files/jvm/basic/instances.gs -------------------------------------------------------------------------------- /jbook/jbook-impl/files/jvm/basic/javaType.gs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/files/jvm/basic/javaType.gs -------------------------------------------------------------------------------- /jbook/jbook-impl/files/jvm/basic/jvmdefs.gs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/files/jvm/basic/jvmdefs.gs -------------------------------------------------------------------------------- /jbook/jbook-impl/files/jvm/basic/jvmfuns.gs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/files/jvm/basic/jvmfuns.gs -------------------------------------------------------------------------------- /jbook/jbook-impl/files/jvm/basic/jvmutil.gs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/files/jvm/basic/jvmutil.gs -------------------------------------------------------------------------------- /jbook/jbook-impl/files/jvm/basic/precompiled.gs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/files/jvm/basic/precompiled.gs -------------------------------------------------------------------------------- /jbook/jbook-impl/files/jvm/basic/types.gs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/files/jvm/basic/types.gs -------------------------------------------------------------------------------- /jbook/jbook-impl/files/jvm/core/compatible.gs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/files/jvm/core/compatible.gs -------------------------------------------------------------------------------- /jbook/jbook-impl/files/jvm/core/constraints.gs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/files/jvm/core/constraints.gs -------------------------------------------------------------------------------- /jbook/jbook-impl/files/jvm/core/defensive.gs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/files/jvm/core/defensive.gs -------------------------------------------------------------------------------- /jbook/jbook-impl/files/jvm/core/diligent.gs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/files/jvm/core/diligent.gs -------------------------------------------------------------------------------- /jbook/jbook-impl/files/jvm/core/diligent.only.gs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/files/jvm/core/diligent.only.gs -------------------------------------------------------------------------------- /jbook/jbook-impl/files/jvm/core/dynamic.gs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/files/jvm/core/dynamic.gs -------------------------------------------------------------------------------- /jbook/jbook-impl/files/jvm/core/jvmfuns.gs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/files/jvm/core/jvmfuns.gs -------------------------------------------------------------------------------- /jbook/jbook-impl/files/jvm/core/jvmstate.gs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/files/jvm/core/jvmstate.gs -------------------------------------------------------------------------------- /jbook/jbook-impl/files/jvm/core/jvmtypes.gs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/files/jvm/core/jvmtypes.gs -------------------------------------------------------------------------------- /jbook/jbook-impl/files/jvm/core/trustful.gs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/files/jvm/core/trustful.gs -------------------------------------------------------------------------------- /jbook/jbook-impl/files/jvm/core/trustful.only.gs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/files/jvm/core/trustful.only.gs -------------------------------------------------------------------------------- /jbook/jbook-impl/files/jvm/gui/defensive.gs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/files/jvm/gui/defensive.gs -------------------------------------------------------------------------------- /jbook/jbook-impl/files/jvm/gui/diligent.gs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/files/jvm/gui/diligent.gs -------------------------------------------------------------------------------- /jbook/jbook-impl/files/jvm/gui/jvmgui.gs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/files/jvm/gui/jvmgui.gs -------------------------------------------------------------------------------- /jbook/jbook-impl/files/jvm/gui/jvmguiH.gs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/files/jvm/gui/jvmguiH.gs -------------------------------------------------------------------------------- /jbook/jbook-impl/files/jvm/gui/jvmguimonad.gs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/files/jvm/gui/jvmguimonad.gs -------------------------------------------------------------------------------- /jbook/jbook-impl/files/jvm/gui/pretty.gs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/files/jvm/gui/pretty.gs -------------------------------------------------------------------------------- /jbook/jbook-impl/files/jvm/gui/trustful.gs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/files/jvm/gui/trustful.gs -------------------------------------------------------------------------------- /jbook/jbook-impl/files/jvm/lib/Alex.gs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/files/jvm/lib/Alex.gs -------------------------------------------------------------------------------- /jbook/jbook-impl/files/jvm/lib/Array.gs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/files/jvm/lib/Array.gs -------------------------------------------------------------------------------- /jbook/jbook-impl/files/jvm/lib/BinSearch.gs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/files/jvm/lib/BinSearch.gs -------------------------------------------------------------------------------- /jbook/jbook-impl/files/jvm/lib/Config.gs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/files/jvm/lib/Config.gs -------------------------------------------------------------------------------- /jbook/jbook-impl/files/jvm/lib/List.gs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/files/jvm/lib/List.gs -------------------------------------------------------------------------------- /jbook/jbook-impl/files/jvm/lib/Prelude.gs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/files/jvm/lib/Prelude.gs -------------------------------------------------------------------------------- /jbook/jbook-impl/files/jvm/lib/monad.gs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/files/jvm/lib/monad.gs -------------------------------------------------------------------------------- /jbook/jbook-impl/files/jvm/parser/Jasmin.gs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/files/jvm/parser/Jasmin.gs -------------------------------------------------------------------------------- /jbook/jbook-impl/files/jvm/parser/JasminLexer.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/files/jvm/parser/JasminLexer.hs -------------------------------------------------------------------------------- /jbook/jbook-impl/files/license.term: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/files/license.term -------------------------------------------------------------------------------- /jbook/jbook-impl/files/trustful.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/files/trustful.p -------------------------------------------------------------------------------- /jbook/jbook-impl/files/trustfulH.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/files/trustfulH.p -------------------------------------------------------------------------------- /jbook/jbook-impl/jasmin.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/jasmin.jar -------------------------------------------------------------------------------- /jbook/jbook-impl/java.exe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/java.exe -------------------------------------------------------------------------------- /jbook/jbook-impl/javaH.exe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/javaH.exe -------------------------------------------------------------------------------- /jbook/jbook-impl/license.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/license.txt -------------------------------------------------------------------------------- /jbook/jbook-impl/predefined.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/predefined.java -------------------------------------------------------------------------------- /jbook/jbook-impl/trustful.exe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/trustful.exe -------------------------------------------------------------------------------- /jbook/jbook-impl/trustfulH.exe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/trustfulH.exe -------------------------------------------------------------------------------- /jbook/jbook-impl/uninstal.exe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/uninstal.exe -------------------------------------------------------------------------------- /jbook/jbook-impl/uninstal.ini: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-impl/uninstal.ini -------------------------------------------------------------------------------- /jbook/jbook-results.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-results.xml -------------------------------------------------------------------------------- /jbook/jbook-summary.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/jbook-summary.txt -------------------------------------------------------------------------------- /jbook/readme.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/readme.txt -------------------------------------------------------------------------------- /jbook/tools/aux-jdk-prep-run-postproc.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/tools/aux-jdk-prep-run-postproc.bat -------------------------------------------------------------------------------- /jbook/tools/aux-jdk-prep-run-postproc.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/tools/aux-jdk-prep-run-postproc.sh -------------------------------------------------------------------------------- /jbook/tools/aux-jdk-run-postproc.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/tools/aux-jdk-run-postproc.bat -------------------------------------------------------------------------------- /jbook/tools/aux-jdk-run-postproc.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/tools/aux-jdk-run-postproc.sh -------------------------------------------------------------------------------- /jbook/tools/aux-jdk-run.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/tools/aux-jdk-run.bat -------------------------------------------------------------------------------- /jbook/tools/bash-run.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/tools/bash-run.bat -------------------------------------------------------------------------------- /jbook/tools/jbook-postproc.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/tools/jbook-postproc.sh -------------------------------------------------------------------------------- /jbook/tools/jbook-prep-run.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/tools/jbook-prep-run.bat -------------------------------------------------------------------------------- /jbook/tools/jbook-prep-test.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/tools/jbook-prep-test.bat -------------------------------------------------------------------------------- /jbook/tools/jbook-prep-test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/tools/jbook-prep-test.sh -------------------------------------------------------------------------------- /jbook/tools/jbook-raw-run.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/tools/jbook-raw-run.bat -------------------------------------------------------------------------------- /jbook/tools/jbook-raw-run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/tools/jbook-raw-run.sh -------------------------------------------------------------------------------- /jbook/tools/jbook-run-cyg.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/tools/jbook-run-cyg.bat -------------------------------------------------------------------------------- /jbook/tools/jbook-run.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/tools/jbook-run.bat -------------------------------------------------------------------------------- /jbook/tools/jbook-run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/tools/jbook-run.sh -------------------------------------------------------------------------------- /jbook/tools/jbook-test-all.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/tools/jbook-test-all.sh -------------------------------------------------------------------------------- /jbook/tools/jbook-test.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/tools/jbook-test.bat -------------------------------------------------------------------------------- /jbook/tools/jbook-test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/jbook/tools/jbook-test.sh -------------------------------------------------------------------------------- /model-check/71_strictness/mc_01_elabHeatDefault.out: -------------------------------------------------------------------------------- 1 | 1 2 | -------------------------------------------------------------------------------- /model-check/72_threads/test plan threads.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/model-check/72_threads/test plan threads.txt -------------------------------------------------------------------------------- /model-check/72_threads/threads_11_two_th_msg.out: -------------------------------------------------------------------------------- 1 | 2 2 | -------------------------------------------------------------------------------- /model-check/72_threads/threads_12_two_th_msg_runnable.out: -------------------------------------------------------------------------------- 1 | 2 2 | -------------------------------------------------------------------------------- /model-check/72_threads/threads_13_two_th_false_start.out: -------------------------------------------------------------------------------- 1 | 1 2 | -------------------------------------------------------------------------------- /model-check/72_threads/threads_14_assign_and_print.out: -------------------------------------------------------------------------------- 1 | 6 2 | -------------------------------------------------------------------------------- /model-check/72_threads/threads_21_join.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/model-check/72_threads/threads_21_join.java -------------------------------------------------------------------------------- /model-check/72_threads/threads_21_join.out: -------------------------------------------------------------------------------- 1 | 1 2 | -------------------------------------------------------------------------------- /model-check/72_threads/threads_22_join_two_threads.out: -------------------------------------------------------------------------------- 1 | 2 2 | -------------------------------------------------------------------------------- /model-check/72_threads/threads_31_sync_meth_static.out: -------------------------------------------------------------------------------- 1 | 2 2 | -------------------------------------------------------------------------------- /model-check/72_threads/threads_32_sync_meth_inst.out: -------------------------------------------------------------------------------- 1 | 2 2 | -------------------------------------------------------------------------------- /model-check/72_threads/threads_33_sync_class_obj.out: -------------------------------------------------------------------------------- 1 | 2 2 | -------------------------------------------------------------------------------- /model-check/72_threads/threads_34_sync_obj.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/model-check/72_threads/threads_34_sync_obj.java -------------------------------------------------------------------------------- /model-check/72_threads/threads_34_sync_obj.out: -------------------------------------------------------------------------------- 1 | 2 2 | -------------------------------------------------------------------------------- /model-check/72_threads/threads_35_false_sync_diff_obj.out: -------------------------------------------------------------------------------- 1 | 24 2 | -------------------------------------------------------------------------------- /model-check/72_threads/threads_36_double_lock.out: -------------------------------------------------------------------------------- 1 | 2 2 | -------------------------------------------------------------------------------- /model-check/72_threads/threads_37_deadlock.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/model-check/72_threads/threads_37_deadlock.java -------------------------------------------------------------------------------- /model-check/72_threads/threads_37_deadlock.out: -------------------------------------------------------------------------------- 1 | 5 2 | -------------------------------------------------------------------------------- /model-check/72_threads/threads_38_two_locks.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/model-check/72_threads/threads_38_two_locks.java -------------------------------------------------------------------------------- /model-check/72_threads/threads_38_two_locks.out: -------------------------------------------------------------------------------- 1 | 38 2 | -------------------------------------------------------------------------------- /model-check/72_threads/threads_391_sync_obj_simplified.out: -------------------------------------------------------------------------------- 1 | 2 2 | -------------------------------------------------------------------------------- /model-check/72_threads/threads_392_sync_meth_simplified.out: -------------------------------------------------------------------------------- 1 | 2 2 | -------------------------------------------------------------------------------- /model-check/72_threads/threads_393_sync_st_meth_simpl.out: -------------------------------------------------------------------------------- 1 | 2 2 | -------------------------------------------------------------------------------- /model-check/72_threads/threads_41_wait_notify.out: -------------------------------------------------------------------------------- 1 | 2 2 | -------------------------------------------------------------------------------- /model-check/72_threads/threads_42_1t_wait_2t_notify.out: -------------------------------------------------------------------------------- 1 | 8 2 | -------------------------------------------------------------------------------- /model-check/72_threads/threads_43_2t_waiting_notify.out: -------------------------------------------------------------------------------- 1 | 26 2 | -------------------------------------------------------------------------------- /model-check/72_threads/threads_44_2t_waiting_notifyAll.out: -------------------------------------------------------------------------------- 1 | 10 2 | -------------------------------------------------------------------------------- /model-check/72_threads/threads_45_lock_preserve.out: -------------------------------------------------------------------------------- 1 | 2 2 | -------------------------------------------------------------------------------- /model-check/72_threads/threads_46_wait_notify_simp.out: -------------------------------------------------------------------------------- 1 | 1 2 | -------------------------------------------------------------------------------- /model-check/72_threads/threads_47_2_wait_1_notify.out: -------------------------------------------------------------------------------- 1 | 4 2 | -------------------------------------------------------------------------------- /model-check/72_threads/threads_48_2_wait_1_notifyAll.out: -------------------------------------------------------------------------------- 1 | 2 2 | -------------------------------------------------------------------------------- /model-check/72_threads/threads_51_interrupt_wait.out: -------------------------------------------------------------------------------- 1 | 1 2 | -------------------------------------------------------------------------------- /model-check/72_threads/threads_52_interrupt_join.out: -------------------------------------------------------------------------------- 1 | 2 2 | -------------------------------------------------------------------------------- /model-check/72_threads/threads_61_ThreadGame.out: -------------------------------------------------------------------------------- 1 | 10 2 | -------------------------------------------------------------------------------- /model-check/73_examples/Philosopher.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/model-check/73_examples/Philosopher.java -------------------------------------------------------------------------------- /model-check/73_examples/Philosopher.out: -------------------------------------------------------------------------------- 1 | 7 2 | -------------------------------------------------------------------------------- /model-check/73_examples/WaitNotifyQueueInterrupt.out: -------------------------------------------------------------------------------- 1 | 7 2 | -------------------------------------------------------------------------------- /model-check/73_examples/queue_1_threads_2_correct.out: -------------------------------------------------------------------------------- 1 | 8 2 | -------------------------------------------------------------------------------- /model-check/73_examples/queue_2_threads_2_wrong.out: -------------------------------------------------------------------------------- 1 | 8 2 | -------------------------------------------------------------------------------- /model-check/73_examples/queue_3_threads_3_correct.out: -------------------------------------------------------------------------------- 1 | 8 2 | -------------------------------------------------------------------------------- /model-check/73_examples/queue_4_threads_3_wrong.out: -------------------------------------------------------------------------------- 1 | 26 2 | -------------------------------------------------------------------------------- /parser/javafrontparserNew.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/parser/javafrontparserNew.jar -------------------------------------------------------------------------------- /src/common/aux-strings.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/common/aux-strings.k -------------------------------------------------------------------------------- /src/common/class-syntax.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/common/class-syntax.k -------------------------------------------------------------------------------- /src/common/core-classes.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/common/core-classes.k -------------------------------------------------------------------------------- /src/common/core-functions.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/common/core-functions.k -------------------------------------------------------------------------------- /src/common/core-sorts.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/common/core-sorts.k -------------------------------------------------------------------------------- /src/common/exp-syntax.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/common/exp-syntax.k -------------------------------------------------------------------------------- /src/common/interface-syntax.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/common/interface-syntax.k -------------------------------------------------------------------------------- /src/common/java-doc.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/common/java-doc.k -------------------------------------------------------------------------------- /src/common/java-syntax.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/common/java-syntax.k -------------------------------------------------------------------------------- /src/common/lexical-syntax.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/common/lexical-syntax.k -------------------------------------------------------------------------------- /src/common/list-syntax.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/common/list-syntax.k -------------------------------------------------------------------------------- /src/common/literal-syntax.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/common/literal-syntax.k -------------------------------------------------------------------------------- /src/common/name-syntax.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/common/name-syntax.k -------------------------------------------------------------------------------- /src/common/optional-syntax.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/common/optional-syntax.k -------------------------------------------------------------------------------- /src/common/package-syntax.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/common/package-syntax.k -------------------------------------------------------------------------------- /src/common/primitive-types.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/common/primitive-types.k -------------------------------------------------------------------------------- /src/common/shared-syntax.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/common/shared-syntax.k -------------------------------------------------------------------------------- /src/common/stmt-syntax.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/common/stmt-syntax.k -------------------------------------------------------------------------------- /src/common/subtyping.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/common/subtyping.k -------------------------------------------------------------------------------- /src/common/type-syntax.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/common/type-syntax.k -------------------------------------------------------------------------------- /src/exec/api-core.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/exec/api-core.k -------------------------------------------------------------------------------- /src/exec/api-threads.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/exec/api-threads.k -------------------------------------------------------------------------------- /src/exec/arrays.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/exec/arrays.k -------------------------------------------------------------------------------- /src/exec/configuration-exec.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/exec/configuration-exec.k -------------------------------------------------------------------------------- /src/exec/core-exec.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/exec/core-exec.k -------------------------------------------------------------------------------- /src/exec/expressions-classes.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/exec/expressions-classes.k -------------------------------------------------------------------------------- /src/exec/expressions.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/exec/expressions.k -------------------------------------------------------------------------------- /src/exec/java-exec.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/exec/java-exec.k -------------------------------------------------------------------------------- /src/exec/ltl-support.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/exec/ltl-support.k -------------------------------------------------------------------------------- /src/exec/math.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/exec/math.k -------------------------------------------------------------------------------- /src/exec/method-invoke.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/exec/method-invoke.k -------------------------------------------------------------------------------- /src/exec/new-instance.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/exec/new-instance.k -------------------------------------------------------------------------------- /src/exec/statements.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/exec/statements.k -------------------------------------------------------------------------------- /src/exec/static-init.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/exec/static-init.k -------------------------------------------------------------------------------- /src/exec/syntax-conversions.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/exec/syntax-conversions.k -------------------------------------------------------------------------------- /src/exec/to-string.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/exec/to-string.k -------------------------------------------------------------------------------- /src/exec/unfolding.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/exec/unfolding.k -------------------------------------------------------------------------------- /src/exec/var-lookup.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/exec/var-lookup.k -------------------------------------------------------------------------------- /src/prep/configuration-prep.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/prep/configuration-prep.k -------------------------------------------------------------------------------- /src/prep/core-preprocessing.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/prep/core-preprocessing.k -------------------------------------------------------------------------------- /src/prep/elaboration-arrays.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/prep/elaboration-arrays.k -------------------------------------------------------------------------------- /src/prep/elaboration-categories.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/prep/elaboration-categories.k -------------------------------------------------------------------------------- /src/prep/elaboration-core.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/prep/elaboration-core.k -------------------------------------------------------------------------------- /src/prep/elaboration-expressions.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/prep/elaboration-expressions.k -------------------------------------------------------------------------------- /src/prep/elaboration-method-invoke.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/prep/elaboration-method-invoke.k -------------------------------------------------------------------------------- /src/prep/elaboration-new-instance.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/prep/elaboration-new-instance.k -------------------------------------------------------------------------------- /src/prep/elaboration-statements.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/prep/elaboration-statements.k -------------------------------------------------------------------------------- /src/prep/elaboration-top-blocks.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/prep/elaboration-top-blocks.k -------------------------------------------------------------------------------- /src/prep/elaboration-types.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/prep/elaboration-types.k -------------------------------------------------------------------------------- /src/prep/elaboration-vars.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/prep/elaboration-vars.k -------------------------------------------------------------------------------- /src/prep/folding.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/prep/folding.k -------------------------------------------------------------------------------- /src/prep/java-prep.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/prep/java-prep.k -------------------------------------------------------------------------------- /src/prep/literals.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/prep/literals.k -------------------------------------------------------------------------------- /src/prep/process-anonymous-classes.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/prep/process-anonymous-classes.k -------------------------------------------------------------------------------- /src/prep/process-class-decs.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/prep/process-class-decs.k -------------------------------------------------------------------------------- /src/prep/process-class-members.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/prep/process-class-members.k -------------------------------------------------------------------------------- /src/prep/process-comp-units.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/prep/process-comp-units.k -------------------------------------------------------------------------------- /src/prep/process-imports.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/prep/process-imports.k -------------------------------------------------------------------------------- /src/prep/process-local-classes.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/prep/process-local-classes.k -------------------------------------------------------------------------------- /src/prep/process-type-names.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/prep/process-type-names.k -------------------------------------------------------------------------------- /src/sty/custom-commands.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/sty/custom-commands.tex -------------------------------------------------------------------------------- /src/sty/k-java.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/sty/k-java.tex -------------------------------------------------------------------------------- /src/verification/append-spec.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/verification/append-spec.k -------------------------------------------------------------------------------- /src/verification/avl-delete-spec.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/verification/avl-delete-spec.k -------------------------------------------------------------------------------- /src/verification/avl-find-spec.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/verification/avl-find-spec.k -------------------------------------------------------------------------------- /src/verification/avl-insert-spec.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/verification/avl-insert-spec.k -------------------------------------------------------------------------------- /src/verification/avl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/verification/avl.java -------------------------------------------------------------------------------- /src/verification/bst-delete-spec.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/verification/bst-delete-spec.k -------------------------------------------------------------------------------- /src/verification/bst-find-spec.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/verification/bst-find-spec.k -------------------------------------------------------------------------------- /src/verification/bst-insert-spec.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/verification/bst-insert-spec.k -------------------------------------------------------------------------------- /src/verification/bst.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/verification/bst.java -------------------------------------------------------------------------------- /src/verification/bubble-sort-spec.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/verification/bubble-sort-spec.k -------------------------------------------------------------------------------- /src/verification/insertion-sort-spec.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/verification/insertion-sort-spec.k -------------------------------------------------------------------------------- /src/verification/int_list.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/verification/int_list.k -------------------------------------------------------------------------------- /src/verification/int_set.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/verification/int_set.k -------------------------------------------------------------------------------- /src/verification/java-verification.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/verification/java-verification.k -------------------------------------------------------------------------------- /src/verification/listNode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/verification/listNode.java -------------------------------------------------------------------------------- /src/verification/list_pattern.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/verification/list_pattern.k -------------------------------------------------------------------------------- /src/verification/merge-sort-spec.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/verification/merge-sort-spec.k -------------------------------------------------------------------------------- /src/verification/min-spec.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/verification/min-spec.k -------------------------------------------------------------------------------- /src/verification/min.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/verification/min.java -------------------------------------------------------------------------------- /src/verification/quicksort-spec.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/verification/quicksort-spec.k -------------------------------------------------------------------------------- /src/verification/reverse-spec.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/verification/reverse-spec.k -------------------------------------------------------------------------------- /src/verification/sum-iterative-spec.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/verification/sum-iterative-spec.k -------------------------------------------------------------------------------- /src/verification/sum.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/verification/sum.java -------------------------------------------------------------------------------- /src/verification/tree_pattern.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/src/verification/tree_pattern.k -------------------------------------------------------------------------------- /symbolic/symbolic_01_max3_concrete.cIN.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/symbolic/symbolic_01_max3_concrete.cIN.in -------------------------------------------------------------------------------- /symbolic/symbolic_01_max3_concrete.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/symbolic/symbolic_01_max3_concrete.java -------------------------------------------------------------------------------- /symbolic/symbolic_01_max3_concrete.search.out: -------------------------------------------------------------------------------- 1 | 1 2 | -------------------------------------------------------------------------------- /symbolic/symbolic_02_max3.cIN.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/symbolic/symbolic_02_max3.cIN.in -------------------------------------------------------------------------------- /symbolic/symbolic_02_max3.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/symbolic/symbolic_02_max3.java -------------------------------------------------------------------------------- /symbolic/symbolic_02_max3.search.out: -------------------------------------------------------------------------------- 1 | 3 2 | -------------------------------------------------------------------------------- /symbolic/symbolic_03_BasicList.cIN.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/symbolic/symbolic_03_BasicList.cIN.in -------------------------------------------------------------------------------- /symbolic/symbolic_03_BasicList.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/symbolic/symbolic_03_BasicList.java -------------------------------------------------------------------------------- /symbolic/symbolic_03_BasicList.search.out: -------------------------------------------------------------------------------- 1 | 4 2 | -------------------------------------------------------------------------------- /symbolic/symbolic_04_OrderedList.cIN.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/symbolic/symbolic_04_OrderedList.cIN.in -------------------------------------------------------------------------------- /symbolic/symbolic_04_OrderedList.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/symbolic/symbolic_04_OrderedList.java -------------------------------------------------------------------------------- /symbolic/symbolic_04_OrderedList.search.out: -------------------------------------------------------------------------------- 1 | 11 2 | -------------------------------------------------------------------------------- /test-runner/.idea/.name: -------------------------------------------------------------------------------- 1 | test-runner -------------------------------------------------------------------------------- /test-runner/.idea/ant.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/test-runner/.idea/ant.xml -------------------------------------------------------------------------------- /test-runner/.idea/artifacts/jar.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/test-runner/.idea/artifacts/jar.xml -------------------------------------------------------------------------------- /test-runner/.idea/codeStyleSettings.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/test-runner/.idea/codeStyleSettings.xml -------------------------------------------------------------------------------- /test-runner/.idea/compiler.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/test-runner/.idea/compiler.xml -------------------------------------------------------------------------------- /test-runner/.idea/encodings.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/test-runner/.idea/encodings.xml -------------------------------------------------------------------------------- /test-runner/.idea/findbugs-idea.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/test-runner/.idea/findbugs-idea.xml -------------------------------------------------------------------------------- /test-runner/.idea/libraries/jna_3_5_1.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/test-runner/.idea/libraries/jna_3_5_1.xml -------------------------------------------------------------------------------- /test-runner/.idea/misc.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/test-runner/.idea/misc.xml -------------------------------------------------------------------------------- /test-runner/.idea/modules.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/test-runner/.idea/modules.xml -------------------------------------------------------------------------------- /test-runner/.idea/qaplug_profiles.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/test-runner/.idea/qaplug_profiles.xml -------------------------------------------------------------------------------- /test-runner/.idea/scopes/scope_settings.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/test-runner/.idea/scopes/scope_settings.xml -------------------------------------------------------------------------------- /test-runner/.idea/uiDesigner.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/test-runner/.idea/uiDesigner.xml -------------------------------------------------------------------------------- /test-runner/.idea/vcs.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/test-runner/.idea/vcs.xml -------------------------------------------------------------------------------- /test-runner/META-INF/MANIFEST.MF: -------------------------------------------------------------------------------- 1 | Manifest-Version: 1.0 2 | Main-Class: ro.uaic.javasemantics.tools.Main 3 | 4 | -------------------------------------------------------------------------------- /test-runner/command-lines.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/test-runner/command-lines.txt -------------------------------------------------------------------------------- /test-runner/dev-list.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/test-runner/dev-list.txt -------------------------------------------------------------------------------- /test-runner/interpreterDir/generator.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/test-runner/interpreterDir/generator.bat -------------------------------------------------------------------------------- /test-runner/interpreterDir/interpreter.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/test-runner/interpreterDir/interpreter.bat -------------------------------------------------------------------------------- /test-runner/interpreterDir/waitGen.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/test-runner/interpreterDir/waitGen.bat -------------------------------------------------------------------------------- /test-runner/interpreterDir/waitInt.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/test-runner/interpreterDir/waitInt.bat -------------------------------------------------------------------------------- /test-runner/lib/commons-lang3-3.1.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/test-runner/lib/commons-lang3-3.1.jar -------------------------------------------------------------------------------- /test-runner/lib/jna-3.5.1.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/test-runner/lib/jna-3.5.1.jar -------------------------------------------------------------------------------- /test-runner/src/help.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/test-runner/src/help.txt -------------------------------------------------------------------------------- /test-runner/testDir/dirTest.test/testXYZ.test: -------------------------------------------------------------------------------- 1 | xyz 2 | -------------------------------------------------------------------------------- /test-runner/testDir/error.in: -------------------------------------------------------------------------------- 1 | error -------------------------------------------------------------------------------- /test-runner/testDir/error.out: -------------------------------------------------------------------------------- 1 | some text before error 2 | console input: 3 | abc 4 | -------------------------------------------------------------------------------- /test-runner/testDir/error.txt: -------------------------------------------------------------------------------- 1 | some text before error 2 | -------------------------------------------------------------------------------- /test-runner/testDir/genRun.in: -------------------------------------------------------------------------------- 1 | abcd 2 | -------------------------------------------------------------------------------- /test-runner/testDir/genRun.txt: -------------------------------------------------------------------------------- 1 | for gen and run together 2 | -------------------------------------------------------------------------------- /test-runner/testDir/genRunOk.in: -------------------------------------------------------------------------------- 1 | abc -------------------------------------------------------------------------------- /test-runner/testDir/genRunOk.txt: -------------------------------------------------------------------------------- 1 | for gen and run together 2 | -------------------------------------------------------------------------------- /test-runner/testDir/genRunOk2.in: -------------------------------------------------------------------------------- 1 | abc -------------------------------------------------------------------------------- /test-runner/testDir/subDir/genRun.comp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/test-runner/testDir/subDir/genRun.comp -------------------------------------------------------------------------------- /test-runner/testDir/subDir/genRun.generr: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test-runner/testDir/subDir/genRun.in: -------------------------------------------------------------------------------- 1 | abcd 2 | -------------------------------------------------------------------------------- /test-runner/testDir/subDir/genRun.out: -------------------------------------------------------------------------------- 1 | for gen and run together 2 | console input: 3 | abc 4 | -------------------------------------------------------------------------------- /test-runner/testDir/subDir/genRun.stderr: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test-runner/testDir/subDir/genRun.stdout: -------------------------------------------------------------------------------- 1 | for gen and run together 2 | console input: 3 | abcd 4 | -------------------------------------------------------------------------------- /test-runner/testDir/subDir/genRun.txt: -------------------------------------------------------------------------------- 1 | for gen and run together 2 | -------------------------------------------------------------------------------- /test-runner/testDir/subDir/genRunOk.comp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/test-runner/testDir/subDir/genRunOk.comp -------------------------------------------------------------------------------- /test-runner/testDir/subDir/genRunOk.generr: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test-runner/testDir/subDir/genRunOk.in: -------------------------------------------------------------------------------- 1 | abc -------------------------------------------------------------------------------- /test-runner/testDir/subDir/genRunOk.out: -------------------------------------------------------------------------------- 1 | for gen and run together 2 | console input: 3 | abc 4 | -------------------------------------------------------------------------------- /test-runner/testDir/subDir/genRunOk.stderr: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test-runner/testDir/subDir/genRunOk.stdout: -------------------------------------------------------------------------------- 1 | for gen and run together 2 | console input: 3 | abc 4 | -------------------------------------------------------------------------------- /test-runner/testDir/subDir/genRunOk.txt: -------------------------------------------------------------------------------- 1 | for gen and run together 2 | -------------------------------------------------------------------------------- /test-runner/testDir/subDir/genRunOk2.generr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/test-runner/testDir/subDir/genRunOk2.generr -------------------------------------------------------------------------------- /test-runner/testDir/subDir/genRunOk2.in: -------------------------------------------------------------------------------- 1 | abc -------------------------------------------------------------------------------- /test-runner/testDir/subDir/genRunOk2.out: -------------------------------------------------------------------------------- 1 | console input: 2 | abc 3 | -------------------------------------------------------------------------------- /test-runner/testDir/subDir/testnoext: -------------------------------------------------------------------------------- 1 | tralala 2 | -------------------------------------------------------------------------------- /test-runner/testDir/subDir/testnoext.in: -------------------------------------------------------------------------------- 1 | abc -------------------------------------------------------------------------------- /test-runner/testDir/subDir2/empty.txt: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test-runner/testDir/test.in: -------------------------------------------------------------------------------- 1 | test input content 2 | -------------------------------------------------------------------------------- /test-runner/testDir/test.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/test-runner/testDir/test.out -------------------------------------------------------------------------------- /test-runner/testDir/test.test: -------------------------------------------------------------------------------- 1 | The test file content 2 | -------------------------------------------------------------------------------- /test-runner/testDir/testAbc.in: -------------------------------------------------------------------------------- 1 | abc 2 | -------------------------------------------------------------------------------- /test-runner/testDir/testAbc.test: -------------------------------------------------------------------------------- 1 | The test file content 2 | -------------------------------------------------------------------------------- /test-runner/testDir/testNoIn.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/test-runner/testDir/testNoIn.out -------------------------------------------------------------------------------- /test-runner/testDir/testNoIn.test: -------------------------------------------------------------------------------- 1 | Test without input 2 | -------------------------------------------------------------------------------- /test-runner/testDir/testNoInOut.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/test-runner/testDir/testNoInOut.test -------------------------------------------------------------------------------- /tests/01_smoke_tests/array.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/01_smoke_tests/array.java -------------------------------------------------------------------------------- /tests/01_smoke_tests/helloWorld.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/01_smoke_tests/helloWorld.java -------------------------------------------------------------------------------- /tests/01_smoke_tests/max3.in: -------------------------------------------------------------------------------- 1 | 6 12 8 2 | -------------------------------------------------------------------------------- /tests/01_smoke_tests/max3.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/01_smoke_tests/max3.java -------------------------------------------------------------------------------- /tests/01_smoke_tests/read.in: -------------------------------------------------------------------------------- 1 | 12 85 2 | -------------------------------------------------------------------------------- /tests/01_smoke_tests/read.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/01_smoke_tests/read.java -------------------------------------------------------------------------------- /tests/01_smoke_tests/sumArrayInFor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/01_smoke_tests/sumArrayInFor.java -------------------------------------------------------------------------------- /tests/01_smoke_tests/sumInWhile.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/01_smoke_tests/sumInWhile.java -------------------------------------------------------------------------------- /tests/02_literals/literals_011_long_decimal.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/02_literals/literals_011_long_decimal.java -------------------------------------------------------------------------------- /tests/02_literals/literals_02_integer_hexa.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/02_literals/literals_02_integer_hexa.java -------------------------------------------------------------------------------- /tests/02_literals/literals_03_integer_octa.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/02_literals/literals_03_integer_octa.java -------------------------------------------------------------------------------- /tests/02_literals/literals_04_boolean.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/02_literals/literals_04_boolean.java -------------------------------------------------------------------------------- /tests/02_literals/literals_05_char.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/02_literals/literals_05_char.java -------------------------------------------------------------------------------- /tests/02_literals/literals_06_char_escape.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/02_literals/literals_06_char_escape.java -------------------------------------------------------------------------------- /tests/02_literals/literals_07_string.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/02_literals/literals_07_string.java -------------------------------------------------------------------------------- /tests/02_literals/literals_09_null.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/02_literals/literals_09_null.java -------------------------------------------------------------------------------- /tests/02_literals/test-plan-literals-integer.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/02_literals/test-plan-literals-integer.txt -------------------------------------------------------------------------------- /tests/02_literals/test-plan-literals-other.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/02_literals/test-plan-literals-other.txt -------------------------------------------------------------------------------- /tests/03_syntax_samples/DotOperator1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/03_syntax_samples/DotOperator1.java -------------------------------------------------------------------------------- /tests/03_syntax_samples/DotOperator2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/03_syntax_samples/DotOperator2.java -------------------------------------------------------------------------------- /tests/03_syntax_samples/DotOperator3.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/03_syntax_samples/DotOperator3.java -------------------------------------------------------------------------------- /tests/03_syntax_samples/Operators_JBook.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/03_syntax_samples/Operators_JBook.java -------------------------------------------------------------------------------- /tests/03_syntax_samples/Operators_non_JBook.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/03_syntax_samples/Operators_non_JBook.java -------------------------------------------------------------------------------- /tests/04_prim_operators/op_02_int_to_bool.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/04_prim_operators/op_02_int_to_bool.java -------------------------------------------------------------------------------- /tests/04_prim_operators/op_03_int_bit_shift.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/04_prim_operators/op_03_int_bit_shift.java -------------------------------------------------------------------------------- /tests/04_prim_operators/op_06_long_to_long.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/04_prim_operators/op_06_long_to_long.java -------------------------------------------------------------------------------- /tests/04_prim_operators/op_07_long_to_bool.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/04_prim_operators/op_07_long_to_bool.java -------------------------------------------------------------------------------- /tests/04_prim_operators/op_09_long_assign.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/04_prim_operators/op_09_long_assign.java -------------------------------------------------------------------------------- /tests/04_prim_operators/op_112_lazy_and.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/04_prim_operators/op_112_lazy_and.java -------------------------------------------------------------------------------- /tests/04_prim_operators/op_113_lazy_or.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/04_prim_operators/op_113_lazy_or.java -------------------------------------------------------------------------------- /tests/04_prim_operators/test-plan-int-long.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/04_prim_operators/test-plan-int-long.txt -------------------------------------------------------------------------------- /tests/06_string_plus/test-plan.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/06_string_plus/test-plan.txt -------------------------------------------------------------------------------- /tests/07_ref_operators/ref_op_08_neq_false.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/07_ref_operators/ref_op_08_neq_false.java -------------------------------------------------------------------------------- /tests/07_ref_operators/ref_op_09_neq_true.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/07_ref_operators/ref_op_09_neq_true.java -------------------------------------------------------------------------------- /tests/07_ref_operators/test plan.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/07_ref_operators/test plan.txt -------------------------------------------------------------------------------- /tests/08_op_cond_type/op_cond_type_01_eq.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/08_op_cond_type/op_cond_type_01_eq.java -------------------------------------------------------------------------------- /tests/08_op_cond_type/op_cond_type_test_plan.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/08_op_cond_type/op_cond_type_test_plan.txt -------------------------------------------------------------------------------- /tests/09_exp_type/exp_type_01_null.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/09_exp_type/exp_type_01_null.java -------------------------------------------------------------------------------- /tests/09_exp_type/exp_type_02_new_class.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/09_exp_type/exp_type_02_new_class.java -------------------------------------------------------------------------------- /tests/09_exp_type/exp_type_03_new_array.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/09_exp_type/exp_type_03_new_array.java -------------------------------------------------------------------------------- /tests/09_exp_type/exp_type_04_field_access.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/09_exp_type/exp_type_04_field_access.java -------------------------------------------------------------------------------- /tests/09_exp_type/exp_type_05_method_inv.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/09_exp_type/exp_type_05_method_inv.java -------------------------------------------------------------------------------- /tests/09_exp_type/exp_type_06_array_access.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/09_exp_type/exp_type_06_array_access.java -------------------------------------------------------------------------------- /tests/09_exp_type/exp_type_10_bit_neg.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/09_exp_type/exp_type_10_bit_neg.java -------------------------------------------------------------------------------- /tests/09_exp_type/exp_type_11_bool_not.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/09_exp_type/exp_type_11_bool_not.java -------------------------------------------------------------------------------- /tests/09_exp_type/exp_type_12_cast_prim.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/09_exp_type/exp_type_12_cast_prim.java -------------------------------------------------------------------------------- /tests/09_exp_type/exp_type_13_cast_ref.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/09_exp_type/exp_type_13_cast_ref.java -------------------------------------------------------------------------------- /tests/09_exp_type/exp_type_14_int_multi.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/09_exp_type/exp_type_14_int_multi.java -------------------------------------------------------------------------------- /tests/09_exp_type/exp_type_15_int_add.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/09_exp_type/exp_type_15_int_add.java -------------------------------------------------------------------------------- /tests/09_exp_type/exp_type_16_string_plus.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/09_exp_type/exp_type_16_string_plus.java -------------------------------------------------------------------------------- /tests/09_exp_type/exp_type_17_int_bit_shift.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/09_exp_type/exp_type_17_int_bit_shift.java -------------------------------------------------------------------------------- /tests/09_exp_type/exp_type_19_instanceof.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/09_exp_type/exp_type_19_instanceof.java -------------------------------------------------------------------------------- /tests/09_exp_type/exp_type_20_int_eq.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/09_exp_type/exp_type_20_int_eq.java -------------------------------------------------------------------------------- /tests/09_exp_type/exp_type_21_bool_eq.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/09_exp_type/exp_type_21_bool_eq.java -------------------------------------------------------------------------------- /tests/09_exp_type/exp_type_22_ref_eq.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/09_exp_type/exp_type_22_ref_eq.java -------------------------------------------------------------------------------- /tests/09_exp_type/exp_type_23_bitwise_ops.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/09_exp_type/exp_type_23_bitwise_ops.java -------------------------------------------------------------------------------- /tests/09_exp_type/exp_type_24_logical_ops.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/09_exp_type/exp_type_24_logical_ops.java -------------------------------------------------------------------------------- /tests/09_exp_type/exp_type_26_cond_op.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/09_exp_type/exp_type_26_cond_op.java -------------------------------------------------------------------------------- /tests/09_exp_type/exp_type_27_assign.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/09_exp_type/exp_type_27_assign.java -------------------------------------------------------------------------------- /tests/09_exp_type/exp_type_28_assign_comp.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/09_exp_type/exp_type_28_assign_comp.java -------------------------------------------------------------------------------- /tests/09_exp_type/exp_type_29_composite_exp.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/09_exp_type/exp_type_29_composite_exp.java -------------------------------------------------------------------------------- /tests/09_exp_type/exp_type_test_plan.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/09_exp_type/exp_type_test_plan.txt -------------------------------------------------------------------------------- /tests/11_stmt_other/assert_statement.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/11_stmt_other/assert_statement.java -------------------------------------------------------------------------------- /tests/11_stmt_other/emptyStatement.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/11_stmt_other/emptyStatement.java -------------------------------------------------------------------------------- /tests/11_stmt_other/test-plan-assert.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/11_stmt_other/test-plan-assert.txt -------------------------------------------------------------------------------- /tests/12_stmt_loop/doWhile_1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/12_stmt_loop/doWhile_1.java -------------------------------------------------------------------------------- /tests/12_stmt_loop/for_decl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/12_stmt_loop/for_decl.java -------------------------------------------------------------------------------- /tests/12_stmt_loop/for_field_shadowing.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/12_stmt_loop/for_field_shadowing.java -------------------------------------------------------------------------------- /tests/12_stmt_loop/for_simple.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/12_stmt_loop/for_simple.java -------------------------------------------------------------------------------- /tests/12_stmt_loop/for_two_decls.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/12_stmt_loop/for_two_decls.java -------------------------------------------------------------------------------- /tests/13_stmt_switch/switch_01_simple.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/13_stmt_switch/switch_01_simple.java -------------------------------------------------------------------------------- /tests/13_stmt_switch/switch_02_multicase.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/13_stmt_switch/switch_02_multicase.java -------------------------------------------------------------------------------- /tests/13_stmt_switch/switch_03_default.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/13_stmt_switch/switch_03_default.java -------------------------------------------------------------------------------- /tests/13_stmt_switch/switch_04_break.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/13_stmt_switch/switch_04_break.java -------------------------------------------------------------------------------- /tests/13_stmt_switch/switch_05_break_loops.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/13_stmt_switch/switch_05_break_loops.java -------------------------------------------------------------------------------- /tests/13_stmt_switch/switch_06_continue.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/13_stmt_switch/switch_06_continue.java -------------------------------------------------------------------------------- /tests/13_stmt_switch/switch_07_break_label.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/13_stmt_switch/switch_07_break_label.java -------------------------------------------------------------------------------- /tests/13_stmt_switch/test-plan.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/13_stmt_switch/test-plan.txt -------------------------------------------------------------------------------- /tests/14_stmt_return/return_01_no_return.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/14_stmt_return/return_01_no_return.java -------------------------------------------------------------------------------- /tests/14_stmt_return/return_02_ret_nothing.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/14_stmt_return/return_02_ret_nothing.java -------------------------------------------------------------------------------- /tests/14_stmt_return/return_03_ret_number.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/14_stmt_return/return_03_ret_number.java -------------------------------------------------------------------------------- /tests/14_stmt_return/return_04_ret_sum.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/14_stmt_return/return_04_ret_sum.java -------------------------------------------------------------------------------- /tests/14_stmt_return/return_05_if_then_else.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/14_stmt_return/return_05_if_then_else.java -------------------------------------------------------------------------------- /tests/14_stmt_return/return_06_while.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/14_stmt_return/return_06_while.java -------------------------------------------------------------------------------- /tests/14_stmt_return/return_07_do_while.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/14_stmt_return/return_07_do_while.java -------------------------------------------------------------------------------- /tests/14_stmt_return/return_08_for.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/14_stmt_return/return_08_for.java -------------------------------------------------------------------------------- /tests/14_stmt_return/return_09_switch.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/14_stmt_return/return_09_switch.java -------------------------------------------------------------------------------- /tests/14_stmt_return/return_10_labeled.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/14_stmt_return/return_10_labeled.java -------------------------------------------------------------------------------- /tests/14_stmt_return/return_17_ret_string.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/14_stmt_return/return_17_ret_string.java -------------------------------------------------------------------------------- /tests/14_stmt_return/test-plan.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/14_stmt_return/test-plan.txt -------------------------------------------------------------------------------- /tests/15_stmt_throw/test-plan.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/15_stmt_throw/test-plan.txt -------------------------------------------------------------------------------- /tests/15_stmt_throw/throw_01_try_catch.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/15_stmt_throw/throw_01_try_catch.java -------------------------------------------------------------------------------- /tests/15_stmt_throw/throw_03_tryCF_tryC.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/15_stmt_throw/throw_03_tryCF_tryC.java -------------------------------------------------------------------------------- /tests/15_stmt_throw/throw_04_tryF_tryCF.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/15_stmt_throw/throw_04_tryF_tryCF.java -------------------------------------------------------------------------------- /tests/15_stmt_throw/throw_05_try_catch_base.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/15_stmt_throw/throw_05_try_catch_base.java -------------------------------------------------------------------------------- /tests/15_stmt_throw/throw_06_try_CCCF.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/15_stmt_throw/throw_06_try_CCCF.java -------------------------------------------------------------------------------- /tests/15_stmt_throw/throw_07_try_mcall.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/15_stmt_throw/throw_07_try_mcall.java -------------------------------------------------------------------------------- /tests/15_stmt_throw/throw_08_stack_stmts.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/15_stmt_throw/throw_08_stack_stmts.java -------------------------------------------------------------------------------- /tests/17_stmt_break/break_01_while.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/17_stmt_break/break_01_while.java -------------------------------------------------------------------------------- /tests/17_stmt_break/break_02_do.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/17_stmt_break/break_02_do.java -------------------------------------------------------------------------------- /tests/17_stmt_break/break_03_for.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/17_stmt_break/break_03_for.java -------------------------------------------------------------------------------- /tests/17_stmt_break/break_04_catch_for.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/17_stmt_break/break_04_catch_for.java -------------------------------------------------------------------------------- /tests/17_stmt_break/break_05_finally_for.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/17_stmt_break/break_05_finally_for.java -------------------------------------------------------------------------------- /tests/17_stmt_break/break_07_L_while.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/17_stmt_break/break_07_L_while.java -------------------------------------------------------------------------------- /tests/17_stmt_break/break_08_L_do.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/17_stmt_break/break_08_L_do.java -------------------------------------------------------------------------------- /tests/17_stmt_break/break_09_L_for.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/17_stmt_break/break_09_L_for.java -------------------------------------------------------------------------------- /tests/17_stmt_break/break_10_L_block_while.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/17_stmt_break/break_10_L_block_while.java -------------------------------------------------------------------------------- /tests/17_stmt_break/break_label_4_for.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/17_stmt_break/break_label_4_for.java -------------------------------------------------------------------------------- /tests/17_stmt_break/graph_break.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/17_stmt_break/graph_break.java -------------------------------------------------------------------------------- /tests/17_stmt_break/test-plan-break-label.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/17_stmt_break/test-plan-break-label.txt -------------------------------------------------------------------------------- /tests/18_stmt_continue/continue_01_while.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/18_stmt_continue/continue_01_while.java -------------------------------------------------------------------------------- /tests/18_stmt_continue/continue_02_do_1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/18_stmt_continue/continue_02_do_1.java -------------------------------------------------------------------------------- /tests/18_stmt_continue/continue_03_do_2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/18_stmt_continue/continue_03_do_2.java -------------------------------------------------------------------------------- /tests/18_stmt_continue/continue_04_for.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/18_stmt_continue/continue_04_for.java -------------------------------------------------------------------------------- /tests/18_stmt_continue/graph_continue.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/18_stmt_continue/graph_continue.java -------------------------------------------------------------------------------- /tests/21_arrays/array_01_overview.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/21_arrays/array_01_overview.java -------------------------------------------------------------------------------- /tests/21_arrays/array_04_alloc_multidim.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/21_arrays/array_04_alloc_multidim.java -------------------------------------------------------------------------------- /tests/21_arrays/array_05_alloc_boundary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/21_arrays/array_05_alloc_boundary.java -------------------------------------------------------------------------------- /tests/21_arrays/array_06_alloc_NASException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/21_arrays/array_06_alloc_NASException.java -------------------------------------------------------------------------------- /tests/21_arrays/array_09_decl_C_style.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/21_arrays/array_09_decl_C_style.java -------------------------------------------------------------------------------- /tests/21_arrays/array_10_access_index_types.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/21_arrays/array_10_access_index_types.java -------------------------------------------------------------------------------- /tests/21_arrays/array_12_access_eval_order.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/21_arrays/array_12_access_eval_order.java -------------------------------------------------------------------------------- /tests/21_arrays/array_13_access_null.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/21_arrays/array_13_access_null.java -------------------------------------------------------------------------------- /tests/21_arrays/array_14_assign_one_dim_1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/21_arrays/array_14_assign_one_dim_1.java -------------------------------------------------------------------------------- /tests/21_arrays/array_15_assign_one_dim_2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/21_arrays/array_15_assign_one_dim_2.java -------------------------------------------------------------------------------- /tests/21_arrays/array_16_assign_multidim.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/21_arrays/array_16_assign_multidim.java -------------------------------------------------------------------------------- /tests/21_arrays/array_17_length.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/21_arrays/array_17_length.java -------------------------------------------------------------------------------- /tests/21_arrays/array_18_clone.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/21_arrays/array_18_clone.java -------------------------------------------------------------------------------- /tests/21_arrays/array_19_clone_polymorphism.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/21_arrays/array_19_clone_polymorphism.java -------------------------------------------------------------------------------- /tests/21_arrays/array_20_instanceof.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/21_arrays/array_20_instanceof.java -------------------------------------------------------------------------------- /tests/21_arrays/array_21_instanceof_complex.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/21_arrays/array_21_instanceof_complex.java -------------------------------------------------------------------------------- /tests/21_arrays/array_25_polymorph_matrix.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/21_arrays/array_25_polymorph_matrix.java -------------------------------------------------------------------------------- /tests/21_arrays/array_27_ASException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/21_arrays/array_27_ASException.java -------------------------------------------------------------------------------- /tests/21_arrays/array_28_ASException_matrix.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/21_arrays/array_28_ASException_matrix.java -------------------------------------------------------------------------------- /tests/21_arrays/array_31_cast.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/21_arrays/array_31_cast.java -------------------------------------------------------------------------------- /tests/21_arrays/array_32_init_one_dim.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/21_arrays/array_32_init_one_dim.java -------------------------------------------------------------------------------- /tests/21_arrays/array_33_init_multidim.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/21_arrays/array_33_init_multidim.java -------------------------------------------------------------------------------- /tests/21_arrays/array_34_init_string.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/21_arrays/array_34_init_string.java -------------------------------------------------------------------------------- /tests/21_arrays/array_35_init_seqstrict.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/21_arrays/array_35_init_seqstrict.java -------------------------------------------------------------------------------- /tests/21_arrays/array_36_init_polymorph.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/21_arrays/array_36_init_polymorph.java -------------------------------------------------------------------------------- /tests/21_arrays/array_38_init_decl_one_dim.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/21_arrays/array_38_init_decl_one_dim.java -------------------------------------------------------------------------------- /tests/21_arrays/array_43_default_val_ref.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/21_arrays/array_43_default_val_ref.java -------------------------------------------------------------------------------- /tests/21_arrays/array_44_side_effect_exp.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/21_arrays/array_44_side_effect_exp.java -------------------------------------------------------------------------------- /tests/21_arrays/test plan.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/21_arrays/test plan.txt -------------------------------------------------------------------------------- /tests/22_arrays_separated/array_sep_31_cast.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/22_arrays_separated/array_sep_31_cast.java -------------------------------------------------------------------------------- /tests/22_arrays_separated/test plan.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/22_arrays_separated/test plan.txt -------------------------------------------------------------------------------- /tests/23_basic_jvm_exc/jvm_exc_01_arith_exc.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/23_basic_jvm_exc/jvm_exc_01_arith_exc.java -------------------------------------------------------------------------------- /tests/23_basic_jvm_exc/jvm_exc_02_NPE.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/23_basic_jvm_exc/jvm_exc_02_NPE.java -------------------------------------------------------------------------------- /tests/23_basic_jvm_exc/test plan.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/23_basic_jvm_exc/test plan.txt -------------------------------------------------------------------------------- /tests/24_floats/float_11_literals_simple.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/24_floats/float_11_literals_simple.java -------------------------------------------------------------------------------- /tests/24_floats/float_21_plus.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/24_floats/float_21_plus.java -------------------------------------------------------------------------------- /tests/24_floats/float_22_numeric_ops.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/24_floats/float_22_numeric_ops.java -------------------------------------------------------------------------------- /tests/24_floats/float_23_comparison_ops.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/24_floats/float_23_comparison_ops.java -------------------------------------------------------------------------------- /tests/24_floats/float_24_cond.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/24_floats/float_24_cond.java -------------------------------------------------------------------------------- /tests/24_floats/float_25_string_plus.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/24_floats/float_25_string_plus.java -------------------------------------------------------------------------------- /tests/24_floats/float_31_cast_float_double.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/24_floats/float_31_cast_float_double.java -------------------------------------------------------------------------------- /tests/24_floats/float_31_cast_float_double.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/24_floats/float_31_cast_float_double.out -------------------------------------------------------------------------------- /tests/24_floats/float_32_cast_to_int.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/24_floats/float_32_cast_to_int.java -------------------------------------------------------------------------------- /tests/24_floats/float_33_double_to_types.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/24_floats/float_33_double_to_types.java -------------------------------------------------------------------------------- /tests/24_floats/float_34_types_to_double.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/24_floats/float_34_types_to_double.java -------------------------------------------------------------------------------- /tests/24_floats/float_43_assign_conv.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/24_floats/float_43_assign_conv.java -------------------------------------------------------------------------------- /tests/24_floats/float_44_compound_assign.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/24_floats/float_44_compound_assign.java -------------------------------------------------------------------------------- /tests/24_floats/float_51_float_sub_of_types.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/24_floats/float_51_float_sub_of_types.java -------------------------------------------------------------------------------- /tests/24_floats/float_61_print.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/24_floats/float_61_print.java -------------------------------------------------------------------------------- /tests/24_floats/float_62_init.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/24_floats/float_62_init.java -------------------------------------------------------------------------------- /tests/24_floats/test plan floats.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/24_floats/test plan floats.txt -------------------------------------------------------------------------------- /tests/31_diverse/all_sorting.in: -------------------------------------------------------------------------------- 1 | 4 2 | 8 3 | 3 4 | 1 5 | 2 6 | -------------------------------------------------------------------------------- /tests/31_diverse/all_sorting.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/31_diverse/all_sorting.java -------------------------------------------------------------------------------- /tests/31_diverse/bubble.in: -------------------------------------------------------------------------------- 1 | 4 2 | 8 3 | 3 4 | 1 5 | 2 6 | -------------------------------------------------------------------------------- /tests/31_diverse/bubble.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/31_diverse/bubble.java -------------------------------------------------------------------------------- /tests/31_diverse/collatz.in: -------------------------------------------------------------------------------- 1 | 5 2 | -------------------------------------------------------------------------------- /tests/31_diverse/collatz.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/31_diverse/collatz.java -------------------------------------------------------------------------------- /tests/31_diverse/factorial.in: -------------------------------------------------------------------------------- 1 | 5 2 | -------------------------------------------------------------------------------- /tests/31_diverse/factorial.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/31_diverse/factorial.java -------------------------------------------------------------------------------- /tests/31_diverse/heap.in: -------------------------------------------------------------------------------- 1 | 4 2 | 8 3 | 3 4 | 1 5 | 2 6 | -------------------------------------------------------------------------------- /tests/31_diverse/heap.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/31_diverse/heap.java -------------------------------------------------------------------------------- /tests/31_diverse/insertion1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/31_diverse/insertion1.java -------------------------------------------------------------------------------- /tests/31_diverse/insertion2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/31_diverse/insertion2.java -------------------------------------------------------------------------------- /tests/31_diverse/matrixMul.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/31_diverse/matrixMul.java -------------------------------------------------------------------------------- /tests/31_diverse/odd_even.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/31_diverse/odd_even.java -------------------------------------------------------------------------------- /tests/31_diverse/point.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/31_diverse/point.java -------------------------------------------------------------------------------- /tests/31_diverse/tree_sum.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/31_diverse/tree_sum.java -------------------------------------------------------------------------------- /tests/32_java_api_core/Object_equals.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/32_java_api_core/Object_equals.java -------------------------------------------------------------------------------- /tests/32_java_api_core/String_charAt.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/32_java_api_core/String_charAt.java -------------------------------------------------------------------------------- /tests/32_java_api_core/String_compareTo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/32_java_api_core/String_compareTo.java -------------------------------------------------------------------------------- /tests/32_java_api_core/exception_toString.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/32_java_api_core/exception_toString.java -------------------------------------------------------------------------------- /tests/41_method_basic/method_11_return_void.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/41_method_basic/method_11_return_void.java -------------------------------------------------------------------------------- /tests/41_method_basic/method_13_arg_types.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/41_method_basic/method_13_arg_types.java -------------------------------------------------------------------------------- /tests/41_method_basic/method_14_multi.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/41_method_basic/method_14_multi.java -------------------------------------------------------------------------------- /tests/41_method_basic/method_15_arg_conv.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/41_method_basic/method_15_arg_conv.java -------------------------------------------------------------------------------- /tests/41_method_basic/method_21_inheritance.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/41_method_basic/method_21_inheritance.java -------------------------------------------------------------------------------- /tests/41_method_basic/method_31_overriding.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/41_method_basic/method_31_overriding.java -------------------------------------------------------------------------------- /tests/41_method_basic/method_33_throws.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/41_method_basic/method_33_throws.java -------------------------------------------------------------------------------- /tests/41_method_basic/method_34_final.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/41_method_basic/method_34_final.java -------------------------------------------------------------------------------- /tests/41_method_basic/method_44_arg_order.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/41_method_basic/method_44_arg_order.java -------------------------------------------------------------------------------- /tests/41_method_basic/test plan.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/41_method_basic/test plan.txt -------------------------------------------------------------------------------- /tests/42_method_overloading/test plan.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/42_method_overloading/test plan.txt -------------------------------------------------------------------------------- /tests/44_fields/fields_101_local_access.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/44_fields/fields_101_local_access.java -------------------------------------------------------------------------------- /tests/44_fields/fields_102_of_type_ref.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/44_fields/fields_102_of_type_ref.java -------------------------------------------------------------------------------- /tests/44_fields/fields_11_one_class.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/44_fields/fields_11_one_class.java -------------------------------------------------------------------------------- /tests/44_fields/fields_12_inheritance.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/44_fields/fields_12_inheritance.java -------------------------------------------------------------------------------- /tests/44_fields/fields_130_hiding.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/44_fields/fields_130_hiding.java -------------------------------------------------------------------------------- /tests/44_fields/fields_133_hiding_super_2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/44_fields/fields_133_hiding_super_2.java -------------------------------------------------------------------------------- /tests/44_fields/fields_134_hiding_acc_modes.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/44_fields/fields_134_hiding_acc_modes.java -------------------------------------------------------------------------------- /tests/44_fields/fields_15_hiding_by_param.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/44_fields/fields_15_hiding_by_param.java -------------------------------------------------------------------------------- /tests/44_fields/fields_16_default_value.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/44_fields/fields_16_default_value.java -------------------------------------------------------------------------------- /tests/44_fields/fields_17_multifield.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/44_fields/fields_17_multifield.java -------------------------------------------------------------------------------- /tests/44_fields/fields_18_final.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/44_fields/fields_18_final.java -------------------------------------------------------------------------------- /tests/44_fields/fields_19_hiding_acc_modes.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/44_fields/fields_19_hiding_acc_modes.java -------------------------------------------------------------------------------- /tests/44_fields/fields_21_super_chain.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/44_fields/fields_21_super_chain.java -------------------------------------------------------------------------------- /tests/44_fields/fields_22_super_overl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/44_fields/fields_22_super_overl.java -------------------------------------------------------------------------------- /tests/44_fields/fields_23_super_chain_overl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/44_fields/fields_23_super_chain_overl.java -------------------------------------------------------------------------------- /tests/44_fields/fields_24_super_assign.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/44_fields/fields_24_super_assign.java -------------------------------------------------------------------------------- /tests/44_fields/test plan.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/44_fields/test plan.txt -------------------------------------------------------------------------------- /tests/45_class_init/field_init_201_const.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/45_class_init/field_init_201_const.java -------------------------------------------------------------------------------- /tests/45_class_init/field_init_209_exc.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/45_class_init/field_init_209_exc.java -------------------------------------------------------------------------------- /tests/45_class_init/field_init_210_super.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/45_class_init/field_init_210_super.java -------------------------------------------------------------------------------- /tests/45_class_init/inst_init_31.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/45_class_init/inst_init_31.java -------------------------------------------------------------------------------- /tests/45_class_init/inst_init_32.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/45_class_init/inst_init_32.java -------------------------------------------------------------------------------- /tests/45_class_init/inst_init_33.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/45_class_init/inst_init_33.java -------------------------------------------------------------------------------- /tests/45_class_init/inst_init_34_exc.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/45_class_init/inst_init_34_exc.java -------------------------------------------------------------------------------- /tests/45_class_init/inst_init_35_hiding.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/45_class_init/inst_init_35_hiding.java -------------------------------------------------------------------------------- /tests/45_class_init/inst_init_41_hier_order.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/45_class_init/inst_init_41_hier_order.java -------------------------------------------------------------------------------- /tests/45_class_init/test plan.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/45_class_init/test plan.txt -------------------------------------------------------------------------------- /tests/46_constructors/constr_50_basic.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/46_constructors/constr_50_basic.java -------------------------------------------------------------------------------- /tests/46_constructors/constr_57_init_exc.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/46_constructors/constr_57_init_exc.java -------------------------------------------------------------------------------- /tests/46_constructors/constr_58_super.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/46_constructors/constr_58_super.java -------------------------------------------------------------------------------- /tests/46_constructors/constr_61_this_chain.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/46_constructors/constr_61_this_chain.java -------------------------------------------------------------------------------- /tests/46_constructors/test plan.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/46_constructors/test plan.txt -------------------------------------------------------------------------------- /tests/47_abstract/abstract_01_simple.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/47_abstract/abstract_01_simple.java -------------------------------------------------------------------------------- /tests/47_abstract/abstract_02_overload.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/47_abstract/abstract_02_overload.java -------------------------------------------------------------------------------- /tests/47_abstract/test plan.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/47_abstract/test plan.txt -------------------------------------------------------------------------------- /tests/48_interfaces/interface_11_instof.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/48_interfaces/interface_11_instof.java -------------------------------------------------------------------------------- /tests/48_interfaces/interface_21_basic.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/48_interfaces/interface_21_basic.java -------------------------------------------------------------------------------- /tests/48_interfaces/interface_22_poly.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/48_interfaces/interface_22_poly.java -------------------------------------------------------------------------------- /tests/48_interfaces/interface_31_multi_impl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/48_interfaces/interface_31_multi_impl.java -------------------------------------------------------------------------------- /tests/48_interfaces/test plan.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/48_interfaces/test plan.txt -------------------------------------------------------------------------------- /tests/49_super_method/super_m_01_simple.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/49_super_method/super_m_01_simple.java -------------------------------------------------------------------------------- /tests/49_super_method/super_m_02_poly.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/49_super_method/super_m_02_poly.java -------------------------------------------------------------------------------- /tests/49_super_method/super_m_03_overload.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/49_super_method/super_m_03_overload.java -------------------------------------------------------------------------------- /tests/49_super_method/super_m_08_acc_m_return_hier.java/B.java: -------------------------------------------------------------------------------- 1 | package p2; 2 | 3 | import p1.*; 4 | 5 | public class B extends A { 6 | } 7 | -------------------------------------------------------------------------------- /tests/49_super_method/super_m_09_acc_m_return_hier_poly.java/B.java: -------------------------------------------------------------------------------- 1 | package p2; 2 | 3 | import p1.*; 4 | 5 | public class B extends A { 6 | } 7 | -------------------------------------------------------------------------------- /tests/49_super_method/test_plan_super_method.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/49_super_method/test_plan_super_method.txt -------------------------------------------------------------------------------- /tests/51_static_methods/static_m_102_nested.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/51_static_methods/static_m_102_nested.java -------------------------------------------------------------------------------- /tests/51_static_methods/static_m_112_hiding.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/51_static_methods/static_m_112_hiding.java -------------------------------------------------------------------------------- /tests/51_static_methods/test plan.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/51_static_methods/test plan.txt -------------------------------------------------------------------------------- /tests/52_static_fields/static_f_106_hiding.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/52_static_fields/static_f_106_hiding.java -------------------------------------------------------------------------------- /tests/52_static_fields/test plan.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/52_static_fields/test plan.txt -------------------------------------------------------------------------------- /tests/53_static_init/static_f_init_107_exc.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/53_static_init/static_f_init_107_exc.java -------------------------------------------------------------------------------- /tests/53_static_init/static_init_24_exc.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/53_static_init/static_init_24_exc.java -------------------------------------------------------------------------------- /tests/53_static_init/test plan static init.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/53_static_init/test plan static init.txt -------------------------------------------------------------------------------- /tests/54_interface_fields/test plan.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/54_interface_fields/test plan.txt -------------------------------------------------------------------------------- /tests/55_static_init_trigger/test plan.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/55_static_init_trigger/test plan.txt -------------------------------------------------------------------------------- /tests/56_main_method/main_01_is_static.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/56_main_method/main_01_is_static.java -------------------------------------------------------------------------------- /tests/56_main_method/main_06_c_like_arg.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/56_main_method/main_06_c_like_arg.java -------------------------------------------------------------------------------- /tests/56_main_method/test plan.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/56_main_method/test plan.txt -------------------------------------------------------------------------------- /tests/57_field_access_mode/test plan.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/57_field_access_mode/test plan.txt -------------------------------------------------------------------------------- /tests/61_packages/packages_26_java_lang.java/pack/Object.java: -------------------------------------------------------------------------------- 1 | package pack; 2 | 3 | public class Object {} 4 | -------------------------------------------------------------------------------- /tests/61_packages/packages_26_java_lang.java/pack/RuntimeException.java: -------------------------------------------------------------------------------- 1 | package pack; 2 | 3 | public class RuntimeException {} 4 | -------------------------------------------------------------------------------- /tests/61_packages/packages_53_class_ext_impl.java/p1/I.java: -------------------------------------------------------------------------------- 1 | package p1; 2 | 3 | public interface I { 4 | String vi = "p1.I.vi"; 5 | } 6 | -------------------------------------------------------------------------------- /tests/61_packages/packages_53_class_ext_impl.java/p2/I.java: -------------------------------------------------------------------------------- 1 | package p2; 2 | 3 | public interface I { 4 | String vi = "p2.I.vi"; 5 | } 6 | -------------------------------------------------------------------------------- /tests/61_packages/packages_54_interf_extends.java/p1/I1.java: -------------------------------------------------------------------------------- 1 | package p1; 2 | 3 | public interface I1 { 4 | String vi = "p1.I1.vi"; 5 | } 6 | -------------------------------------------------------------------------------- /tests/61_packages/packages_54_interf_extends.java/p2/I1.java: -------------------------------------------------------------------------------- 1 | package p2; 2 | 3 | public interface I1 { 4 | String vi = "p2.I1.vi"; 5 | } 6 | -------------------------------------------------------------------------------- /tests/61_packages/packages_54_interf_extends.java/p3/I1.java: -------------------------------------------------------------------------------- 1 | package p3; 2 | 3 | public interface I1 { 4 | String vi = "p3.I1.vi"; 5 | } 6 | -------------------------------------------------------------------------------- /tests/61_packages/test plan packages.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/61_packages/test plan packages.txt -------------------------------------------------------------------------------- /tests/62_class_literals/class_lit_02_packages.java/C.java: -------------------------------------------------------------------------------- 1 | package p2; 2 | 3 | public class C{} 4 | -------------------------------------------------------------------------------- /tests/62_class_literals/class_lit_04_arrays.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/62_class_literals/class_lit_04_arrays.java -------------------------------------------------------------------------------- /tests/62_class_literals/class_lit_05_ref_equality.java/A.java: -------------------------------------------------------------------------------- 1 | package p1; 2 | 3 | public class A {} 4 | -------------------------------------------------------------------------------- /tests/65_local_cl/local_cl_11_simple.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/65_local_cl/local_cl_11_simple.java -------------------------------------------------------------------------------- /tests/65_local_cl/local_cl_12_polymorph.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/65_local_cl/local_cl_12_polymorph.java -------------------------------------------------------------------------------- /tests/65_local_cl/local_cl_13_own_members.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/65_local_cl/local_cl_13_own_members.java -------------------------------------------------------------------------------- /tests/65_local_cl/local_cl_14_impl_intf.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/65_local_cl/local_cl_14_impl_intf.java -------------------------------------------------------------------------------- /tests/65_local_cl/local_cl_17_hiding.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/65_local_cl/local_cl_17_hiding.java -------------------------------------------------------------------------------- /tests/65_local_cl/local_cl_41_encl_vars.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/65_local_cl/local_cl_41_encl_vars.java -------------------------------------------------------------------------------- /tests/65_local_cl/local_cl_51_three_lvl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/65_local_cl/local_cl_51_three_lvl.java -------------------------------------------------------------------------------- /tests/65_local_cl/local_cl_711_inst_encl_cl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/65_local_cl/local_cl_711_inst_encl_cl.java -------------------------------------------------------------------------------- /tests/65_local_cl/local_cl_951_cons_this.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/65_local_cl/local_cl_951_cons_this.java -------------------------------------------------------------------------------- /tests/65_local_cl/test plan local classes.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/65_local_cl/test plan local classes.txt -------------------------------------------------------------------------------- /tests/72_threads_run/threads_34_sync_obj.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tests/72_threads_run/threads_34_sync_obj.java -------------------------------------------------------------------------------- /tools/aux-echo.sh: -------------------------------------------------------------------------------- 1 | #!/bin/bash 2 | 3 | echo 4 | -------------------------------------------------------------------------------- /tools/aux-kjrun.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tools/aux-kjrun.sh -------------------------------------------------------------------------------- /tools/aux-kjtest.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tools/aux-kjtest.sh -------------------------------------------------------------------------------- /tools/cross-k.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tools/cross-k.sh -------------------------------------------------------------------------------- /tools/cross-path-native.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tools/cross-path-native.sh -------------------------------------------------------------------------------- /tools/cross-path-unix.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tools/cross-path-unix.sh -------------------------------------------------------------------------------- /tools/cross-sh.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tools/cross-sh.sh -------------------------------------------------------------------------------- /tools/extract-all-modules.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tools/extract-all-modules.sh -------------------------------------------------------------------------------- /tools/extract-module.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tools/extract-module.sh -------------------------------------------------------------------------------- /tools/helloWorld.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tools/helloWorld.sh -------------------------------------------------------------------------------- /tools/jdk-run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tools/jdk-run.sh -------------------------------------------------------------------------------- /tools/jenkins/java-semantics-test-examples.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tools/jenkins/java-semantics-test-examples.sh -------------------------------------------------------------------------------- /tools/jenkins/java-semantics-test-main.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tools/jenkins/java-semantics-test-main.sh -------------------------------------------------------------------------------- /tools/jenkins/java-semantics-test-strictness.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tools/jenkins/java-semantics-test-strictness.sh -------------------------------------------------------------------------------- /tools/jenkins/java-semantics-test-symbolic.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tools/jenkins/java-semantics-test-symbolic.sh -------------------------------------------------------------------------------- /tools/jenkins/java-semantics-test-threading.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tools/jenkins/java-semantics-test-threading.sh -------------------------------------------------------------------------------- /tools/jenkins/java-semantics.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tools/jenkins/java-semantics.sh -------------------------------------------------------------------------------- /tools/jenkins/set-permissions-after-copy.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tools/jenkins/set-permissions-after-copy.sh -------------------------------------------------------------------------------- /tools/kj-parse-aggreg.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tools/kj-parse-aggreg.sh -------------------------------------------------------------------------------- /tools/kj-parse-cache.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tools/kj-parse-cache.sh -------------------------------------------------------------------------------- /tools/kjkompile.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tools/kjkompile.sh -------------------------------------------------------------------------------- /tools/kjparse.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tools/kjparse.sh -------------------------------------------------------------------------------- /tools/kjrun-simple.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tools/kjrun-simple.sh -------------------------------------------------------------------------------- /tools/kjrun.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tools/kjrun.sh -------------------------------------------------------------------------------- /tools/kjtest.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tools/kjtest.sh -------------------------------------------------------------------------------- /tools/test-runner.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/java-semantics/HEAD/tools/test-runner.jar --------------------------------------------------------------------------------