[a]C#: C# with a customizable code annotation mechanism

ABSTRACT

Reflective programming is becoming popular due to the increasing set of dynamic services provided by execution environments like JVM and CLR. With custom attributes Microsoft introduced an extensible model of reflection for CLR: they can be used as additional decorations on element declarations. The same notion has been introduced in Java 1.5. The extensible model proposed in both platforms limits annotations to class members. In this paper we describe [a]C#,¹ an extension of the C# programming language, that allows programmers to annotate statements or code blocks and retrieve these annotations at run-time. We show how this extension can be reduced to the existing model. A set of operations on annotated code blocks to retrieve annotations and manipulate bytecode is introduced. Finally, we discuss how to use [a]C# to annotate programs giving hints on how to parallel a sequential method and how it can be implemented by means of the abstractions provided by the run-time of the language.

REFERENCES

• 1: Tom Archer, Inside C#, Microsoft Press, Redmond, WA, 2001
• 2: Giuseppe Attardi and Antonio Cisternino. Multistage Programming Support in CLI. IEE Proceedings Software, 150(5):275--281, October 2003.
• 3: Giuseppe Attardi, Antonio Cisternino, and Diego Colombo. CIL + Metadata > Executable Program. Journal of Object Technology. Special issue: .NET: The Programmer's Perspective: ECOOP Workshop 2003, 3(2): 19--26, 2004.
• 4: Giuseppe Attardi , Antonio Cisternino , Andrew Kennedy, CodeBricks: code fragments as building blocks, Proceedings of the 2003 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation, p.66-74, June 07-07, 2003, San Diego, California, USA
• 5: Shigeru Chiba , Muga Nishizawa, An easy-to-use toolkit for efficient Java bytecode translators, Proceedings of the second international conference on Generative programming and component engineering, p.364-376, September 22-25, 2003, Erfurt, Germany
• 6: Hidehiko Masuhara , Akinori Yonezawa, Run-Time Bytecode Specialization, Proceedings of the Second Symposium on Programs as Data Objects, p.138-154, May 21-23, 2001
• 7: Jim S. Miller , Susann Ragsdale, The Common Language Infrastructure Annotated Standard, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 2003
• 8: David Stutz , Ted Neward , Geoff Shilling, Shared Source Cli Essentials, O'Reilly & Associates, Inc., Sebastopol, CA, 2002
• 9: Éric Tanter , Marc Ségura-Devillechaise , Jacques Noyé , José M. Piquer, Altering Java Semantics via Bytecode Manipulation, The ACM SIGPLAN/SIGSOFT Conference on Generative Programming and Component Engineering, p.283-298, October 06-08, 2002
• 10: Craig Walls and Norman Richards. XDoclet in Action. Manning Publications, December 2003.
• 11: Albrecht Wöß, Markus Löberbauer, and Hanspeter Mössenböck. Compiler Generation Tools for C#. IEE Proceedings Software, 150(5):323--327, October 2003.

INDEX TERMS

Keywords:
.NET, C#, code annotation, reflection