Abstract
The Declared Type Generalization Checker is a plug-in for Eclipse’s Java Development Tools (JDT) that supports developers in systematically finding and using better fitting types in their programs. A type A is considered to fit better than a type B for a declaration element (variable) d if A is more general than B, that is, if A provides fewer members unneeded for the use of d. Our support comes in the form of warnings generated in the Problem View of Eclipse, and associated Quick Fixes allowing elements to be re-declared automatically. Due to the use of Eclipse extension points, the algorithm used to compute more general types is easily exchangeable. Currently our tool can use two publicly available algorithms, one considering only supertypes already present in a project, and one computing new, perfectly fitting types.
Chapter PDF
Similar content being viewed by others
References
\bibitem{1} E Berard Essays on Object-Oriented Software Engineering (Prentice-Hall 1993).
Forster, F.: Cost and benefit of rigorous decoupling with context-specific interfaces. In: Proceedings of the 4th International Conference on Principles and Practices of Programming in Java, pp. 23–30 (2006)
Palsberg, J., Schwartzbach, M.I.: Object-oriented type inference. In: Proceedings of OOPSLA, pp. 146–161 (1991)
Steimann, F., Mayer, P., Meißner, A.: Decoupling classes with inferred interfaces. In: Proceedings of the 2006 ACM Symposium on Applied Computing, pp. 1404–1408 (2006)
Wang, T., Smith, S.F.: Precise Constraint-Based Type Inference for Java. In: Knudsen, J.L. (ed.) ECOOP 2001. LNCS, vol. 2072, pp. 99–117. Springer, Heidelberg (2001)
Bäumer, D., Gamma, E., Kiezun, A.: Integrating refactoring support into a Java development tool. In: OOPSLA’01 Companion (2001)
Gamma, E., Beck, K.: Contributing to Eclipse. Addison-Wesley Professional, Reading (2003)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Bach, M., Forster, F., Steimann, F. (2007). Declared Type Generalization Checker: An Eclipse Plug-In for Systematic Programming with More General Types. In: Dwyer, M.B., Lopes, A. (eds) Fundamental Approaches to Software Engineering. FASE 2007. Lecture Notes in Computer Science, vol 4422. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-71289-3_10
Download citation
DOI: https://doi.org/10.1007/978-3-540-71289-3_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-71288-6
Online ISBN: 978-3-540-71289-3
eBook Packages: Computer ScienceComputer Science (R0)