team-worthwhile/worthwhile — comment on commit b3089c9c2cee7231801872693d48a49cfc7bef27
File: implementierung/src/worthwhile/src/edu/kit/iti/formal/pse/worthwhile/validation/WorthwhileJavaValidator.java line 108
By jspam:

Bist du sicher, dass du hier zu WorthwhileTypesystem casten musst? Dank Dependency Injection sind wir ja eigentlich unabhängig von der konkreten Typsystem-Implementierung. Reicht es nicht, die Methode ITypesystem.typeof(EObject, TypeCalculationTrace) zu nutzen?