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

Gibt es im Englischen Ordinalzahlen mit „.“ dahinter? Soviel ich weiß, heißt das 1st, 2nd, 3rd, 4th etc.

Vielleicht einfach „Parameter #4 has wrong type: expected … but found …“

Für die Typnamen kannst du evtl. den ValueTypeVisitor aus der Klasse WorthwhileValue rausziehen.