├── .gitignore ├── .project ├── .travis.yml ├── LICENSE.md ├── README.md ├── pom.xml ├── recaf-desugar ├── .classpath ├── .project ├── META-INF │ ├── MANIFEST.MF │ └── RASCAL.MF ├── build.properties ├── input-paper │ ├── TestDebug.recaf │ ├── TestQL.recaf │ └── TestUsingWithError.recaf ├── input │ ├── BaseTestExprFieldSuper.recaf │ ├── BaseTestExprInvokeSuper.recaf │ ├── PStream.recaf │ ├── TestAsyncComplex.recaf │ ├── TestAsyncComplex2.recaf │ ├── TestAsyncNoAwait.recaf │ ├── TestAsyncWithAwait.recaf │ ├── TestBacktracking.recaf │ ├── TestComeFrom.recaf │ ├── TestCoroutine.recaf │ ├── TestDef.recaf │ ├── TestExprAnd.recaf │ ├── TestExprFieldSuper.recaf │ ├── TestExprInheritanceMethodLookup.recaf │ ├── TestExprInvokeSuper.recaf │ ├── TestExprNoConstructor.recaf │ ├── TestExprPlus.recaf │ ├── TestExprPrivateConstructor.recaf │ ├── TestExprSimpleMethodLookup.recaf │ ├── TestFibIter.recaf │ ├── TestFibIter2.recaf │ ├── TestFibMemo.recaf │ ├── TestFibRecAsync.recaf │ ├── TestFor_noBreak.recaf │ ├── TestFor_ordinary.recaf │ ├── TestFor_withBreak.recaf │ ├── TestGUI.recaf │ ├── TestGUI2.recaf │ ├── TestIter.recaf │ ├── TestIter_YieldEachRec.recaf │ ├── TestLocals.recaf │ ├── TestMaybe.recaf │ ├── TestOrElse.recaf │ ├── TestPEG.recaf │ ├── TestPropagate.recaf │ ├── TestPullStreams.recaf │ ├── TestSWUL.recaf │ ├── TestSecurity.recaf │ ├── TestSimple.recaf │ ├── TestSolve.recaf │ ├── TestSolve_alldifferent.recaf │ ├── TestStream_Complex.recaf │ ├── TestStream_with_await.recaf │ ├── TestStream_with_awaitFor.recaf │ ├── TestStream_with_yield.recaf │ ├── TestStream_with_yieldFrom.recaf │ ├── TestSwitch_break_default_beginning.recaf │ ├── TestSwitch_break_first.recaf │ ├── TestSwitch_break_second.recaf │ ├── TestSwitch_break_second_withdefault.recaf │ ├── TestSwitch_nested_default_beginning.recaf │ ├── TestSwitch_no_break.recaf │ ├── TestUsing.recaf │ ├── TestWeb.recaf │ ├── TestWhile_no_break.recaf │ └── TestWhile_withBreak.recaf ├── pom.xml └── src │ ├── Plugin.rsc │ └── lang │ ├── java │ └── Java8.rsc │ └── recaf │ ├── DesugarMain.rsc │ ├── Recaf.rsc │ ├── TypeCheck.rsc │ └── desugar │ ├── Expr.rsc │ ├── RecafFull.rsc │ ├── RecafStmts.rsc │ ├── Recaffeinate.rsc │ ├── Stmt.rsc │ └── Util.rsc ├── recaf-runtime ├── .classpath ├── .project ├── build.properties ├── libs │ └── rascal-shell-stable.jar ├── pom.xml └── src │ ├── main │ └── java │ │ └── recaf │ │ ├── core │ │ ├── ISupply.java │ │ ├── Ref.java │ │ ├── alg │ │ │ ├── JavaExprAlg.java │ │ │ ├── JavaMethodAlg.java │ │ │ ├── JavaStmtAlg.java │ │ │ └── JavaStmtOnlyAlg.java │ │ ├── cps │ │ │ ├── CD.java │ │ │ ├── EvalJavaStmt.java │ │ │ ├── K.java │ │ │ ├── K0.java │ │ │ ├── SD.java │ │ │ └── StmtJavaCPS.java │ │ ├── direct │ │ │ ├── EvalJavaStmt.java │ │ │ ├── ICase.java │ │ │ ├── IEval.java │ │ │ ├── IExec.java │ │ │ └── StmtJavaDirect.java │ │ ├── expr │ │ │ ├── EvalJavaExpr.java │ │ │ ├── EvalJavaHelper.java │ │ │ ├── IRef.java │ │ │ └── ReflectRef.java │ │ └── full │ │ │ ├── FullJavaCPS.java │ │ │ ├── FullJavaDirect.java │ │ │ └── JavaStmtAlgAdapter.java │ │ ├── demo │ │ ├── constraint │ │ │ └── Solve.java │ │ ├── cps │ │ │ ├── Async.java │ │ │ ├── AsyncFull.java │ │ │ ├── Backtrack.java │ │ │ ├── ComeFrom.java │ │ │ ├── Coroutine.java │ │ │ ├── Iter.java │ │ │ ├── IterFull.java │ │ │ ├── Maybe.java │ │ │ ├── ParFor.java │ │ │ ├── Propagate.java │ │ │ └── StreamExt.java │ │ ├── direct │ │ │ ├── App.java │ │ │ ├── GUI.java │ │ │ ├── LINQ.java │ │ │ ├── Logging.java │ │ │ ├── Maybe.java │ │ │ ├── Memo.java │ │ │ ├── MemoizableCall.java │ │ │ ├── OrElse.java │ │ │ ├── Policy.java │ │ │ ├── Security.java │ │ │ ├── Student.java │ │ │ ├── StudentPolicy.java │ │ │ └── Using.java │ │ ├── generic │ │ │ ├── Times.java │ │ │ ├── Unless.java │ │ │ └── Until.java │ │ ├── pegs │ │ │ ├── Fail.java │ │ │ ├── MemoPEG.java │ │ │ ├── PEG.java │ │ │ ├── PEGwithLayout.java │ │ │ ├── Parser.java │ │ │ └── Result.java │ │ ├── swul │ │ │ └── SWUL.java │ │ └── web │ │ │ └── Web.java │ │ └── paper │ │ ├── access │ │ ├── Policy.java │ │ ├── Security.java │ │ └── StudentPolicy.java │ │ ├── demo │ │ ├── Backtrack.java │ │ ├── BacktrackFull.java │ │ ├── Debug.java │ │ ├── GUI.java │ │ ├── GUIImpl.java │ │ ├── Goto.java │ │ ├── HTTPRequest.java │ │ ├── HTTPResponse.java │ │ ├── Maybe.java │ │ ├── Memo.java │ │ ├── OrElse.java │ │ ├── Times.java │ │ ├── ToAST.java │ │ ├── ToJS.java │ │ ├── Tracing.java │ │ ├── Unless.java │ │ └── ast │ │ │ ├── Decl.java │ │ │ ├── Empty.java │ │ │ ├── Exp.java │ │ │ ├── Expr.java │ │ │ ├── Field.java │ │ │ ├── For.java │ │ │ ├── If.java │ │ │ ├── Invoke.java │ │ │ ├── Lambda.java │ │ │ ├── Lit.java │ │ │ ├── New.java │ │ │ ├── Return.java │ │ │ ├── Seq.java │ │ │ ├── Stm.java │ │ │ ├── This.java │ │ │ └── Var.java │ │ ├── expr │ │ ├── IEval.java │ │ ├── MuExpJava.java │ │ ├── MuExpJavaBase.java │ │ ├── MuExpJavaZip.java │ │ ├── Pair.java │ │ ├── Print.java │ │ ├── PrintAndEval.java │ │ └── PrintAndEvalManual.java │ │ ├── full │ │ ├── FullMuJava.java │ │ ├── FullMuJavaCPS.java │ │ ├── FullMuJavaCPSManual.java │ │ ├── FullMuJavaDirect.java │ │ ├── FullMuJavaDirectManual.java │ │ ├── MuStmIEvalJavaAdapter.java │ │ ├── MuStmJava.java │ │ ├── MuStmJavaAdapter.java │ │ ├── MuStmJavaManualAdapter.java │ │ └── MuStmPrintEvalAdapter.java │ │ ├── methods │ │ ├── MuJavaMethod.java │ │ ├── TPCPS.java │ │ ├── TPDirect.java │ │ └── ToOptional.java │ │ └── stm │ │ ├── IExec.java │ │ ├── MuJava.java │ │ ├── MuJavaBase.java │ │ ├── MuJavaCPS.java │ │ ├── Return.java │ │ └── SD.java │ ├── test-generated │ └── generated │ │ ├── BaseTestExprFieldSuper.java │ │ ├── BaseTestExprInvokeSuper.java │ │ ├── PStream.java │ │ ├── TestAsyncComplex.java │ │ ├── TestAsyncComplex2.java │ │ ├── TestAsyncNoAwait.java │ │ ├── TestAsyncWithAwait.java │ │ ├── TestBacktracking.java │ │ ├── TestComeFrom.java │ │ ├── TestCoroutine.java │ │ ├── TestDebug.java │ │ ├── TestDef.java │ │ ├── TestExprAnd.java │ │ ├── TestExprFieldSuper.java │ │ ├── TestExprInheritanceMethodLookup.java │ │ ├── TestExprInvokeSuper.java │ │ ├── TestExprNoConstructor.java │ │ ├── TestExprPlus.java │ │ ├── TestExprPrivateConstructor.java │ │ ├── TestExprSimpleMethodLookup.java │ │ ├── TestFibIter.java │ │ ├── TestFibIter2.java │ │ ├── TestFibMemo.java │ │ ├── TestFibRecAsync.java │ │ ├── TestFor_noBreak.java │ │ ├── TestFor_ordinary.java │ │ ├── TestFor_withBreak.java │ │ ├── TestGUI.java │ │ ├── TestGUI2.java │ │ ├── TestIter.java │ │ ├── TestIter_YieldEachRec.java │ │ ├── TestLocals.java │ │ ├── TestMaybe.java │ │ ├── TestOrElse.java │ │ ├── TestPEG.java │ │ ├── TestPropagate.java │ │ ├── TestPullStreams.java │ │ ├── TestQL.java │ │ ├── TestSWUL.java │ │ ├── TestSecurity.java │ │ ├── TestSimple.java │ │ ├── TestSolve.java │ │ ├── TestSolve_alldifferent.java │ │ ├── TestStream_Complex.java │ │ ├── TestStream_with_await.java │ │ ├── TestStream_with_awaitFor.java │ │ ├── TestStream_with_yield.java │ │ ├── TestStream_with_yieldFrom.java │ │ ├── TestSwitch_break_default_beginning.java │ │ ├── TestSwitch_break_first.java │ │ ├── TestSwitch_break_second.java │ │ ├── TestSwitch_break_second_withdefault.java │ │ ├── TestSwitch_nested_default_beginning.java │ │ ├── TestSwitch_no_break.java │ │ ├── TestUsing.java │ │ ├── TestUsingWithError.java │ │ ├── TestWeb.java │ │ ├── TestWhile_no_break.java │ │ └── TestWhile_withBreak.java │ └── test │ ├── java │ └── recaf │ │ └── tests │ │ ├── BaseTest.java │ │ ├── CompiletimeException.java │ │ ├── Log4jTestWatcher.java │ │ ├── RascalModuleRunner.java │ │ ├── extensions │ │ ├── TestAsyncExtension.java │ │ ├── TestBacktrackingExtension.java │ │ ├── TestIterExtension.java │ │ ├── TestMaybeExtension.java │ │ ├── TestSolveExtension.java │ │ ├── TestStreamExtension.java │ │ └── TestUsingExtension.java │ │ └── virtualization │ │ ├── TestVirtualization.java │ │ └── TestVirtualizationExpressions.java │ └── resources │ ├── log4j2.xml │ └── test ├── resources ├── SWUL.png └── recaf.png ├── testgen └── testnogen /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/.gitignore -------------------------------------------------------------------------------- /.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/.project -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/.travis.yml -------------------------------------------------------------------------------- /LICENSE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/LICENSE.md -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/README.md -------------------------------------------------------------------------------- /pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/pom.xml -------------------------------------------------------------------------------- /recaf-desugar/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-desugar/.classpath -------------------------------------------------------------------------------- /recaf-desugar/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-desugar/.project -------------------------------------------------------------------------------- /recaf-desugar/META-INF/MANIFEST.MF: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-desugar/META-INF/MANIFEST.MF -------------------------------------------------------------------------------- /recaf-desugar/META-INF/RASCAL.MF: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-desugar/META-INF/RASCAL.MF -------------------------------------------------------------------------------- /recaf-desugar/build.properties: -------------------------------------------------------------------------------- 1 | bin.includes = META-INF/ 2 | -------------------------------------------------------------------------------- /recaf-desugar/input-paper/TestDebug.recaf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-desugar/input-paper/TestDebug.recaf -------------------------------------------------------------------------------- /recaf-desugar/input-paper/TestQL.recaf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-desugar/input-paper/TestQL.recaf -------------------------------------------------------------------------------- /recaf-desugar/input-paper/TestUsingWithError.recaf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-desugar/input-paper/TestUsingWithError.recaf -------------------------------------------------------------------------------- /recaf-desugar/input/BaseTestExprFieldSuper.recaf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-desugar/input/BaseTestExprFieldSuper.recaf -------------------------------------------------------------------------------- /recaf-desugar/input/BaseTestExprInvokeSuper.recaf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-desugar/input/BaseTestExprInvokeSuper.recaf -------------------------------------------------------------------------------- /recaf-desugar/input/PStream.recaf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-desugar/input/PStream.recaf -------------------------------------------------------------------------------- /recaf-desugar/input/TestAsyncComplex.recaf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-desugar/input/TestAsyncComplex.recaf -------------------------------------------------------------------------------- /recaf-desugar/input/TestAsyncComplex2.recaf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-desugar/input/TestAsyncComplex2.recaf -------------------------------------------------------------------------------- /recaf-desugar/input/TestAsyncNoAwait.recaf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-desugar/input/TestAsyncNoAwait.recaf -------------------------------------------------------------------------------- /recaf-desugar/input/TestAsyncWithAwait.recaf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-desugar/input/TestAsyncWithAwait.recaf -------------------------------------------------------------------------------- /recaf-desugar/input/TestBacktracking.recaf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-desugar/input/TestBacktracking.recaf -------------------------------------------------------------------------------- /recaf-desugar/input/TestComeFrom.recaf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-desugar/input/TestComeFrom.recaf -------------------------------------------------------------------------------- /recaf-desugar/input/TestCoroutine.recaf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-desugar/input/TestCoroutine.recaf -------------------------------------------------------------------------------- /recaf-desugar/input/TestDef.recaf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-desugar/input/TestDef.recaf -------------------------------------------------------------------------------- /recaf-desugar/input/TestExprAnd.recaf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-desugar/input/TestExprAnd.recaf -------------------------------------------------------------------------------- /recaf-desugar/input/TestExprFieldSuper.recaf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-desugar/input/TestExprFieldSuper.recaf -------------------------------------------------------------------------------- /recaf-desugar/input/TestExprInheritanceMethodLookup.recaf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-desugar/input/TestExprInheritanceMethodLookup.recaf -------------------------------------------------------------------------------- /recaf-desugar/input/TestExprInvokeSuper.recaf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-desugar/input/TestExprInvokeSuper.recaf -------------------------------------------------------------------------------- /recaf-desugar/input/TestExprNoConstructor.recaf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-desugar/input/TestExprNoConstructor.recaf -------------------------------------------------------------------------------- /recaf-desugar/input/TestExprPlus.recaf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-desugar/input/TestExprPlus.recaf -------------------------------------------------------------------------------- /recaf-desugar/input/TestExprPrivateConstructor.recaf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-desugar/input/TestExprPrivateConstructor.recaf -------------------------------------------------------------------------------- /recaf-desugar/input/TestExprSimpleMethodLookup.recaf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-desugar/input/TestExprSimpleMethodLookup.recaf -------------------------------------------------------------------------------- /recaf-desugar/input/TestFibIter.recaf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-desugar/input/TestFibIter.recaf -------------------------------------------------------------------------------- /recaf-desugar/input/TestFibIter2.recaf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-desugar/input/TestFibIter2.recaf -------------------------------------------------------------------------------- /recaf-desugar/input/TestFibMemo.recaf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-desugar/input/TestFibMemo.recaf -------------------------------------------------------------------------------- /recaf-desugar/input/TestFibRecAsync.recaf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-desugar/input/TestFibRecAsync.recaf -------------------------------------------------------------------------------- /recaf-desugar/input/TestFor_noBreak.recaf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-desugar/input/TestFor_noBreak.recaf -------------------------------------------------------------------------------- /recaf-desugar/input/TestFor_ordinary.recaf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-desugar/input/TestFor_ordinary.recaf -------------------------------------------------------------------------------- /recaf-desugar/input/TestFor_withBreak.recaf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-desugar/input/TestFor_withBreak.recaf -------------------------------------------------------------------------------- /recaf-desugar/input/TestGUI.recaf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-desugar/input/TestGUI.recaf -------------------------------------------------------------------------------- /recaf-desugar/input/TestGUI2.recaf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-desugar/input/TestGUI2.recaf -------------------------------------------------------------------------------- /recaf-desugar/input/TestIter.recaf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-desugar/input/TestIter.recaf -------------------------------------------------------------------------------- /recaf-desugar/input/TestIter_YieldEachRec.recaf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-desugar/input/TestIter_YieldEachRec.recaf -------------------------------------------------------------------------------- /recaf-desugar/input/TestLocals.recaf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-desugar/input/TestLocals.recaf -------------------------------------------------------------------------------- /recaf-desugar/input/TestMaybe.recaf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-desugar/input/TestMaybe.recaf -------------------------------------------------------------------------------- /recaf-desugar/input/TestOrElse.recaf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-desugar/input/TestOrElse.recaf -------------------------------------------------------------------------------- /recaf-desugar/input/TestPEG.recaf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-desugar/input/TestPEG.recaf -------------------------------------------------------------------------------- /recaf-desugar/input/TestPropagate.recaf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-desugar/input/TestPropagate.recaf -------------------------------------------------------------------------------- /recaf-desugar/input/TestPullStreams.recaf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-desugar/input/TestPullStreams.recaf -------------------------------------------------------------------------------- /recaf-desugar/input/TestSWUL.recaf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-desugar/input/TestSWUL.recaf -------------------------------------------------------------------------------- /recaf-desugar/input/TestSecurity.recaf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-desugar/input/TestSecurity.recaf -------------------------------------------------------------------------------- /recaf-desugar/input/TestSimple.recaf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-desugar/input/TestSimple.recaf -------------------------------------------------------------------------------- /recaf-desugar/input/TestSolve.recaf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-desugar/input/TestSolve.recaf -------------------------------------------------------------------------------- /recaf-desugar/input/TestSolve_alldifferent.recaf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-desugar/input/TestSolve_alldifferent.recaf -------------------------------------------------------------------------------- /recaf-desugar/input/TestStream_Complex.recaf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-desugar/input/TestStream_Complex.recaf -------------------------------------------------------------------------------- /recaf-desugar/input/TestStream_with_await.recaf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-desugar/input/TestStream_with_await.recaf -------------------------------------------------------------------------------- /recaf-desugar/input/TestStream_with_awaitFor.recaf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-desugar/input/TestStream_with_awaitFor.recaf -------------------------------------------------------------------------------- /recaf-desugar/input/TestStream_with_yield.recaf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-desugar/input/TestStream_with_yield.recaf -------------------------------------------------------------------------------- /recaf-desugar/input/TestStream_with_yieldFrom.recaf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-desugar/input/TestStream_with_yieldFrom.recaf -------------------------------------------------------------------------------- /recaf-desugar/input/TestSwitch_break_default_beginning.recaf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-desugar/input/TestSwitch_break_default_beginning.recaf -------------------------------------------------------------------------------- /recaf-desugar/input/TestSwitch_break_first.recaf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-desugar/input/TestSwitch_break_first.recaf -------------------------------------------------------------------------------- /recaf-desugar/input/TestSwitch_break_second.recaf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-desugar/input/TestSwitch_break_second.recaf -------------------------------------------------------------------------------- /recaf-desugar/input/TestSwitch_break_second_withdefault.recaf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-desugar/input/TestSwitch_break_second_withdefault.recaf -------------------------------------------------------------------------------- /recaf-desugar/input/TestSwitch_nested_default_beginning.recaf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-desugar/input/TestSwitch_nested_default_beginning.recaf -------------------------------------------------------------------------------- /recaf-desugar/input/TestSwitch_no_break.recaf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-desugar/input/TestSwitch_no_break.recaf -------------------------------------------------------------------------------- /recaf-desugar/input/TestUsing.recaf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-desugar/input/TestUsing.recaf -------------------------------------------------------------------------------- /recaf-desugar/input/TestWeb.recaf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-desugar/input/TestWeb.recaf -------------------------------------------------------------------------------- /recaf-desugar/input/TestWhile_no_break.recaf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-desugar/input/TestWhile_no_break.recaf -------------------------------------------------------------------------------- /recaf-desugar/input/TestWhile_withBreak.recaf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-desugar/input/TestWhile_withBreak.recaf -------------------------------------------------------------------------------- /recaf-desugar/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-desugar/pom.xml -------------------------------------------------------------------------------- /recaf-desugar/src/Plugin.rsc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-desugar/src/Plugin.rsc -------------------------------------------------------------------------------- /recaf-desugar/src/lang/java/Java8.rsc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-desugar/src/lang/java/Java8.rsc -------------------------------------------------------------------------------- /recaf-desugar/src/lang/recaf/DesugarMain.rsc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-desugar/src/lang/recaf/DesugarMain.rsc -------------------------------------------------------------------------------- /recaf-desugar/src/lang/recaf/Recaf.rsc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-desugar/src/lang/recaf/Recaf.rsc -------------------------------------------------------------------------------- /recaf-desugar/src/lang/recaf/TypeCheck.rsc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-desugar/src/lang/recaf/TypeCheck.rsc -------------------------------------------------------------------------------- /recaf-desugar/src/lang/recaf/desugar/Expr.rsc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-desugar/src/lang/recaf/desugar/Expr.rsc -------------------------------------------------------------------------------- /recaf-desugar/src/lang/recaf/desugar/RecafFull.rsc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-desugar/src/lang/recaf/desugar/RecafFull.rsc -------------------------------------------------------------------------------- /recaf-desugar/src/lang/recaf/desugar/RecafStmts.rsc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-desugar/src/lang/recaf/desugar/RecafStmts.rsc -------------------------------------------------------------------------------- /recaf-desugar/src/lang/recaf/desugar/Recaffeinate.rsc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-desugar/src/lang/recaf/desugar/Recaffeinate.rsc -------------------------------------------------------------------------------- /recaf-desugar/src/lang/recaf/desugar/Stmt.rsc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-desugar/src/lang/recaf/desugar/Stmt.rsc -------------------------------------------------------------------------------- /recaf-desugar/src/lang/recaf/desugar/Util.rsc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-desugar/src/lang/recaf/desugar/Util.rsc -------------------------------------------------------------------------------- /recaf-runtime/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/.classpath -------------------------------------------------------------------------------- /recaf-runtime/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/.project -------------------------------------------------------------------------------- /recaf-runtime/build.properties: -------------------------------------------------------------------------------- 1 | bin.includes = META-INF/ 2 | -------------------------------------------------------------------------------- /recaf-runtime/libs/rascal-shell-stable.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/libs/rascal-shell-stable.jar -------------------------------------------------------------------------------- /recaf-runtime/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/pom.xml -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/core/ISupply.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/core/ISupply.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/core/Ref.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/core/Ref.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/core/alg/JavaExprAlg.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/core/alg/JavaExprAlg.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/core/alg/JavaMethodAlg.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/core/alg/JavaMethodAlg.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/core/alg/JavaStmtAlg.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/core/alg/JavaStmtAlg.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/core/alg/JavaStmtOnlyAlg.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/core/alg/JavaStmtOnlyAlg.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/core/cps/CD.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/core/cps/CD.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/core/cps/EvalJavaStmt.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/core/cps/EvalJavaStmt.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/core/cps/K.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/core/cps/K.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/core/cps/K0.java: -------------------------------------------------------------------------------- 1 | package recaf.core.cps; 2 | 3 | public interface K0 { 4 | void call(); 5 | } 6 | -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/core/cps/SD.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/core/cps/SD.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/core/cps/StmtJavaCPS.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/core/cps/StmtJavaCPS.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/core/direct/EvalJavaStmt.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/core/direct/EvalJavaStmt.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/core/direct/ICase.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/core/direct/ICase.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/core/direct/IEval.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/core/direct/IEval.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/core/direct/IExec.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/core/direct/IExec.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/core/direct/StmtJavaDirect.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/core/direct/StmtJavaDirect.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/core/expr/EvalJavaExpr.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/core/expr/EvalJavaExpr.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/core/expr/EvalJavaHelper.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/core/expr/EvalJavaHelper.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/core/expr/IRef.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/core/expr/IRef.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/core/expr/ReflectRef.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/core/expr/ReflectRef.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/core/full/FullJavaCPS.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/core/full/FullJavaCPS.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/core/full/FullJavaDirect.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/core/full/FullJavaDirect.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/core/full/JavaStmtAlgAdapter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/core/full/JavaStmtAlgAdapter.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/demo/constraint/Solve.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/demo/constraint/Solve.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/demo/cps/Async.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/demo/cps/Async.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/demo/cps/AsyncFull.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/demo/cps/AsyncFull.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/demo/cps/Backtrack.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/demo/cps/Backtrack.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/demo/cps/ComeFrom.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/demo/cps/ComeFrom.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/demo/cps/Coroutine.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/demo/cps/Coroutine.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/demo/cps/Iter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/demo/cps/Iter.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/demo/cps/IterFull.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/demo/cps/IterFull.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/demo/cps/Maybe.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/demo/cps/Maybe.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/demo/cps/ParFor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/demo/cps/ParFor.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/demo/cps/Propagate.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/demo/cps/Propagate.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/demo/cps/StreamExt.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/demo/cps/StreamExt.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/demo/direct/App.java: -------------------------------------------------------------------------------- 1 | package recaf.demo.direct; 2 | 3 | public interface App { 4 | 5 | } 6 | -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/demo/direct/GUI.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/demo/direct/GUI.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/demo/direct/LINQ.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/demo/direct/LINQ.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/demo/direct/Logging.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/demo/direct/Logging.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/demo/direct/Maybe.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/demo/direct/Maybe.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/demo/direct/Memo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/demo/direct/Memo.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/demo/direct/MemoizableCall.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/demo/direct/MemoizableCall.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/demo/direct/OrElse.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/demo/direct/OrElse.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/demo/direct/Policy.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/demo/direct/Policy.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/demo/direct/Security.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/demo/direct/Security.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/demo/direct/Student.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/demo/direct/Student.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/demo/direct/StudentPolicy.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/demo/direct/StudentPolicy.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/demo/direct/Using.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/demo/direct/Using.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/demo/generic/Times.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/demo/generic/Times.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/demo/generic/Unless.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/demo/generic/Unless.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/demo/generic/Until.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/demo/generic/Until.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/demo/pegs/Fail.java: -------------------------------------------------------------------------------- 1 | package recaf.demo.pegs; 2 | 3 | public class Fail extends RuntimeException { 4 | 5 | } 6 | -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/demo/pegs/MemoPEG.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/demo/pegs/MemoPEG.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/demo/pegs/PEG.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/demo/pegs/PEG.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/demo/pegs/PEGwithLayout.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/demo/pegs/PEGwithLayout.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/demo/pegs/Parser.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/demo/pegs/Parser.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/demo/pegs/Result.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/demo/pegs/Result.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/demo/swul/SWUL.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/demo/swul/SWUL.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/demo/web/Web.java: -------------------------------------------------------------------------------- 1 | package recaf.demo.web; 2 | 3 | -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/paper/access/Policy.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/paper/access/Policy.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/paper/access/Security.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/paper/access/Security.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/paper/access/StudentPolicy.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/paper/access/StudentPolicy.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/paper/demo/Backtrack.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/paper/demo/Backtrack.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/paper/demo/BacktrackFull.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/paper/demo/BacktrackFull.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/paper/demo/Debug.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/paper/demo/Debug.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/paper/demo/GUI.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/paper/demo/GUI.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/paper/demo/GUIImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/paper/demo/GUIImpl.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/paper/demo/Goto.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/paper/demo/Goto.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/paper/demo/HTTPRequest.java: -------------------------------------------------------------------------------- 1 | package recaf.paper.demo; 2 | 3 | public class HTTPRequest { 4 | 5 | } 6 | -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/paper/demo/HTTPResponse.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/paper/demo/HTTPResponse.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/paper/demo/Maybe.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/paper/demo/Maybe.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/paper/demo/Memo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/paper/demo/Memo.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/paper/demo/OrElse.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/paper/demo/OrElse.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/paper/demo/Times.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/paper/demo/Times.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/paper/demo/ToAST.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/paper/demo/ToAST.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/paper/demo/ToJS.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/paper/demo/ToJS.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/paper/demo/Tracing.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/paper/demo/Tracing.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/paper/demo/Unless.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/paper/demo/Unless.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/paper/demo/ast/Decl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/paper/demo/ast/Decl.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/paper/demo/ast/Empty.java: -------------------------------------------------------------------------------- 1 | package recaf.paper.demo.ast; 2 | 3 | public class Empty extends Stm { 4 | 5 | } 6 | -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/paper/demo/ast/Exp.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/paper/demo/ast/Exp.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/paper/demo/ast/Expr.java: -------------------------------------------------------------------------------- 1 | package recaf.paper.demo.ast; 2 | 3 | public abstract class Expr { 4 | 5 | } 6 | -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/paper/demo/ast/Field.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/paper/demo/ast/Field.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/paper/demo/ast/For.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/paper/demo/ast/For.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/paper/demo/ast/If.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/paper/demo/ast/If.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/paper/demo/ast/Invoke.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/paper/demo/ast/Invoke.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/paper/demo/ast/Lambda.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/paper/demo/ast/Lambda.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/paper/demo/ast/Lit.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/paper/demo/ast/Lit.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/paper/demo/ast/New.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/paper/demo/ast/New.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/paper/demo/ast/Return.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/paper/demo/ast/Return.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/paper/demo/ast/Seq.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/paper/demo/ast/Seq.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/paper/demo/ast/Stm.java: -------------------------------------------------------------------------------- 1 | package recaf.paper.demo.ast; 2 | 3 | public abstract class Stm { 4 | 5 | } 6 | -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/paper/demo/ast/This.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/paper/demo/ast/This.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/paper/demo/ast/Var.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/paper/demo/ast/Var.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/paper/expr/IEval.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/paper/expr/IEval.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/paper/expr/MuExpJava.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/paper/expr/MuExpJava.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/paper/expr/MuExpJavaBase.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/paper/expr/MuExpJavaBase.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/paper/expr/MuExpJavaZip.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/paper/expr/MuExpJavaZip.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/paper/expr/Pair.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/paper/expr/Pair.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/paper/expr/Print.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/paper/expr/Print.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/paper/expr/PrintAndEval.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/paper/expr/PrintAndEval.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/paper/expr/PrintAndEvalManual.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/paper/expr/PrintAndEvalManual.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/paper/full/FullMuJava.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/paper/full/FullMuJava.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/paper/full/FullMuJavaCPS.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/paper/full/FullMuJavaCPS.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/paper/full/FullMuJavaCPSManual.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/paper/full/FullMuJavaCPSManual.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/paper/full/FullMuJavaDirect.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/paper/full/FullMuJavaDirect.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/paper/full/FullMuJavaDirectManual.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/paper/full/FullMuJavaDirectManual.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/paper/full/MuStmIEvalJavaAdapter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/paper/full/MuStmIEvalJavaAdapter.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/paper/full/MuStmJava.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/paper/full/MuStmJava.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/paper/full/MuStmJavaAdapter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/paper/full/MuStmJavaAdapter.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/paper/full/MuStmJavaManualAdapter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/paper/full/MuStmJavaManualAdapter.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/paper/full/MuStmPrintEvalAdapter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/paper/full/MuStmPrintEvalAdapter.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/paper/methods/MuJavaMethod.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/paper/methods/MuJavaMethod.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/paper/methods/TPCPS.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/paper/methods/TPCPS.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/paper/methods/TPDirect.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/paper/methods/TPDirect.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/paper/methods/ToOptional.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/paper/methods/ToOptional.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/paper/stm/IExec.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/paper/stm/IExec.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/paper/stm/MuJava.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/paper/stm/MuJava.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/paper/stm/MuJavaBase.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/paper/stm/MuJavaBase.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/paper/stm/MuJavaCPS.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/paper/stm/MuJavaCPS.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/paper/stm/Return.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/paper/stm/Return.java -------------------------------------------------------------------------------- /recaf-runtime/src/main/java/recaf/paper/stm/SD.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/main/java/recaf/paper/stm/SD.java -------------------------------------------------------------------------------- /recaf-runtime/src/test-generated/generated/BaseTestExprFieldSuper.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/test-generated/generated/BaseTestExprFieldSuper.java -------------------------------------------------------------------------------- /recaf-runtime/src/test-generated/generated/BaseTestExprInvokeSuper.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/test-generated/generated/BaseTestExprInvokeSuper.java -------------------------------------------------------------------------------- /recaf-runtime/src/test-generated/generated/PStream.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/test-generated/generated/PStream.java -------------------------------------------------------------------------------- /recaf-runtime/src/test-generated/generated/TestAsyncComplex.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/test-generated/generated/TestAsyncComplex.java -------------------------------------------------------------------------------- /recaf-runtime/src/test-generated/generated/TestAsyncComplex2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/test-generated/generated/TestAsyncComplex2.java -------------------------------------------------------------------------------- /recaf-runtime/src/test-generated/generated/TestAsyncNoAwait.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/test-generated/generated/TestAsyncNoAwait.java -------------------------------------------------------------------------------- /recaf-runtime/src/test-generated/generated/TestAsyncWithAwait.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/test-generated/generated/TestAsyncWithAwait.java -------------------------------------------------------------------------------- /recaf-runtime/src/test-generated/generated/TestBacktracking.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/test-generated/generated/TestBacktracking.java -------------------------------------------------------------------------------- /recaf-runtime/src/test-generated/generated/TestComeFrom.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/test-generated/generated/TestComeFrom.java -------------------------------------------------------------------------------- /recaf-runtime/src/test-generated/generated/TestCoroutine.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/test-generated/generated/TestCoroutine.java -------------------------------------------------------------------------------- /recaf-runtime/src/test-generated/generated/TestDebug.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/test-generated/generated/TestDebug.java -------------------------------------------------------------------------------- /recaf-runtime/src/test-generated/generated/TestDef.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/test-generated/generated/TestDef.java -------------------------------------------------------------------------------- /recaf-runtime/src/test-generated/generated/TestExprAnd.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/test-generated/generated/TestExprAnd.java -------------------------------------------------------------------------------- /recaf-runtime/src/test-generated/generated/TestExprFieldSuper.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/test-generated/generated/TestExprFieldSuper.java -------------------------------------------------------------------------------- /recaf-runtime/src/test-generated/generated/TestExprInheritanceMethodLookup.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/test-generated/generated/TestExprInheritanceMethodLookup.java -------------------------------------------------------------------------------- /recaf-runtime/src/test-generated/generated/TestExprInvokeSuper.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/test-generated/generated/TestExprInvokeSuper.java -------------------------------------------------------------------------------- /recaf-runtime/src/test-generated/generated/TestExprNoConstructor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/test-generated/generated/TestExprNoConstructor.java -------------------------------------------------------------------------------- /recaf-runtime/src/test-generated/generated/TestExprPlus.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/test-generated/generated/TestExprPlus.java -------------------------------------------------------------------------------- /recaf-runtime/src/test-generated/generated/TestExprPrivateConstructor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/test-generated/generated/TestExprPrivateConstructor.java -------------------------------------------------------------------------------- /recaf-runtime/src/test-generated/generated/TestExprSimpleMethodLookup.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/test-generated/generated/TestExprSimpleMethodLookup.java -------------------------------------------------------------------------------- /recaf-runtime/src/test-generated/generated/TestFibIter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/test-generated/generated/TestFibIter.java -------------------------------------------------------------------------------- /recaf-runtime/src/test-generated/generated/TestFibIter2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/test-generated/generated/TestFibIter2.java -------------------------------------------------------------------------------- /recaf-runtime/src/test-generated/generated/TestFibMemo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/test-generated/generated/TestFibMemo.java -------------------------------------------------------------------------------- /recaf-runtime/src/test-generated/generated/TestFibRecAsync.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/test-generated/generated/TestFibRecAsync.java -------------------------------------------------------------------------------- /recaf-runtime/src/test-generated/generated/TestFor_noBreak.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/test-generated/generated/TestFor_noBreak.java -------------------------------------------------------------------------------- /recaf-runtime/src/test-generated/generated/TestFor_ordinary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/test-generated/generated/TestFor_ordinary.java -------------------------------------------------------------------------------- /recaf-runtime/src/test-generated/generated/TestFor_withBreak.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/test-generated/generated/TestFor_withBreak.java -------------------------------------------------------------------------------- /recaf-runtime/src/test-generated/generated/TestGUI.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/test-generated/generated/TestGUI.java -------------------------------------------------------------------------------- /recaf-runtime/src/test-generated/generated/TestGUI2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/test-generated/generated/TestGUI2.java -------------------------------------------------------------------------------- /recaf-runtime/src/test-generated/generated/TestIter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/test-generated/generated/TestIter.java -------------------------------------------------------------------------------- /recaf-runtime/src/test-generated/generated/TestIter_YieldEachRec.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/test-generated/generated/TestIter_YieldEachRec.java -------------------------------------------------------------------------------- /recaf-runtime/src/test-generated/generated/TestLocals.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/test-generated/generated/TestLocals.java -------------------------------------------------------------------------------- /recaf-runtime/src/test-generated/generated/TestMaybe.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/test-generated/generated/TestMaybe.java -------------------------------------------------------------------------------- /recaf-runtime/src/test-generated/generated/TestOrElse.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/test-generated/generated/TestOrElse.java -------------------------------------------------------------------------------- /recaf-runtime/src/test-generated/generated/TestPEG.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/test-generated/generated/TestPEG.java -------------------------------------------------------------------------------- /recaf-runtime/src/test-generated/generated/TestPropagate.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/test-generated/generated/TestPropagate.java -------------------------------------------------------------------------------- /recaf-runtime/src/test-generated/generated/TestPullStreams.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/test-generated/generated/TestPullStreams.java -------------------------------------------------------------------------------- /recaf-runtime/src/test-generated/generated/TestQL.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/test-generated/generated/TestQL.java -------------------------------------------------------------------------------- /recaf-runtime/src/test-generated/generated/TestSWUL.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/test-generated/generated/TestSWUL.java -------------------------------------------------------------------------------- /recaf-runtime/src/test-generated/generated/TestSecurity.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/test-generated/generated/TestSecurity.java -------------------------------------------------------------------------------- /recaf-runtime/src/test-generated/generated/TestSimple.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/test-generated/generated/TestSimple.java -------------------------------------------------------------------------------- /recaf-runtime/src/test-generated/generated/TestSolve.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/test-generated/generated/TestSolve.java -------------------------------------------------------------------------------- /recaf-runtime/src/test-generated/generated/TestSolve_alldifferent.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/test-generated/generated/TestSolve_alldifferent.java -------------------------------------------------------------------------------- /recaf-runtime/src/test-generated/generated/TestStream_Complex.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/test-generated/generated/TestStream_Complex.java -------------------------------------------------------------------------------- /recaf-runtime/src/test-generated/generated/TestStream_with_await.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/test-generated/generated/TestStream_with_await.java -------------------------------------------------------------------------------- /recaf-runtime/src/test-generated/generated/TestStream_with_awaitFor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/test-generated/generated/TestStream_with_awaitFor.java -------------------------------------------------------------------------------- /recaf-runtime/src/test-generated/generated/TestStream_with_yield.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/test-generated/generated/TestStream_with_yield.java -------------------------------------------------------------------------------- /recaf-runtime/src/test-generated/generated/TestStream_with_yieldFrom.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/test-generated/generated/TestStream_with_yieldFrom.java -------------------------------------------------------------------------------- /recaf-runtime/src/test-generated/generated/TestSwitch_break_default_beginning.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/test-generated/generated/TestSwitch_break_default_beginning.java -------------------------------------------------------------------------------- /recaf-runtime/src/test-generated/generated/TestSwitch_break_first.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/test-generated/generated/TestSwitch_break_first.java -------------------------------------------------------------------------------- /recaf-runtime/src/test-generated/generated/TestSwitch_break_second.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/test-generated/generated/TestSwitch_break_second.java -------------------------------------------------------------------------------- /recaf-runtime/src/test-generated/generated/TestSwitch_break_second_withdefault.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/test-generated/generated/TestSwitch_break_second_withdefault.java -------------------------------------------------------------------------------- /recaf-runtime/src/test-generated/generated/TestSwitch_nested_default_beginning.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/test-generated/generated/TestSwitch_nested_default_beginning.java -------------------------------------------------------------------------------- /recaf-runtime/src/test-generated/generated/TestSwitch_no_break.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/test-generated/generated/TestSwitch_no_break.java -------------------------------------------------------------------------------- /recaf-runtime/src/test-generated/generated/TestUsing.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/test-generated/generated/TestUsing.java -------------------------------------------------------------------------------- /recaf-runtime/src/test-generated/generated/TestUsingWithError.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/test-generated/generated/TestUsingWithError.java -------------------------------------------------------------------------------- /recaf-runtime/src/test-generated/generated/TestWeb.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/test-generated/generated/TestWeb.java -------------------------------------------------------------------------------- /recaf-runtime/src/test-generated/generated/TestWhile_no_break.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/test-generated/generated/TestWhile_no_break.java -------------------------------------------------------------------------------- /recaf-runtime/src/test-generated/generated/TestWhile_withBreak.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/test-generated/generated/TestWhile_withBreak.java -------------------------------------------------------------------------------- /recaf-runtime/src/test/java/recaf/tests/BaseTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/test/java/recaf/tests/BaseTest.java -------------------------------------------------------------------------------- /recaf-runtime/src/test/java/recaf/tests/CompiletimeException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/test/java/recaf/tests/CompiletimeException.java -------------------------------------------------------------------------------- /recaf-runtime/src/test/java/recaf/tests/Log4jTestWatcher.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/test/java/recaf/tests/Log4jTestWatcher.java -------------------------------------------------------------------------------- /recaf-runtime/src/test/java/recaf/tests/RascalModuleRunner.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/test/java/recaf/tests/RascalModuleRunner.java -------------------------------------------------------------------------------- /recaf-runtime/src/test/java/recaf/tests/extensions/TestAsyncExtension.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/test/java/recaf/tests/extensions/TestAsyncExtension.java -------------------------------------------------------------------------------- /recaf-runtime/src/test/java/recaf/tests/extensions/TestBacktrackingExtension.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/test/java/recaf/tests/extensions/TestBacktrackingExtension.java -------------------------------------------------------------------------------- /recaf-runtime/src/test/java/recaf/tests/extensions/TestIterExtension.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/test/java/recaf/tests/extensions/TestIterExtension.java -------------------------------------------------------------------------------- /recaf-runtime/src/test/java/recaf/tests/extensions/TestMaybeExtension.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/test/java/recaf/tests/extensions/TestMaybeExtension.java -------------------------------------------------------------------------------- /recaf-runtime/src/test/java/recaf/tests/extensions/TestSolveExtension.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/test/java/recaf/tests/extensions/TestSolveExtension.java -------------------------------------------------------------------------------- /recaf-runtime/src/test/java/recaf/tests/extensions/TestStreamExtension.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/test/java/recaf/tests/extensions/TestStreamExtension.java -------------------------------------------------------------------------------- /recaf-runtime/src/test/java/recaf/tests/extensions/TestUsingExtension.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/test/java/recaf/tests/extensions/TestUsingExtension.java -------------------------------------------------------------------------------- /recaf-runtime/src/test/java/recaf/tests/virtualization/TestVirtualization.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/test/java/recaf/tests/virtualization/TestVirtualization.java -------------------------------------------------------------------------------- /recaf-runtime/src/test/java/recaf/tests/virtualization/TestVirtualizationExpressions.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/test/java/recaf/tests/virtualization/TestVirtualizationExpressions.java -------------------------------------------------------------------------------- /recaf-runtime/src/test/resources/log4j2.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/recaf-runtime/src/test/resources/log4j2.xml -------------------------------------------------------------------------------- /recaf-runtime/src/test/resources/test: -------------------------------------------------------------------------------- 1 | test -------------------------------------------------------------------------------- /resources/SWUL.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/resources/SWUL.png -------------------------------------------------------------------------------- /resources/recaf.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/resources/recaf.png -------------------------------------------------------------------------------- /testgen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/testgen -------------------------------------------------------------------------------- /testnogen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cwi-swat/recaf/HEAD/testnogen --------------------------------------------------------------------------------