Breve Tutorial de JavaCC

Transcrição

1 Breve Tutorial de JavaCC O que é? Instalação: Exemplos usados de: DOCS: Material de Apoio da Web

2 O compiler compiler JavaCC Gerador de parser/scanner descendente recursivo para a linguagem Java Versão atual: JavaCC 5.0 JavaCC é uma ferramenta que lê a especificação da gramática em EBNF (a descrição dos tokens está no mesmo arquivo da gramática e é dada em ER) e converte ela para um programa em Java que pode reconhecer programas para a dada gramática. The input to the lexical analyser is a sequence of character represented by a Java InputStream object or a Java Reader object. The output of the lexical analysers is fixed by JavaCC: it is a sequence of Token objects. The input to the parser is again fixed, it is a sequence of Token objects. The output of the parser is, however, not prescribed by JavaCC at all; it is whatever the programmer wants it to be, as long as it can be expressed in Java. Pode gerar uma representação intermediária na forma de uma árvore sintática abstrata via ferramenta JJTree, que acompanha o JavaCC. No nosso projeto a saída será somente a decisão do programa estar correto léxica e sintaticamente.

3 Instalação Instale Java na sua máquina (p.e. JDK 6) Faça download do arquivo ZIP ou GZIP de: e descompacte Add the bin directory within the JavaCC installation to your path The javacc, jjtree, and jjdoc invocation scripts/executables reside in this directory.

4 Primeiro exemplo: Soma de Inteiros Somar listas de números como: Permitiremos espaços e quebras de linhas O arquivo de especificação para o JavaCC se chamará adder.jj e terá especificação da parte léxica e da gramática adder.jj tem 3 partes:

5 1. Declaração da classe e de opções A primeira parte do arquivo contém um template da classe onde se decide as propriedades (nome, visibilidade, etc.) da classe do parser Java que será gerado. JavaCC irá aumentar esta classe no processo de geração. O nome da classe é Adder" Classes de exceções serão geradas pelo JavacC Método gerado pelo símbolo inicial da gramática Parser obtém tokens do A Léxico

6

7 Outro template de classe Método gerado pelo símbolo inicial da gramática

8 2. Especificação do A Léxico Nomes dos Tokens e suas ER. JavaCC trata do EOF automaticamente

9 Exemplos de arquivos de entrada A Léxico encontra 7 tokens: um número, um espaço, um plus, outro espaço, outro número, um newline e um EOF. Os tokens marcados com skip não são passados ao parser; ele só vê: Quando o A Léxico vê ele gera uma exceção

10 Outros exemplos de A Léxico ER locais ganham #

11 3. Especificação do parser em EBNF

12 Gerando o parser e A Léxico

13

14 Exemplo de parser com ações options { LOOKAHEAD=2; } PARSER_BEGIN(Calculator) public class Calculator { public static void main(string args[]) throws ParseException { Calculator parser = new Calculator(System.in); while (true) { parser.parseoneline(); } } } PARSER_END(Calculator) SKIP : { " " "\r" "\t" } TOKEN: { < NUMBER: (<DIGIT>)+ ( "." (<DIGIT>)+ )? > < DIGIT: ["0"-"9"] > < EOL: "\n" > }

15

16 Gerando o parser: 7 arquivos

17 Rodar após compilar os 7

18 Customizando as mensagens de erros do A Léxico e Parser JavaCC gera dois arquivos para gerenciar os erros léxicos e sintáticos: TokenMgrError.java ParseException.java Estes podem ser editados para customização das mensagens, respeitando as partes que não podem ser alteradas.

19 Material de Apoio Use JavaCC to build a user friendly boolean query language brereton/index.html Build your own languages with JavaCC JavaCC, parse trees, and the XQuery grammar, Part 1 JavaCC, parse trees, and the XQuery grammar, Part 2