Niteroi, 19 de Março de 20041 I Workshop do Projeto VAS Verificação de Arquiteturas de Software.

Apresentação em tema: "Niteroi, 19 de Março de 20041 I Workshop do Projeto VAS Verificação de Arquiteturas de Software."— Transcrição da apresentação:

1 Niteroi, 19 de Março de 20041 I Workshop do Projeto VAS Verificação de Arquiteturas de Software

2 Niteroi, 19 de Março de 20042 eMaude Um plugin Eclipse para a linguagem Maude Matheus Mansur

3 Niteroi, 19 de Março de 20043 1.A Plataforma Eclipse O que é. Como funciona. –Pontos de Extensão (manifest.xml) –Framework de classes em Java para implemetação

4 Niteroi, 19 de Março de 20044 1.A Plataforma Eclipse Como nos pode ser útil. –Extension Point Editors* Perspectives Preference Pages New Wizards –Editors Extension Point Add-ons

5 Niteroi, 19 de Março de 20045

6 6

7 7 Exemplos de Add-ons

8 Niteroi, 19 de Março de 20048 2.A Primeira Abordagem Verificar como era estruturado os editores existentes –Modelo IDocument –Partições não sobrepostas –DocumentProvider

9 Niteroi, 19 de Março de 20049 2. A Primeira Abordagem

10 Niteroi, 19 de Março de 200410 2. A Primeira Abordagem Partições não sobrepostas –Possibilidade de aplicar diferentes Add-ons a cada uma delas. –Com isso posso utilizar um assistente de conteúdo diferente para cada parte do código Maude. –Ex.: Dentro de um módulo funcional não há necessidade de se exibir comandos do sistema.

11 Niteroi, 19 de Março de 200411 2. A Primeira Abordagem A estrutura do syntax highlight –Definido a partir de um conjunto de regras Regras de Padrões. –EndOfLineRule("***", aToken); –MultiLineRule([,],aToken); Regras de Palavras –WordRule(begin,aToken);

12 Niteroi, 19 de Março de 200412

13 Niteroi, 19 de Março de 200413 3. A Segunda Abordagem Maude não possuir palavras reservadas. Como é muito comum em outras linguagens. Isso permite falhas no syntax highlight.

14 Niteroi, 19 de Março de 200414

15 Niteroi, 19 de Março de 200415 3. A Segunda Abordagem O modelo padrão do eclipse para a funcionalidade do syntax highlight não atende as necessidades do Maude. Criar uma estrutura de árvore para armazenar a gramática BNF do Maude, e consultá-la para verificar se algo deve ser colorido ou não. Com isso não analisaremos apenas a palavra, mas também o local da palavra.

16 Niteroi, 19 de Março de 200416 I Workshop do Projeto VAS eMaude Um plugin Eclipse para a linguagem Maude Matheus Mansur www.ic.uff.br/~mmansur mmansur@ic.uff.br