Fabian Holzwarth af15a1b90c Merge branch 'master' into feat/unify-server-mergeMaster

2025-07-24 14:41:05 +02:00

..

ExtendsType.java

feat: implement loggers for the rest of the compiler

2025-07-01 23:06:09 +02:00

FiniteClosure.java

Merge branch 'master' into feat/unify-server-mergeMaster

2025-07-24 14:41:05 +02:00

FunInterfaceType.java

feat: replace NameGenerator with instance of PlaceholderRegistry to prevent duplicates

2025-06-25 19:15:28 +02:00

FunNType.java

feat: replace unnecessary boxing with primitives

2025-07-06 15:18:51 +02:00

hashKeyType.java

new file: ../../../main/java/de/dhbwstuttgart/typeinference/unify/model/hashKeyType.java

2019-01-16 10:27:15 +01:00

Node.java

adjust FiniteClosure to only use imported types + some necessary ones

2025-07-15 14:06:51 +02:00

OrderingExtend.java

modified: ../src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java

2020-05-08 11:04:05 +02:00

OrderingUnifyPair.java

feat: reduce temporary objects and repeated loops

2025-07-12 13:14:55 +02:00

PairOperator.java

feat: fixed mismatch in PairOperator serialization

2025-06-22 10:10:32 +02:00

PlaceholderType.java

feat: more Boxing replacements

2025-07-06 15:49:59 +02:00

ReferenceType.java

feat: more Boxing replacements

2025-07-06 15:49:59 +02:00

SuperType.java

feat: fixed error in object serialization

2025-06-23 16:13:21 +02:00

TypeParams.java

feat: speedup toString methods by using a StringBuilder instead of String concatenation

2025-06-28 14:30:12 +02:00

Unifier.java

feat: replace concurrent modification with correct function call

2025-06-30 11:49:53 +02:00

UnifyPair.java

feat: more Boxing replacements

2025-07-06 15:49:59 +02:00

UnifyType.java

feat: replace unnecessary boxing with primitives

2025-07-06 15:18:51 +02:00

WildcardType.java

feat: replace unnecessary boxing with primitives

2025-07-06 15:18:51 +02:00