Super and inner: together at last!

ABSTRACT

In an object-oriented language, a derived class may declare a method with the same signature as a method in the base class. The meaning of the re-declaration depends on the language. Most commonly, the new declaration overrides the base declaration, perhaps completely replacing it, or perhaps using <b>super</b> to invoke the old implementation. Another possibility is that the base class always controls the method implementation, and the new declaration merely augments the method in the case that the base method calls <b>inner</b>. Each possibility has advantages and disadvantages. In this paper, we explain why programmers need both kinds of method redeclaration, and we present a language that integrates them. We also present a formal semantics for the new language, and we describe an implementation for MzScheme.

REFERENCES

• 1: Pierre America, Designing an Object-Oriented Programming Language with Behavioural Subtyping, Proceedings of the REX School/Workshop on Foundations of Object-Oriented Languages, p.60-90, May 28-June 01, 1990
• 2: Davide Ancona , Elena Zucca, Overriding Operators in a Mixin-Based Framework, Proceedings of the9th International Symposium on Programming Languages: Implementations, Logics, and Programs: Including a Special Trach on Declarative Programming Languages in Education, p.47-61, September 03-05, 1997
• 3: Davide Ancona , Elena Zucca, A theory of mixin modules: basic and derived operators, Mathematical Structures in Computer Science, v.8 n.4, p.401-446, August 1998 [doi>10.1017/S0960129598002576]
• 4: L. Bettini, S. Capecchi, and B. Venneri. Extending Java to dynamic object behaviors. In Proc. Workshop on Object-Oriented Developments, volume 82. Elsevier, 2003.
• 5: Gilad Bracha , William Cook, Mixin-based inheritance, Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications, p.303-311, September 1990, Ottawa, Canada
• 6: A. Clark. A layered object-oriented programming language. GEC Journal of Research, 11(2):173--180, 1994.
• 7: William R. Cook, A denotational semantics of inheritance, 1989
• 8: Dominic Duggan, A Mixin-Based, Semantics-Based Approach to Reusing Domain-Specific Programming Languages, Proceedings of the 14th European Conference on Object-Oriented Programming, p.179-200, June 12-16, 2000
• 9: E. Ernst. gbeta - a Language with Virtual Attributes, Block Structure, and Propagating, Dynamic Inheritance. PhD thesis, Department of Computer Science, University of Aarhus, Århus, Denmark, 1999.
• 10: Erik Ernst, Propagating Class and Method Combination, Proceedings of the 13th European Conference on Object-Oriented Programming, p.67-91, June 14-18, 1999
• 11: Robert Bruce Findler , Cormac Flanagan , Matthew Flatt , Shriram Krishnamurthi , Matthias Felleisen, DrScheme: A Pedagogic Programming Environment for Scheme, Proceedings of the9th International Symposium on Programming Languages: Implementations, Logics, and Programs: Including a Special Trach on Declarative Programming Languages in Education, p.369-388, September 03-05, 1997
• 12: M. Flatt. PLT MzScheme: Language manual. Technical Report TR97-280, Rice University, 1997.
• 13: Matthew Raymond Flatt , Matthias Felleisen, Programming languages for reusable software components, 2000
• 14: Matthew Flatt , Shriram Krishnamurthi , Matthias Felleisen, Classes and mixins, Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.171-183, January 19-21, 1998, San Diego, California, United States [doi>10.1145/268946.268961]
• 15: Erich Gamma , Richard Helm , Ralph Johnson , John Vlissides, Design patterns: elements of reusable object-oriented software, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1995
• 16: Adele Goldberg , David Robson, Smalltalk-80: The Language, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1989
• 17: James Gosling , Bill Joy , Guy L. Steele, The Java Language Specification, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1996
• 18: S. E. Keene, A programmer's guide to object-oriented programming in Common LISP, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1988
• 19: N. I. Adams, IV , D. H. Bartley , G. Brooks , R. K. Dybvig , D. P. Friedman , R. Halstead , C. Hanson , C. T. Haynes , E. Kohlbecker , D. Oxley , K. M. Pitman , G. J. Rozas , G. L. Steele, Jr. , G. J. Sussman , M. Wand , H. Abelson, Revised5 report on the algorithmic language scheme, ACM SIGPLAN Notices, v.33 n.9, p.26-76, Sept. 1, 1998 [doi>10.1145/290229.290234]
• 20: Ole Lehrmann Madsen , Birger Mø-Pedersen , Kristen Nygaard, Object-oriented programming in the BETA programming language, ACM Press/Addison-Wesley Publishing Co., New York, NY, 1993
• 21: B. H. Liskov and J. Wing. Behavioral subtyping using in-variants and constraints. Technical Report CMU CS-99-156, School of Computer Science, Carnegie Mellon University, July 1999.
• 22: Barbara H. Liskov , Jeannette M. Wing, A behavioral notion of subtyping, ACM Transactions on Programming Languages and Systems (TOPLAS), v.16 n.6, p.1811-1841, Nov. 1994 [doi>10.1145/197320.197383]
• 23: J. Matthews, R. B. Findler, M. Flatt, and M. Felleisen. A visual environment for developing context-sensitive term rewriting systems. In Proc. International Conference on Rewriting Techniques and Applications, June 2004.
• 24: D. M. Oliveira. GNU EDMA. http://www.gnu.org/software/edma/edma.html.
• 25: Bjarne Stroustrup, The C++ Programming Language, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 2000
• 26: Andrew K. Wright , Matthias Felleisen, A syntactic approach to type soundness, Information and Computation, v.115 n.1, p.38-94, Nov. 15, 1994 [doi>10.1006/inco.1994.1093 ]

INDEX TERMS

Primary Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.3 Language Constructs and Features
          Subjects: Inheritance

General Terms:
Languages

Keywords:
augment, inheritance, inner, override, super