JavaCC. Gerador de parser 100% Java –O mais utilizado pela comunidade Java Desenvolvido...
-
Upload
ricardo-bastos-caires -
Category
Documents
-
view
249 -
download
6
Transcript of JavaCC. Gerador de parser 100% Java –O mais utilizado pela comunidade Java Desenvolvido...
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 - [email protected]. Augusto Sampaio