A refactoring tool for Ada 95

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 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. Categories and Subject Descriptors D.2.6 [Software Engineering]: Programmer workbench, Ada. General Terms Languages. Keywords Refactoring, Ada 95, ASIS, Static Analysis, Software Engineering Tools.

• Type: Conference
• Year: 2004
• Where: SIGADA
• Authors: Paul Anderson
• Keywords: Ada 95, SIGADA 2004, Tools, Toolset Named Codesurfer