A refactoring tool for Ada 95

  • Authors:
  • Paul Anderson

  • Affiliations:
  • GrammaTech, Inc., Ithaca, NY

  • Venue:
  • Proceedings of the 2004 annual ACM SIGAda international conference on Ada: The engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies
  • Year:
  • 2004

Quantified Score

Hi-index 0.00

Visualization

Abstract

Refactoring is a technique for restructuring code to improve its design. A tool for automatically applying refactoring transformations to Ada 95 programs is described. The tool is based on a language-neutral static-analysis toolset named CodeSurfer, and uses the ASIS interface to retrieve basic facts about a program. A higher-level object-oriented interface to the ASIS representation is described, which enables pattern-matching queries on the program's abstract semantic graph. The tool has been validated by using it to apply a set of transformations designed to bring a general-purpose code library into compliance with a safety-critical subset of Ada. Future plans for a set of tools based on these techniques are described.