Practical use of static composition of refactoring operations

Julien Cohen (1) , Akram Ajouli (2)

1 LINA - Laboratoire d'Informatique de Nantes Atlantique
2 ASCOLA - Aspect and composition languages

Refactoring tools are commonly used for remodularization tasks. Basic refactoring operations are combined to perform complex program transformations, but the resulting composed operations are rarely reused, even partially, because popular tools have few support for composition. In this paper, we recast two calculus for static composition of refactorings in a type system framework and we discuss their use for inferring useful properties. We illustrate the value of support for static composition in refactoring tools with a complex remodularization use case: a round-trip transformation between programs conforming to the Composite and Visitor patterns.

Mots clés: refactoring; composition; separation of concerns

Domaines: Génie logiciel [cs.SE]

Julien Cohen, Akram Ajouli. Practical use of static composition of refactoring operations. ACM Symposium on Applied Computing (SAC), Mar 2013, Coimbra, Portugal. pp.1700-1705, ⟨10.1145/2480362.2480684⟩. ⟨hal-00751304v2⟩