Diêgo Santiago, Leila Soriano e Patrícia Lustosa

Diêgo Santiago, Leila Soriano e Patrícia Lustosa27/03/2008

JaTSJaTS

Java Transformation Java Transformation SystemSystem

Parte 1Parte 1

Sistema - JaTS

Ferramenta e linguagem de Ferramenta e linguagem de transformação de código Javatransformação de código Java

Permite geração e transformação de Permite geração e transformação de códigocódigo

Baseada em templates e variáveisBaseada em templates e variáveis

2

Sistema - JaTSJaTS

public class Livro {

private String autor

private String editora;

}

ModifierList:#MODIFICADOR class #NOME_CLASSE {

FieldDeclarationSet:#ATRIBUTOS;

}

ModifierList:#MODIFICADOR class #NOME_CLASSE {

FieldDeclarationSet:#ATRIBUTOS; private String isbn;

}

public class Livro {

private String autor

private String editora;

private String isbn;

}

Código FonteTransformação Fonte

Transformação Destino

Código Destino

3

Arquitetura JaTSArquitetura JaTS

Saída

ParserParser

TransformationTransformation

PrettyPrintingPrettyPrinting

SaídaSaída

Código FonteCódigo FonteTemplate FonteTemplate FonteTemplate DestinoTemplate Destino

Código DestinoCódigo Destino

SaídaSaída

EntradaEntrada

4

ParserParser

Analisador Léxico e SintáticoAnalisador Léxico e Sintático Identifica se o código Identifica se o código

Java/JaTS está bem formadoJava/JaTS está bem formado Cria a Árvore Sintática de Cria a Árvore Sintática de

nós Java/JaTSnós Java/JaTS

ParserParser

TransformationTransformation

PrettyPrintingPrettyPrinting

5

TransformationTransformation

MatcherMatcher Faz o casamento entre o Faz o casamento entre o

código fonte e o template código fonte e o template fontefonte

ReplacerReplacer Casa os valores das Casa os valores das

variáveis no template variáveis no template destino que dará origem ao destino que dará origem ao código destinocódigo destino

ProcessorProcessor Processa declarações Processa declarações

executáveis e iterativasexecutáveis e iterativas

ParserParser

TransformationTransformation

PrettyPrintingPrettyPrinting

6

Pretty PrintingPretty Printing

““Imprime” o código destino Imprime” o código destino da transformaçãoda transformação

ParserParser

TransformationTransformation

PrettyPrintingPrettyPrinting

7

Sistema - JaTS8

Concerns

Parse Transformation

Match Process Replacement

Pretty Print Syntactic Tree ThrowsException

9

Exemplo - Match 10

Exemplo - Replacement11

Exemplo – Syntactic Tree12

Exemplos – Código relacionado a mais de um

Concern13

Atividade de Atribuição dos Concerns

Número de linhas de código marcadas: 30.477 Tempo total para marcar: 24 horas Dúvidas

Classes do pacote util Interface e classes abstratas Classes geradas automaticamente Main Cloning

Problemas ConcernTagger

14

Métricas15

Conclusão

Parser, Replacement e Pretty Printing não são crosscutting concerns

Transformation, Match, Process e Syntatic Tree são crosscutting concerns entre si

ThrowsException é crosscutting concern em relação a todos os outros concerns

16

Conclusão

Foram analisados o CDC e o DOSC As métricas foram úteis para avaliar os

possíveis crosscutting concerns, mas não para avaliar a relação entre eles

Avaliamos os crosscutting pelo que era conhecido do projeto. A métrica que mais se aproximou do analisado foi DOSC.

17

Referências

Eaddy, M et al. Do Crosscutting Concerns Cause Defects?

Eaddy, M et al. Identifying, Assigning, and Quantifying Crosscutting Concerns

Site do JaTS http://www.cin.ufpe.br/~jats/

18

Diêgo Santiago, Leila Soriano e Patrícia Lustosa07/04/2008

JaTSJaTS

Java Transformation Java Transformation SystemSystem

Parte 2Parte 2

20

Gráfico de Clones

Exemplo – Classes Diferentes

21

Exemplo – Classes Diferentes

22

Exemplo – Classes Diferentes

23

Exemplo – Mesma Classe24

Parâmetros de Configuração25

Quantidade de Clones26

Quantidade de Classes

591 pares de clones

Parser 24 pares de clones Match 80 pares de clones Replacement 330 pares de clones Process 75 pares de clones Pretty Print 82 pares de clones

27

Diêgo Santiago, Leila Soriano e Patrícia Lustosa19/05/2008

JaTSJaTS

Java Transformation Java Transformation SystemSystem

Parte 3Parte 3

ThrowsAspect

Aspecto criado para modularizar o lançamento de exceções.

Foram criados pointcuts e utilizados advices para verificação da nulidade dos parâmetros passados nos métodos.

29

MatchAspect

Aspecto criado para modularizar o crosscutting concern Match.

Em cada nó da árvore sintática existe um método match.

O MatchAspect reúne todos os métodos match dos nós.

31

ProcessAspect

Aspecto criado para modularizar o crosscutting concern Process.

Em cada nó da árvore sintática existe um método process.

O ProcessAspect reúne todos os métodos process dos nós.

Possui um pointcut process() e o advice around, que verifica a condição de um nó ser executavel

33

AcceptAspect

Aspecto que modulariza as chamadas ao método accept.

Cada nó possui um método accept. O Accept é usado pelos visitors, fazendo

assim parte desse concern.

35

Refactorings

Law 3 Add before-execution Usando esta lei podemos mover o inicio do

corpo do método para a um advice que roda antes da execução do método.

ThrowsAspect 96 before 554 advises

37

Refactorings

Law 7 Add after-execution returning successfully Usando esta lei podemos mover o final do

corpo do método para a um advice que roda depois da execução do método, executado com sucesso.

ThrowsAspect 1 after returning 11 advises

38

Refactorings

Law 11 Add around-execution Esta lei é usada quando a execução do núcleo

lógico método é condicional, ou seja, o núcleo lógico do método pode ou não ser executado.

ProcessAspect 1 around 50 advises

39

Refactorings

Law 18 Soften exception Esta lei é responsável por tornar uma exceção

levantada por um join point numa exceção soft. ThrowsAspect

21 declare soft

Law 20 Remove exception from throws clause Esta lei remove a exceção da cláusula throws do

método que não a levanta mais. Law 21 Move exception handling to aspect

Esta lei move o tratamento de uma exceção para um aspecto.

40

Refactorings

Law 23 Move method to aspect Esta lei tem o propósito de mover a

implementação de um método num aspecto usando uma inter-type declaration.

ProcessAspect 13 method inter-type declaration

MatchAspect 16 method inter-type declaration

AcceptAspect 13 method inter-type declaration

41

42

Gráfico de Clones

Exemplo – Classes Diferentes

43

Parâmetros de Configuração44

Quantidade de Clones45

419 pares de clones

Diêgo Santiago, Leila Soriano e Patrícia Lustosa09/06/2008

JaTSJaTS

Java Transformation Java Transformation SystemSystem

Parte 4Parte 4

Design Rules

dr ExecucaoProcessNodes{

class SimpleNode{

Object process(Object o);

}

aspect{

pointcut process(SimpleNode node, Object data): execution(Object SimpleNode+.process(Object)) }

}

47

Design Rules

dr ExecucaoVisit {

class JaTSVisitor{

Object visit(JaTSNode node, Object o);

}

aspect{

pointcut visit(JaTSNode node, Object o): execution(Object JaTSVisitor+.visit(JaTSNode+, Object))

}

}

48

Design Rules

dr ExecucaoMatchNodes{

class JaTSNode{

void match(JaTSNode node, ResultSet result);

}

aspect{

pointcut nodesMatch(JaTSNode nodeParameter, ResultSet rs, JaTSNode node): execution(void

JaTSNode+.match(JaTSNode, ResultSet))

}

}

49

Dúvidas?50