1
0

Compare commits

...

127 Commits

Author SHA1 Message Date
1f74345324 Upload test for 2024-03-19 15:19:57 +01:00
518f58e08f Maybe null here was in fact right? 2024-03-18 13:40:37 +01:00
0acfe6c0d4 Implement ThisCall (fix ) 2024-03-18 13:29:53 +01:00
c07d4d36e9 Fix wrong type conversion, see 2024-03-18 12:14:03 +01:00
01e374eadd Fix 2024-03-18 10:14:40 +01:00
a1b5c0541b Fix NPE in generics, probably because interface method don't have code 2024-03-15 17:14:27 +01:00
66c8c307b0 Fix recursive packages 2024-03-14 15:23:31 +01:00
ebd6a00a39 Fix the rest of the test cases 2024-03-14 14:38:02 +01:00
f57d89c966 Manage imports per source file instead of globally, should fix 2024-03-14 13:51:20 +01:00
f9188e65ca Public all the things 2024-03-14 13:50:56 +01:00
e354838491 Use wildcard constraint in foreach, fixes and hopefully doesn't break anything 2024-03-14 10:23:19 +01:00
e17f08263e Fix <?> Wildcard not working in STG, fixes 2024-03-13 11:42:32 +01:00
2cb84f9e2b Ignore annotations in STG, fix 2024-03-13 11:29:17 +01:00
83ae05ea4a Fix 2024-03-13 11:21:00 +01:00
26452eb5de Fix 2024-03-11 16:16:10 +01:00
38827544c9 Split up test and compile to improve readability 2024-03-08 17:33:49 +01:00
ff905390e8 Limit stack traces 2024-03-08 17:30:01 +01:00
2d9094ec4e Redirect test output to file in order for the test output to be visible on gitea 2024-03-08 17:20:54 +01:00
e27eb3a3fe Fix 2024-03-08 16:58:00 +01:00
73ca790711 Create folder 2024-03-08 15:26:40 +01:00
452064398a Update actions 2024-03-08 15:08:45 +01:00
20d6cb8eb9 Remove sudo? 2024-03-08 15:05:02 +01:00
b7f1db5d80 Update workflow 2024-03-08 15:00:17 +01:00
b327518921 Update workflow 2024-03-08 14:54:58 +01:00
945b47c762 Fix 2024-03-08 14:42:49 +01:00
65a71ebe0c Add test for and partially fix it 2024-03-08 14:00:52 +01:00
deeb67c4f7 Add test workflow 2024-03-07 14:41:50 +01:00
c92edeaf2a Merge branch 'targetBytecode' of ssh://gohorb.ba-horb.de:/bahome/projekt/git/JavaCompilerCore into targetBytecode 2024-03-07 10:44:37 +01:00
01e3d31f1a Add Object methods to every interface, fixes 2024-03-06 14:10:57 +01:00
a90e9df1e8 Fix regression 2024-03-05 10:26:30 +01:00
1c1f5ae29f Merge branch 'targetBytecode' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into targetBytecode 2024-03-04 19:37:40 +01:00
8ab5bbd831 modified: src/test/java/AllgemeinTest.java 2024-03-04 19:37:10 +01:00
1877d7f170 Add test for 2024-03-04 12:19:56 +01:00
388614b220 Add testcase for LamRunnable 2024-03-04 12:00:29 +01:00
f2e43f180c Add test for issue 2024-03-04 11:51:28 +01:00
59585296b0 Fix single expressions not converting to blocks. Fixes 2024-03-04 11:30:36 +01:00
f11d4b0716 Fix for loop overflowing the stack. Fixes 2024-03-04 10:58:26 +01:00
584690596e Add filename to debug output, closes 2024-03-01 17:34:40 +01:00
9c6372c3ba Thats probably important 2024-02-28 13:22:13 +01:00
688358aa33 Add more debug help 2024-02-28 13:16:32 +01:00
a60282414c Add location information to constraints 2024-02-27 16:25:47 +01:00
75b9020cf9 Fix up Character 2024-02-26 15:02:15 +01:00
e88d4428c5 Fix constructor overloads getting picked with the wrong arity 2024-02-05 15:24:06 +01:00
dcfafe5995 Fix null literal 2024-02-05 14:46:00 +01:00
a035589647 Implement throw 2024-02-01 11:58:08 +01:00
9da763b361 Add instanceof 2024-01-31 17:27:18 +01:00
700ea125fc Throw different exception 2024-01-30 15:46:02 +01:00
f18903834e Fix super calls 2024-01-23 14:00:42 +01:00
b80cc726c8 Add ForEach loop 2024-01-19 16:29:59 +01:00
6cc40162da Merge branch 'targetBytecode' of gohorb.ba-horb.de:/bahome/projekt/git/JavaCompilerCore into targetBytecode 2023-12-15 13:49:35 +01:00
71899ac673 Please enter the commit message for your changes. Lines starting
with '#' will be ignored, and an empty message aborts the commit.
2023-12-15 13:47:25 +01:00
a84d1ffdd7 modified: ../src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
Resultmodell aktiviert
	modified:   ../src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
a < void und void < a => a = void.
2023-11-08 18:28:54 +01:00
a3d63a0266 modified: ../src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
modified:   ../src/test/java/TestComplete.java
2023-11-08 18:10:56 +01:00
dcc2da85c5 Merge branch 'targetBytecode' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into targetBytecode 2023-11-07 00:13:53 +01:00
6f193b19ab modified: src/main/java/de/dhbwstuttgart/parser/SyntaxTreeGenerator/SyntaxTreeGenerator.java
modified:   src/test/java/TestComplete.java
2023-11-07 00:13:43 +01:00
1c55954e5c Merge branch 'targetBytecode' of ssh://gohorb.ba-horb.de:/bahome/projekt/git/JavaCompilerCore into targetBytecode 2023-11-06 12:31:27 +01:00
ec04f01a10 Allow relative paths by getting the absolute file (seriously Java) 2023-11-06 12:30:42 +01:00
78a2fddc21 modified: ../../../../../resources/bytecode/javFiles/Cycle.class 2023-11-03 20:30:22 +01:00
44f8899157 Merge branch 'targetBytecode' of gohorb.ba-horb.de:/bahome/projekt/git/JavaCompilerCore into targetBytecode 2023-11-03 20:26:41 +01:00
d1a6dcbbac modified: core/JavaTXCompiler.java
modified:   typeinference/constraints/ConstraintSet.java
	modified:   typeinference/unify/TypeUnifyTask.java
2023-11-03 20:25:17 +01:00
15150fca9e modified: ../../../src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java 2023-11-03 18:56:31 +01:00
fba7f0ee81 Merge branch 'targetBytecode' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into targetBytecode 2023-11-03 18:42:09 +01:00
e0da2a4c46 modified: Cycle.class
modified:   LambdaRunnable.jav
	modified:   ../../../src/test/java/TestComplete.java
2023-11-03 18:41:17 +01:00
f588ece7c3 Fix up runnable 2023-11-03 15:45:14 +01:00
9ad5b76542 Fix up bad error handling 2023-11-03 10:26:43 +01:00
3d2c699964 Fix up functional interface 2023-11-02 15:46:40 +01:00
f95c3c5fcf Fix up method resolution 2023-11-02 15:25:25 +01:00
4654ecacaf Some changes in how overload resolution works 2023-11-02 13:07:42 +01:00
1be27746e3 Allow Void as return type for Lambdas 2023-10-31 14:26:43 +01:00
c51190feef Merge branch 'targetBytecode' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into targetBytecode 2023-10-27 21:19:30 +02:00
c4ce97f20c Anpassung zur Integration von Functional Interfaces und FunN$$-Typen
modified:   src/main/java/de/dhbwstuttgart/parser/SyntaxTreeGenerator/FCGenerator.java
	modified:   src/main/java/de/dhbwstuttgart/parser/SyntaxTreeGenerator/SyntaxTreeGenerator.java
	modified:   src/main/java/de/dhbwstuttgart/syntaxtree/ClassOrInterface.java
	modified:   src/main/java/de/dhbwstuttgart/syntaxtree/Record.java
	modified:   src/main/java/de/dhbwstuttgart/syntaxtree/factory/ASTFactory.java
	modified:   src/main/java/de/dhbwstuttgart/typeinference/assumptions/FunNClass.java
	modified:   src/main/java/de/dhbwstuttgart/typeinference/unify/RuleSet.java
	modified:   src/main/java/de/dhbwstuttgart/typeinference/unify/interfaces/IFiniteClosure.java
	modified:   src/main/java/de/dhbwstuttgart/typeinference/unify/model/FiniteClosure.java
	modified:   src/test/java/targetast/ASTToTypedTargetAST.java
2023-10-27 21:17:52 +02:00
837317c84c Make System.out.println work 2023-10-27 15:28:46 +02:00
df852ef36e Merge branch 'targetBytecode' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into targetBytecode 2023-10-27 14:33:21 +02:00
c00722823a Functional Interfaces und Funn&&-Typen integriert.
modified:   resources/bytecode/javFiles/LambdaRunnable.jav
	modified:   src/main/java/de/dhbwstuttgart/parser/SyntaxTreeGenerator/FCGenerator.java
	modified:   src/main/java/de/dhbwstuttgart/typeinference/unify/RuleSet.java
	modified:   src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
	modified:   src/main/java/de/dhbwstuttgart/typeinference/unify/interfaces/IFiniteClosure.java
	modified:   src/main/java/de/dhbwstuttgart/typeinference/unify/interfaces/IRuleSet.java
	modified:   src/main/java/de/dhbwstuttgart/typeinference/unify/model/FiniteClosure.java
	modified:   src/test/java/TestComplete.java
2023-10-27 14:29:27 +02:00
e31f1c59e1 Examples 2023-10-27 14:27:47 +02:00
5d0d7a6d94 Translate for loop 2023-10-24 17:34:06 +02:00
b372c6ac1c More work on static, references to other classes 2023-10-24 15:17:13 +02:00
124dea2e58 Static blocks (might be needed for something) 2023-10-24 12:05:19 +02:00
eaef00ff54 Static but no static blocks yet 2023-10-23 16:44:12 +02:00
892ba5fff0 Add interfaces 2023-10-19 17:02:22 +02:00
628f1631e8 Allow packages 2023-10-18 16:54:41 +02:00
0b815950e1 Remove empty files 2023-10-17 12:31:29 +02:00
f10e7e6d72 Merge branch 'targetBytecode' of ssh://gohorb.ba-horb.de:/bahome/projekt/git/JavaCompilerCore into targetBytecode 2023-10-17 12:27:52 +02:00
700ecf3e5d Changes from weeks ago, needs review 2023-10-17 12:26:40 +02:00
f7c53fc6c3 modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
Kommentar "In commit dfd91b5f8b eingefuegt" eingefuegt
2023-10-07 20:30:37 +02:00
9764ec6db1 Merge branch 'targetBytecode' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into targetBytecode 2023-10-07 07:24:59 +02:00
b21faa30fc new file: S2023_Luca_Trumpfheller.pdf 2023-10-05 15:52:48 +02:00
87f8b8799e modified: src/test/java/AllgemeinTest.java 2023-10-05 15:49:09 +02:00
769f1bb677 Progress on implementing the basic case 2023-09-01 18:26:01 +02:00
5623fdc020 Merge branch 'targetBytecode' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into targetBytecode 2023-09-01 17:20:34 +02:00
dfd91b5f8b TESTEN OB DAS SINN MACHT
modified:   src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
	modified:   src/test/java/AllgemeinTest.java
2023-09-01 17:18:51 +02:00
3c43978c55 Less general type 2023-09-01 12:51:06 +02:00
fb7b51a971 Point out what the goal translation is 2023-09-01 12:34:43 +02:00
56c360104b TripleTest 2023-08-30 11:28:17 +02:00
e414da3369 Simple record patterns in method headers 2023-08-18 17:15:15 +02:00
5f1f698530 Refactor 2023-08-18 15:15:40 +02:00
729e88bc6d Add test for instanceof 2023-08-18 11:35:01 +02:00
bffc7f9f1c Remove TypePattern and replace it with FormalParameter 2023-08-17 16:25:19 +02:00
011b272af6 Fix missing constraints 2023-08-17 16:15:38 +02:00
ee359da751 Refactor Patterns 2023-08-17 15:56:16 +02:00
6025e17186 Infer String/Integer for patterns 2023-08-17 15:22:53 +02:00
93d7aca9e6 Switch on Strings 2023-08-17 14:23:19 +02:00
677c784b6d Allow single expressions in switch expression 2023-08-17 13:26:30 +02:00
e69a367c33 Add printout 2023-08-17 10:17:09 +02:00
14d0475d59 Type inference for switch 2023-08-17 09:27:24 +02:00
762d344e42 Make switches work with set types 2023-08-16 17:13:28 +02:00
be5591f7dc Rename files for macos and windows 2023-08-15 17:17:17 +02:00
7193f5a646 Workaround for eclipse 2023-08-15 16:52:54 +02:00
f46c2ad0f7 New test case 2023-08-01 14:02:19 +02:00
b0f7a264c2 Implement records 2023-07-31 15:11:35 +02:00
4f3164a48a Allow the first patterns 2023-07-28 12:05:30 +02:00
be55d661cb Add classic switch 2023-07-27 10:02:28 +02:00
3de9fde672 Add new target ast nodes and test cases for switch 2023-07-26 15:47:30 +02:00
a0582e918b Merge 2023-07-25 15:06:15 +02:00
18429d9cf9 Iteration.jav Pair ausgeklammert 2023-07-18 11:45:17 +02:00
b65df7c390 Merge branch 'targetBytecode' of gohorb.ba-horb.de:/bahome/projekt/git/JavaCompilerCore into targetBytecode 2023-07-18 11:44:43 +02:00
a0e6df7cfd new file: resources/AllgemeinTest/Twice2.jav
modified:   src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
	modified:   src/test/java/AllgemeinTest.java
2023-07-13 15:25:34 +02:00
a17e1f473a Catch linkage error 2023-07-05 15:48:27 +02:00
5c62191f3b Consider constructors when creating class generics 2023-07-04 12:17:14 +02:00
b04201de42 Don't load classes that get compiled by a source file 2023-07-04 11:40:23 +02:00
a15cbcba7b Merge branch 'targetBytecode' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into targetBytecode 2023-07-03 11:54:30 +02:00
9019d90b1e Please enter the commit message for your changes. Lines starting
with '#' will be ignored, and an empty message aborts the commit.
2023-07-03 11:53:15 +02:00
d07b2bdf0a Merge branch 'targetBytecode' of ssh://gohorb.ba-horb.de:/bahome/projekt/git/JavaCompilerCore into targetBytecode 2023-07-03 10:13:59 +02:00
d05054755c Fix bug 2023-07-03 10:13:01 +02:00
d55b402269 Some fixes 2023-06-28 14:09:24 +02:00
bdaf578f86 Fix equality 2023-06-27 15:48:15 +02:00
6079e96efa Test more thoroughly and add a new infimum deletion strategy 2023-06-27 15:01:28 +02:00
215 changed files with 18604 additions and 1737 deletions
.gitea/workflows
doc/Studienarbeiten_Bachelorarbeiten
pom.xml
resources
src
main
antlr4
de
dhbwstuttgart
parser
java
de
dhbwstuttgart
bytecode
core
environment
parser
syntaxtree
target
typeinference
test

@ -0,0 +1,25 @@
name: Build and Test with Maven
on: [push]
jobs:
Build-and-test-with-Maven:
runs-on: ubuntu-latest
steps:
- name: Check out repository code
uses: actions/checkout@v3
- name: Install maven
run: |
apt update
apt install -y maven
- name: Install java
uses: actions/setup-java@v4
with:
distribution: 'temurin'
java-version: '21'
cache: 'maven'
- name: Compile project
run: |
mvn compile
- name: Run tests
run: |
mvn test

File diff suppressed because it is too large Load Diff

@ -54,8 +54,8 @@ http://maven.apache.org/maven-v4_0_0.xsd">
<version>3.11.0</version>
<configuration>
<compilerArgs>--enable-preview</compilerArgs>
<source>20</source>
<target>20</target>
<source>21</source>
<target>21</target>
</configuration>
</plugin>
<plugin>
@ -63,9 +63,14 @@ http://maven.apache.org/maven-v4_0_0.xsd">
<artifactId>maven-surefire-plugin</artifactId>
<version>3.1.0</version>
<configuration>
<redirectTestOutputToFile>true</redirectTestOutputToFile>
<reportsDirectory>${project.build.directory}/test-reports</reportsDirectory>
<argLine>--enable-preview</argLine>
<trimStackTrace>true</trimStackTrace>
<excludes>
<exclude>**/JavaTXCompilerTest.java</exclude>
<exclude>**/AllgemeinTest.java</exclude>
<exclude>**/syntaxtreegenerator/*.java</exclude>
</excludes>
</configuration>
</plugin>

@ -0,0 +1,22 @@
class Pair<U, T> {
U a;
T b;
Pair(U x, T y) {
a = x; b = y;
}
}
class Complex {
m(b) {
var c = b;
var d = c;
var e;
d = e;
var r1 = e;
var f = e;
var g;
f = g;
var r2 = g;
return new Pair<>(r1, r2);
}
}

@ -0,0 +1,7 @@
public class InfReturn {
m(a) {
var ret;
a = ret;
return ret;
}
}

@ -0,0 +1,8 @@
public class InfReturnII {
m(a, b) {
var ret;
a = ret;
b = ret;
return ret;
}
}

@ -0,0 +1,7 @@
class InnerInf {
m(a, b) {
var i;
a = i;
b = i;
}
}

@ -1,4 +1,4 @@
/*
class Pair<T, U> {
T x;
U y;
@ -17,7 +17,7 @@ class Pair<T, U> {
return y;
}
}
*/
public class Iteration {
id(x) {

@ -0,0 +1,7 @@
import java.lang.Integer;
import java.lang.Double;
class Overloading {
m(x) { return x + x; }
m(x) { return x || x; }
}

@ -0,0 +1,8 @@
class RecursionCond {
m(a, b, c) {
if (1 == 2) {
b = m(a, b);
c = m(a, b);
} else return a;
}
}

@ -0,0 +1,9 @@
import java.lang.Boolean;
import java.lang.Integer;
public class Test {
fac = (x) -> {
if (x == 1) { return 1; }
return x * fac.apply(x - 1);
};
}

@ -0,0 +1,19 @@
class Triple<U, T, S> {
U a;
T b;
S c;
Triple(U x, T y, S z) {
a = x; b = y; c = z;
}
U fst() { return a; }
T snd() { return b; }
S thrd() { return c; }
}
public class TripleTest {
m() {
return new Triple<>(m().thrd(), m().thrd(), m().thrd());
}
}

@ -0,0 +1,12 @@
class Twice2 {
id1inst = new Id<>();
id1 = id1inst.id;
id2inst = new Id<>();
id2 = id2inst.id;
twice = id1.apply(id2);
}
class Id<T> {
id = (T x) -> x;
}

@ -2,7 +2,7 @@ import java.lang.Integer;
import java.lang.String;
public class AA {
m(Integer i) { return "AA"; }
public m(Integer i) { return "AA"; }
m2(AA x) { return "AA"; }
public m2(AA x) { return "AA"; }
}

@ -0,0 +1,14 @@
public class Access {
public int fPublic;
int fDefault;
private int fPrivate;
protected int fProtected;
public void mPublic() {}
void mDefault() {}
private void mPrivate() {}
protected void mProtected() {}
}
class AccessDefault {
}

@ -0,0 +1,8 @@
class Base {
public void foo() {}
}
public class Annotation extends Base {
@Override
public void foo() {}
}

@ -1,3 +1,4 @@
import java.lang.Integer;
import AA;
public class BB extends AA { }

@ -3,15 +3,15 @@ import java.lang.Double;
public class BinaryInMeth {
m(a){
public m(a){
return ++a;
}
m2(a,b){
public m2(a,b){
return m(a+b);
}
m3(a) {
public m3(a) {
return m(++a);
}
}

@ -0,0 +1,7 @@
public class Bug112 {
public m(x) {
var y;
x = y;
return y;
}
}

@ -0,0 +1,12 @@
import java.lang.Integer;
import java.lang.Boolean;
public class Bug122 {
public void main() {
if (true) {
for (Integer i = 0; i < 10; i++) {
}
}
}
}

@ -0,0 +1,13 @@
import java.lang.Boolean;
import java.lang.Integer;
public class Bug123 {
public Boolean works(){
if(true) return true;
else return false;
}
public void fails(){
Boolean a = true;
if(true) a = false;
}
}

@ -0,0 +1,16 @@
import java.lang.Boolean;
import java.lang.Integer;
import java.lang.String;
import java.util.List;
import java.util.LinkedList;
import java.util.ArrayList;
public class Bug125 {
static ArrayList<String> works = new ArrayList<>();
static List<String> fails = new ArrayList<>();
public void main() {
works.toString();
fails.toString();
}
}

@ -0,0 +1,15 @@
import java.util.Optional;
import java.lang.Integer;
public class StaticClass {
public static StaticClass barbar() {
return new StaticClass();
}
}
public class Bug285 {
public void foo() {
Optional<Integer> opt = Optional.empty();
StaticClass b = StaticClass.barbar();
}
}

@ -0,0 +1,7 @@
import Bug290B;
public class Bug290A {
public void m() {
new Bug290B();
}
}

@ -0,0 +1,11 @@
import java.lang.String;
import java.lang.Integer;
public class Bug290B {
String name;
public Bug290B() {
Integer i = 0;
name = i.toString() + "$$";
}
}

@ -0,0 +1,13 @@
import java.lang.Integer;
import java.lang.Float;
public class Bug293 {
bar(a) {
return 2 * a;
}
}
interface IFoo {
void ga();
}

@ -0,0 +1,18 @@
import java.lang.Integer;
public class Bug295 {
public Integer a;
public Integer b;
public Integer c;
public Bug295(a, b, c) {
this(a);
this.b = b;
this.c = c;
}
public Bug295(a) {
this.a = a;
}
}

@ -0,0 +1,11 @@
import java.lang.Integer;
public class Bug296 {
public static m1() {
return m2();
}
static m2() {
return 10;
}
}

@ -0,0 +1,11 @@
import java.lang.Integer;
public class Bug297 {
public static operation(func, a, b) {
return func.apply(a, b);
}
public exec() {
return Foo.operation((x, y) -> x + y, 10, 10);
}
}

@ -0,0 +1,19 @@
import java.util.List;
import java.util.ArrayList;
import java.lang.Integer;
import java.lang.System;
import java.io.PrintStream;
import java.util.stream.Stream;
import java.util.function.Function;
public class Bug298 {
public <R, T> Stream<R> takes(Stream<T> s, Function<? super T, ? super R> fun) {
return null;
}
public void m() {
List<Integer> list = new ArrayList<>();
Stream<Integer> a = list.stream();
takes(a, x -> 2 * x);
}
}

@ -0,0 +1,16 @@
import java.util.Vector;
import java.lang.Integer;
import java.lang.String;
public class Bug98 {
public m(x, y ,z) {
x = new Vector<Integer>();
y = new Vector<String>();
x.add(1);
y.add("2");
//Integer i = x.elementAt(0);
//String s = y.elementAt(0);
return z.vectorAddAll(x, y);
}
}

@ -1,11 +1,11 @@
import java.lang.Integer;
import java.lang.String;
import BB;
public class CC extends BB {
m(Integer i) {
public m(Integer i) {
return "CC";
}
m2(CC x) { return "CC"; }
public m2(CC x) { return "CC"; }
}

@ -0,0 +1,13 @@
import java.lang.Integer;
public class Chain {
x = 5;
chain() {
return this;
}
public m() {
return this.chain().chain().chain().x;
}
}

@ -1,5 +1,5 @@
class Cycle {
m(x, y) {
public class Cycle {
public m(x, y) {
y = x;
x = y;
}

@ -1,4 +1,5 @@
import java.lang.Integer;
import CC;
public class DD extends CC { }

@ -1,3 +1,8 @@
import java.lang.String;
import java.lang.RuntimeException;
public class Exceptions {
// m(Integer i) throws
public m() {
throw new RuntimeException("Some Exception");
}
}

@ -1,12 +1,12 @@
import java.lang.Integer;
import java.lang.Double;
import java.lang.String;
public class Fac {
getFac(n){
public class Fac {
getFac(n) {
var res = 1;
var i = 1;
while(i<=n) {
while (i <= n) {
res = res * i;
i++;
}

@ -1,12 +1,14 @@
import java.lang.String;
public class FieldTph2 {
a;
public a;
m(b){
public m(b){
b = a;
return b;
}
m2(c){
public m2(c){
a = c;
}
}

@ -1,20 +1,20 @@
public class FieldTphConsMeth {
a;
public a;
public FieldTphConsMeth(c) {
a = id(c);
}
id(b) {
public id(b) {
return b;
}
setA(x) {
public setA(x) {
a = x;
return a;
}
m(x,y) {
public m(x,y) {
x = id(y);
}

@ -1,13 +1,13 @@
import java.lang.Boolean;
public class FieldTphMMeth {
a;
public a;
public FieldTphMMeth(c,d,e) {
a = m(c,d,e);
}
m(b,d,e) {
public m(b,d,e) {
if(e) {
return m3(b);
} else{
@ -16,11 +16,11 @@ public class FieldTphMMeth {
}
m2(b) {
public m2(b) {
a = m3(b);
}
m3(b){
public m3(b){
return b;
}

@ -1,23 +1,23 @@
import java.lang.Integer;
import java.lang.Boolean;
class For{
Integer m(Integer x){
public class For{
public Integer m(Integer x){
var c = x + 2;
// Boolean b = true;
// c = 5;
// c++;
// ++c;
// c--;
// --c;
// while(x<2){
// x = x +1;
// b = false;
// }
return c;
// for(int i = 0;i<10;i++) {
// x = x + 5;
// }
Boolean b = true;
c = 5;
c++;
++c;
c--;
--c;
while(x<2){
x = x +1;
b = false;
}
for(int i = 0; i<10; i++) {
x = x + 5;
}
return x;
}
// m2(Integer x){

@ -0,0 +1,23 @@
import java.util.ArrayList;
import java.lang.Integer;
import java.lang.Number;
public class ForEach {
public m() {
var list = new ArrayList<>();
list.add(1); list.add(2); list.add(3);
var sum = 0;
for (var i : list) {
sum = sum + i;
}
return sum;
}
public m2() {
var list = new ArrayList<? extends Number>();
for (Number n : list) {
}
}
}

@ -0,0 +1,15 @@
import java.lang.Integer;
import java.util.function.Function;
public class FunctionalInterface {
Integer accept(Function<Integer, Integer> f) {
return f.apply(20);
}
public Integer m() {
var v = accept(i -> {
return i * 10;
});
return v;
}
}

@ -1,8 +1,8 @@
import java.lang.String;
import java.lang.Integer;
class Generics2<B extends String>{
<B extends Integer> B m1(B b){
public class Generics2<B extends String>{
public <X extends Integer> X m1(X b){
return b;
}

@ -0,0 +1,9 @@
import java.lang.System;
import java.lang.String;
import java.io.PrintStream;
public class HelloWorld {
public static hello() {
System.out.println("Hello World!");
}
}

@ -2,15 +2,18 @@ import java.util.Vector;
import java.lang.Integer;
import java.lang.String;
import AA;
import BB;
import CC;
import DD;
public class Inherit {
main(d, i) {
public main(d, i) {
return d.m(i);
}
main(v, i) {
public main(v, i) {
var aa = v.elementAt(0);
return aa.m(i);
}

@ -2,15 +2,18 @@ import java.util.Vector;
import java.lang.Integer;
import java.lang.String;
import AA;
import BB;
import CC;
import DD;
public class Inherit2 {
main(d) {
public main(d) {
return d.m2(d);
}
main(v) {
public main(v) {
var aa = v.elementAt(0);
return aa.m2(aa);
}

@ -0,0 +1,18 @@
import java.lang.Object;
import java.lang.Integer;
import java.lang.Boolean;
interface Interface {}
class Test implements Interface {
}
class Test2 {
}
public class InstanceOf {
a = new Test();
public test1() { return this.a instanceof Test; }
public test2() { return this.a instanceof Interface; }
public test3() { return this.a instanceof Integer; }
}

@ -0,0 +1,33 @@
import java.lang.Integer;
interface A {
void method1();
default method2() {
}
}
interface B {
void method3();
}
interface C {
Integer myInt();
}
class ClassX implements A {
}
record ClassY(Integer myInt) implements C {}
public class Interfaces implements A, B {
public void method1() {
}
public void method3() {
var intf = new Interfaces();
intf = new ClassX();
intf.method1();
C c = new ClassY(10);
c.myInt();
}
}

@ -1,8 +1,15 @@
public class LamRunnable{
import java.lang.Runnable;
import java.lang.System;
import java.lang.String;
import java.io.PrintStream;
public class LamRunnable {
public LamRunnable() {
Runnable lam = () -> {
System.out.println("lambda");
};
public LamRunnable(){
Runnable lam = () -> {System.out.println("lambda");};
lam.run();
}
}

@ -2,7 +2,7 @@ import java.lang.Integer;
public class Lambda {
m () {
public m() {
var lam1 = (x) -> {
return x;
};

@ -1,13 +1,16 @@
import java.lang.Runnable;
import java.lang.String;
import java.lang.System;
import java.io.PrintStream;
public class LamRunnable{
public class LambdaRunnable {
public LamRunnable(){
public LambdaRunnable(){
Runnable lam = () -> {System.out.println("lambda");};
Runnable lam = () -> {
System.out.println("Runnable is running");
};
lam.run();
}
}

@ -4,52 +4,52 @@ import java.lang.Float;
import java.lang.Double;
public class LessEqual {
lessEqual(Integer a, Integer b){
public lessEqual(Integer a, Integer b){
var c = a<=b;
return c;
}
lessEqual(Long a, Long b){
public lessEqual(Long a, Long b){
var c = a<=b;
return c;
}
lessEqual(Float a, Float b){
public lessEqual(Float a, Float b){
var c = a<=b;
return c;
}
lessEqual(Double a, Double b){
public lessEqual(Double a, Double b){
var c = a<=b;
return c;
}
lessEqual(Long a, Integer b){
public lessEqual(Long a, Integer b){
var c = a<=b;
return c;
}
lessEqual(Float a, Integer b){
public lessEqual(Float a, Integer b){
var c = a<=b;
return c;
}
lessEqual(Double a, Integer b){
public lessEqual(Double a, Integer b){
var c = a<=b;
return c;
}
lessEqual(Float a, Long b){
public lessEqual(Float a, Long b){
var c = a<=b;
return c;
}
lessEqual(Double a, Long b){
public lessEqual(Double a, Long b){
var c = a<=b;
return c;
}
lessEqual(Double a, Float b){
public lessEqual(Double a, Float b){
var c = a<=b;
return c;
}

@ -5,52 +5,52 @@ import java.lang.Double;
public class LessThan {
lessThan(Integer a, Integer b){
public lessThan(Integer a, Integer b){
var c = a<b;
return c;
}
lessThan(Long a, Long b){
public lessThan(Long a, Long b){
var c = a<b;
return c;
}
lessThan(Float a, Float b){
public lessThan(Float a, Float b){
var c = a<b;
return c;
}
lessThan(Double a, Double b){
public lessThan(Double a, Double b){
var c = a<b;
return c;
}
lessThan(Long a, Integer b){
public lessThan(Long a, Integer b){
var c = a<b;
return c;
}
lessThan(Float a, Integer b){
public lessThan(Float a, Integer b){
var c = a<b;
return c;
}
lessThan(Double a, Integer b){
public lessThan(Double a, Integer b){
var c = a<b;
return c;
}
lessThan(Float a, Long b){
public lessThan(Float a, Long b){
var c = a<b;
return c;
}
lessThan(Double a, Long b){
public lessThan(Double a, Long b){
var c = a<b;
return c;
}
lessThan(Double a, Float b){
public lessThan(Double a, Float b){
var c = a<b;
return c;
}

@ -0,0 +1,6 @@
import java.lang.Character;
public class Literal {
public m() { return null; }
public m2() { return 'C'; }
}

@ -9,7 +9,7 @@ public class Matrix extends Vector<Vector<Integer>> {
Matrix () {
}
Matrix(vv) {
public Matrix(vv) {
Integer i;
i = 0;
while(i < vv.size()) {
@ -19,7 +19,7 @@ public class Matrix extends Vector<Vector<Integer>> {
}
}
mul(m) {
public mul(m) {
var ret = new Matrix();
var i = 0;
while(i < size()) {

@ -8,7 +8,7 @@ public class MatrixOP extends Vector<Vector<Integer>> {
MatrixOP () {
}
MatrixOP(vv) {
public MatrixOP(vv) {
Integer i;
i = 0;
while(i < vv.size()) {

@ -2,16 +2,16 @@ import java.util.List;
import java.lang.Integer;
//import java.util.Collection;
class Merge {
public class Merge {
merge(a, b) {
public merge(a, b) {
a.addAll(b);
return a;
}
sort(in){
public sort(in){
var firstHalf = in.subList(1,2);
var secondHalf = in.subList(1,2);
return merge(sort(firstHalf), sort(secondHalf));

@ -1,13 +1,14 @@
import java.lang.Double;
import java.lang.String;
import java.lang.Long;
import java.lang.Integer;
class OL {
m (x) { return x + x; }
public class OL {
public m (x) { return x + x; }
}
class OLMain {
main(x) {
public class OLMain {
public main(x) {
var ol;
ol = new OL();
return ol.m(x);

@ -0,0 +1,17 @@
import java.lang.Integer;
public class Parent {
public Integer x;
public Parent(Integer a) {
this.x = a;
}
public Parent() {}
}
public class Child extends Parent {
public Child() {
super(3);
}
}

@ -1,11 +1,17 @@
import java.lang.Integer;
import java.lang.Double;
import java.lang.String;
public class Op2 {
m(){
public m(){
var x = "";
var a = 5+x;
Integer x = 10;
Double y = 10.5;
var a = x - y;
return a;
}
}

@ -0,0 +1,50 @@
import java.lang.Integer;
import java.lang.Number;
import java.lang.Float;
record Point(Number x, Number y) {}
public class OverloadPattern {
public m(Point(Integer x, Integer y)) {
return x + y;
}
public m(Point(Float x, Float y)) {
return x * y;
}
public m(Integer x) {
return x;
}
}
/*
public class OverloadPattern {
Integer m$Point$_$java$lang$Integer$_$java$lang$Integer$_$(Point point) {
var x = point.x();
var y = point.y();
return x + y;
}
Float m$Point$_$java$lang$Float$_$java$lang$Float$_$(Point point) {
var x = point.x();
var y = point.y();
return x * y;
}
Number m(Point point) {
return switch(point) {
case Point(Integer x, Integer y) ->
m$Point$_$java$lang$Integer$_$java$lang$Integer$_$(point);
case Point(Float x, Float y) ->
m$Point$_$java$lang$Float$_$java$lang$Float$_$(point);
default -> throw new IllegalArgumentException();
}
}
Integer m(Integer x) {
return x;
}
}
*/

@ -2,17 +2,17 @@ import java.lang.String;
public class Overloading{
test(x){
public test(x){
return x.methode();
}
methode(){
public methode(){
return "Overloading";
}
}
public class Overloading2{
methode(){
public methode(){
return "Overloading2";
}
}

@ -2,31 +2,16 @@ import java.util.Vector;
import java.lang.Boolean;
import java.lang.Object;
class Pair<U, T> {
U a;
T b;
make(x) {
var ret = new Pair<>();
ret.a = x.elementAt(0);
ret.b = x.elementAt(1);
return ret;
}
/*
eq(a, b) {
b = a;
return a == b;
}
public class Pair<T, U> {
T x;
U y;
compare( p) {
return eq(p.a, p.b);
//return p.a == p.b;
}
public fst() {
return x;
}
void m(Pair<?, ?> p, List<? extends Eq> b)
{
//this.compare(p); //1, type incorrect
this.compare(this.make(b)); //2, OK
public snd() {
return y;
}
*/
}

@ -3,7 +3,7 @@ import java.lang.String;
public class Plus {
m(a,b) {
public m(a,b) {
return a+b;
}
}

@ -1,25 +1,25 @@
import java.lang.Integer;
public class PostIncDec {
m() {
public m() {
var i = 0;
i++;
return i;
}
m2() {
public m2() {
var i = 0;
var j = i++;
return j;
}
d() {
public d() {
var i = 0;
i--;
return i;
}
d2() {
public d2() {
var i = 0;
var j = i--;
return j;

@ -1,25 +1,25 @@
import java.lang.Integer;
public class PreInc {
m() {
public m() {
var i = 0;
++i;
return i;
}
m2() {
public m2() {
var i = 0;
var j = ++i;
return j;
}
d() {
public d() {
var i = 0;
--i;
return i;
}
d2() {
public d2() {
var i = 0;
var j = --i;
return j;

@ -3,16 +3,16 @@ import java.util.Stack;
public class Put {
putElement(ele, v) {
public putElement(ele, v) {
v.addElement(ele);
}
putElement(ele, s) {
public putElement(ele, s) {
s.push(ele);
}
main(ele, x) {
public main(ele, x) {
putElement(ele, x);
}

@ -0,0 +1,22 @@
import java.lang.Integer;
record Rec(Integer a, Integer b) {}
/*public class Rec {
x; y;
Rec(Integer a, Integer b) {
x = a;
y = b;
}
}*/
public class RecordTest {
a = new Rec(10, 20);
b = new Rec(10, 20);
c = new Rec(20, 40);
public doesEqual() { return a.equals(b); }
public doesNotEqual() { return b.equals(c); }
public hashCode() { return a.hashCode(); }
public toString() { return a.toString(); }
}

@ -2,7 +2,7 @@ import java.lang.Integer;
import java.lang.Boolean;
public class RelOps {
m(a,b){
public m(a,b){
return a<b;
}
}

@ -6,7 +6,7 @@ import java.lang.Float;
public class Scalar extends Vector<Integer> {
Scalar(v) {
public Scalar(v) {
Integer i;
i = 0;
while(i < v.size()) {
@ -15,7 +15,7 @@ public class Scalar extends Vector<Integer> {
}
}
mul(v) {
public mul(v) {
var ret = 0;
var i = 0;
while(i < size()) {

@ -0,0 +1,18 @@
import java.lang.Integer;
class Other {
static field = 20;
}
public class Static {
static i = 20;
static {
var x = 30;
i = x;
}
public static m() {
return i + Other.field;
}
}

@ -0,0 +1,11 @@
import java.lang.Integer;
class Parent {
public Parent(Integer x) {}
}
public class SuperCall extends Parent {
public SuperCall() {
super(20);
}
}

@ -0,0 +1,17 @@
import java.lang.Integer;
import java.lang.Object;
import java.lang.Float;
public record Rec(Integer a, Object b) {}
public class Switch {
public main(o) {
return switch (o) {
case Rec(Integer a, Integer b) -> a + b;
case Rec(Integer a, Float b) -> a + 10;
case Rec(Integer a, Rec(Integer b, Integer c)) -> a + b + c;
case Integer i -> i;
default -> 0;
};
}
}

@ -0,0 +1,13 @@
import java.lang.Integer;
record Point(x, y) {}
class Switch2 {
m() {
var pt = new Point(10, 20);
return switch (pt) {
case Point(x, y) -> 10;
default -> 20;
};
}
}

@ -0,0 +1,14 @@
import java.lang.Integer;
import java.lang.String;
import java.lang.Object;
public class SwitchString {
public main(o) {
return switch (o) {
case "AaAaAa" -> 1; // These two have the same hash code!
case "AaAaBB" -> 2;
case "test", "TEST" -> 3;
default -> 4;
};
}
}

@ -1,10 +1,10 @@
import java.lang.String;
class TXGenerics {
public class TXGenerics {
a;
b;
test() {
public test() {
var c = new Cycle();
c.m(a, b);
}

@ -1,11 +1,11 @@
public class Tph {
m(a,b){
public m(a,b){
var c = m2(b);
return a;
}
m2(b){
public m2(b){
return b;
}
}

@ -1,18 +1,6 @@
public class Tph2 {
id = x->x;
id = x->x;
id3 (x) {
return id.apply(x);
}
/*
m(a,b){
var c = m2(a,b);
//m2(a,b);
return a;
}
m2(a,b){
return b;
}
*/
}

@ -0,0 +1,11 @@
import java.lang.Object;
import java.lang.Integer;
import java.util.List;
import java.util.ArrayList;
public class TypeCast {
public void main() {
Object a = new ArrayList<Integer>();
ArrayList b = (ArrayList) a;
}
}

@ -3,7 +3,7 @@ import java.lang.Long;
import java.lang.Double;
public class While {
m(x) {
public m(x) {
while(x < 2) {
x = x+1;
}

@ -0,0 +1,8 @@
import java.util.List;
import java.lang.Number;
public class Wildcards {
public void m1(List<?> a) {}
public void m2(List<? extends Number> a) {}
public void m3(List<? super Number> a) {}
}

@ -1,10 +1,10 @@
import java.lang.Integer;
class Y {
public class Y {
y;
//factorial;
Y() {
public Y() {
y = f -> t -> f.apply(y.apply(f)).apply(t);
//factorial = y.apply(f -> n -> { if (n == 0) return 1; else return n * f.apply(n - 1); });
}

@ -3,7 +3,7 @@ class Apply { }
public class applyLambda {
m () {
public m () {
var lam1 = (x) -> {
return x;
};

@ -9,4 +9,4 @@ public class TestVector {
id(x) {
return x;
}
}
}

Some files were not shown because too many files have changed in this diff Show More