JavaCC

JavaCC

• Gerador de parser 100% Java– O mais utilizado pela comunidade Java

• Desenvolvido inicialmente pela Sun– Hoje é mantido pela java.net

• É um parser top-down– Mais fácil de depurar

• Utiliza uma sintaxe muito próxima de Java

JavaCC

• Desvantagens– Mistura código Java com a gramática– Não checa a corretude do código Java inserido– Pode gerar classes que não compilam

JavaCC

• Inclui um pré-processador para geração de árvores sintáticas (jjTree)

• Possui um repositório de gramáticas bastante extenso disponível – inclui linguagens como Java, C, C++, Perl, etc

• Possui uma interface gráfica fácil de usar• Definições léxicas e sintáticas em um único arquivo• Não aceita ambigüidades.

– Ex: A gramática não pode possuir recursão à esquerda.(ex: expr:= expr ‘+’ expr)

JavaCC

• Instalação

– Via Eclipse MarketPlace

OU

– Update site: http://eclipse-javacc.sourceforge.net/

Gramáticas em JavaCC

• Uma gramática JavaCC possui a seguinte estrutura:– Opções do Parser (Não obrigatório)– Definição da classe do Parser– Definição dos Tokens (Componente Léxico)

• Terminais– Definição das Produções (Componente Sintático)

• Ações semânticas associadas• Não-Terminais

Opções do parser

• STATIC – diz se os métodos do parser serão estáticos (default: true)

• LOOKAHEAD – informa o nível de profundidade do lookahead (default: 1)

• IGNORE_CASE– instrui o parser a ser ou não case sensitive (default: false)

• DEBUG_PARSER – instrui o parser a registrar todas as informações durante o parsing do arquivo (default: false)

• Mais opções : https://javacc.java.net/doc/javaccgrm.html

Definição do Parser

• Este trecho define a classe do Parser. Nesta classe, podem ser definidos métodos e variáveis auxiliares. O formato é o seguinte:

PARSER_BEGIN(parser_name) ...class parser_name ...{ ... } ... PARSER_END(parser_name)

Definição dos tokens

• Serve para especificar os tipos de tokens e as expressões regulares associadas

• Nesta seção são descritas as palavras reservadas

TOKEN: { < NUMBER: (<DIGIT>)+ ( "." (<DIGIT>)+ )? > | < DIGIT: ["0"-"9"] > | < EOL: "\n" > }

Definição das produções

• Obedecem o seguinte formato:tipoRetorno nomeProducao(listaParametros):{ código Java}{ subProducao1() { ação semântica correspondente } [lista de subProducoes]}

Declaração de variáveis, invocação de métodos,

etc

Código Java. Em geral, corresponde a montagem da

árvore

Exemplo: BNF SOMA

Calculadora ::= Soma | SubtracaoSoma ::= Numero “+” NumeroSubtracao  ::= Numero “-” NumeroNumero::= [0-9]+

Exemplo: EBNF

Programa ::= ExpressaoExpressao ::= Valor | ExpUnaria | ExpBinariaValor ::= ValorConcretoValorConcreto ::= ValorInteiro | ValorBooleano | ValorStringExpUnaria ::= "-" Expressao | "not" Expressao | "length" ExpressaoExpBinaria ::= Expressao "+" Expressao | Expressao "-" Expressao

| Expressao "and" Expressao| Expressao "or" Expressao| Expressao "==" Expressao| Expressao "++" Expressao

Exemplo: EBNF

Programa ::= ExpressaoExpressao ::= Valor | ExpUnaria | ExpBinariaValor ::= ValorConcretoValorConcreto ::= ValorInteiro | ValorBooleano | ValorStringExpUnaria ::= "-" Expressao | "not" Expressao | "length" ExpressaoExpBinaria ::= Expressao "+" Expressao | Expressao "-" Expressao

| Expressao "and" Expressao| Expressao "or" Expressao| Expressao "==" Expressao| Expressao "++" Expressao

Lembre-se de que o JavaCC não permite recursão à

esquerda, por isso, é necessário modificar a

gramática antes de traduzí-la.

Exemplo: EBNF

Programa ::= ExpressaoExpressao ::= ExpressaoParExpressaoPar ::= ExpCondicionalOr ExpCondicionalOr ::= ExpCondicionalAnd ("or" ExpCondicionalAnd)*ExpCondicionalAnd ::= ExpIgualdade ("and" ExpIgualdade)*ExpIgualdade ::= ExpAritmetica ("==" ExpAritmetica)?ExpAritmetica ::= ExpConcatenacao (("+" | "-") ExpConcatenacao)*ExpConcatenacao ::= ExpUnaria ("++" ExpUnaria)*ExpUnaria ::= "-" Expressao | "not" Expressao | ValorConcretoValorConcreto ::= ValorInteiro | ValorBooleano | ExpParExpPar ::= “(“Expressao“)”

Exercício

• Altere o exemplos dados para que estes possam reconhecer as seguintes expressões:– exponenciação -> expr ::= expr ^ expr– Valor concreto String e a expressão “length”

• Acrescente o que for necessário para fazer o parser de Expressões2

Exemplo: EBNF

Programa ::= ExpressaoExpressao ::= ExpressaoParExpressaoPar ::= ExpCondicionalOr ExpCondicionalOr ::= ExpCondicionalAnd ("or" ExpCondicionalAnd)*ExpCondicionalAnd ::= ExpIgualdade ("and" ExpIgualdade)*ExpIgualdade ::= ExpAritmetica ("==" ExpAritmetica)?ExpAritmetica ::= ExpConcatenacao (("+" | "-") ExpConcatenacao)*ExpConcatenacao ::= ExpUnaria ("++" ExpUnaria)*ExpUnaria ::= "-" Expressao | "not" Expressao | "length" Expressao | ValorConcretoValorConcreto ::= ValorInteiro | ValorBooleano | ValorString | ExpParExpPar ::= “(“Expressao“)”

Referências

• https://javacc.dev.java.net/• https://javacc.dev.java.net/doc/docindex.html• http://www.cs.aau.dk/~bt/SPOF07/Lecture4.htm• http://www.antlr.org/works/index.html• http://en.wikipedia.org/wiki/Top-down_parsing • http://en.wikipedia.org/wiki/Bottom-up_parsing

PLP – JavaCCJava Compiler Compiler

Joabe Jesus - jbjj@cin.ufpe.brProf. Augusto Sampaio