CS 164: Programming Assignment 1

Note: Users running Windows should replace the colon (:) with a semicolon (;) in the classpath argument for all command listed below.

Getting started

Run the following command to generate and compile your parser, and then run all the provided tests:

mvn clean package

java -cp "chocopy-ref.jar:target/assignment.jar" chocopy.ChocoPy --pass=s --test --dir src/test/data/pa1/sample/

In the starter code, only one test should pass. Your objective is to build a parser that passes all the provided tests and meets the assignment specifications.

To manually observe the output of your parser when run on a given input ChocoPy program, run the following command (replace the last argument to change the input file):

java -cp "chocopy-ref.jar:target/assignment.jar" chocopy.ChocoPy --pass=s src/test/data/pa1/sample/expr_plus.py

You can check the output produced by the staff-provided reference implementation on the same input file, as follows:

java -cp "chocopy-ref.jar:target/assignment.jar" chocopy.ChocoPy --pass=r src/test/data/pa1/sample/expr_plus.py

Try this with another input file as well, such as src/test/data/pa1/sample/coverage.py, to see what happens when the results disagree.

Assignment specifications

See the PA1 specification on the course website for a detailed specification of the assignment.

Refer to the ChocoPy Specification on the CS164 web site for the specification of the ChocoPy language.

Receiving updates to this repository

Add the upstream repository remotes (you only need to do this once in your local clone):

git remote add upstream https://github.com/cs164berkeley/pa1-chocopy-parser.git

To sync with updates upstream:

git pull upstream master

Membros

• Team member 1: Felipe Mendes Salles

• Horas: 25 horas

• Team member 2: Fernando Moreira da Silva Filho

• Horas: 30 horas

• Team member 3: Lucas Lopes de Moraes Pinto

• Horas: 12 horas

• Horas totais: 67

Referências

• Jflex: https://www.jflex.de/
• Jflex: https://johnidm.gitbooks.io/compiladores-para-humanos/content/part2/using-jflex-java-cup.html
• Cup: https://www.cs.princeton.edu/~appel/modern/java/CUP/manual.html
• Cup: https://javadoc.io/doc/edu.princeton.cup/java-cup/latest/index.html
• Cup: https://www.inf.ufes.br/~tavares/labcomp2000/downlex.html

Respostas da Entrega 1

###1- Que estratégia você usou para emitir tokens INDENT e DEDENT corretamente? Mencione o nome do arquivo e o(s) número(s) da(s) linha(s) para a parte principal da sua solução.

R: A estratégia para emissão correta dos tokens INDENT e DEDENT no arquivo ChocoPyLexer.jflex (linhas 89-137 e 205-217) baseia-se em uma implementação de pilha que avalia os níveis de indentação. Durante a análise léxica no estado YYINITIAL, o lexer calcula a indentação atual (indent_current) contando espaços (1 por caractere) e tabs (8 espaços). Quando encontra um caractere não-branco, compara a indentação atual com o topo da pilha (currentTop): se maior, empilha o novo nível e emite INDENT; se menor, desempilha e emite DEDENT, com verificação de consistência para detectar indentação inválida. No final do arquivo (<>), a estratégia desempilha todos os níveis restantes, emitindo DEDENTs pendentes para fechar blocos abertos, garantindo que a estrutura do código esteja corretamente aninhada mesmo sem delimitadores explícitos. A pilha mantém o histórico de níveis válidos, enquanto as transições entre YYINITIAL e YYAFTER controlam quando a indentação deve ser verificada.

###2- Como sua solução ao item 1 se relaciona ao descrito na seção 3.1 do manual de referência de ChocoPy? (Arquivo chocopy_language_reference.pdf.)

R: Nossa solução implementa os requisitos do manual do ChocoPy sobre indentação, utilizando uma pilha para gerenciar os níveis de indentação conforme especificado. Assim como descrito no manual, ao detectar um aumento na indentação em relação ao topo da pilha, um token INDENT é emitido e o novo nível é empilhado (linhas 129-137), enquanto uma diminuição gera tokens DEDENT até alcançar um nível válido (linhas 110-125), incluindo o tratamento especial para TABS como 8 espaços (linhas 92-96). O fechamento de blocos no final do arquivo (linhas 205-217) também segue estritamente a especificação, emitindo DEDENTs para todos os níveis pendentes na pilha, garantindo que todas as estruturas indentadas sejam corretamente finalizadas, exatamente como especifica o manual de referência.

###3 Qual foi a característica mais difícil da linguagem (não incluindo identação) neste projeto? Por que foi um desafio? Mencione o nome do arquivo e o(s) número(s) da(s) linha(s) para a parte principal de a sua solução.

R: Consideramos que a característica mais difícil, foi sem dúvidas o tratamento do if, elif e else, para garantir que a estrutura de um if com vários elif e else, fossem corretamente transformadas em uma sequência de nós IfStmt aninhados. Isso não é trivial de expressar gramaticamente, pois exige uma recursividade cuidadosa para diferenciar um elif (um novo IfStmt) e um else (finaliza a cadeia condicional). Isso tudo foi no arquivo ChocoPy.cup, o if (linhas 293-297), elif e else(linhas 300-303).