Diêgo Santiago, Leila Soriano e Patrícia Lustosa
description
Transcript of 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