Abschlussarbeit

In der Vergangenheit wurden Zugreifbarkeitsconstraints vorgeschlagen, um bei Refactoring-Tools die Berücksichtigung der Zugreifbarkeit von Deklarationen zu verbessern. Bei der zugrunde liegenden Formulierung der Constraintregeln wurde ein zusätzlicher Zugreifbarkeitsmodifizierer 'absent' eingeführt welcher besagt, dass eine Deklaration nicht auftreten darf (weil sie sonst z.B. eine Deklaration verdecken würde).

Während bei der Implementierung von Refactoring-Tools der 'absent'-Modifier später im Code nicht mehr direkt sichtbar ist, kann eine andere Anwendung sehr wohl unmittelbar von 'absent'-Deklarationen

profitieren: Sind alle Constraints erfüllt, nachdem eine Deklaration auf 'absent' gesetzt wurde, wird diese offensichtlich nicht mehr referenziert und ist somit unnötig ('dead code').

Im Rahmen dieser Arbeit wird ein auf Zugreifbarkeitsconstraints basierender dead code detector implementiert.