UP Lecture 17

Compilers
Error Handling (FIRST set)
(202503)

Transcript

1. jgs Compilers Lecture 17: Error Handling Dr. Javier Gonzalez-Sanchez jgonzalezs@up.edu.mx
2. jgs Test Yourselves
3. Dr. Javier Gonzalez-Sanchez | Compilers | 3 jgs Are there syntactical errors? class One { void m () { int x; float x; string x; char x; void x; boolean x; } }
4. Dr. Javier Gonzalez-Sanchez | Compilers | 4 jgs Are there syntactical errors? class Two { void m (void x) { int x; x = 5; x = 05; x = 0x5ff; x = 5.55; x = "five"; x = '5'; x = false; } }
5. Dr. Javier Gonzalez-Sanchez | Compilers | 5 jgs Are there syntactical errors? class Three{ void something () { x = "hello" + "world" – 'w' * 5 / 3.4; x = y – hello & 0xffff | 05; x = -7; x = !y; x = (cse340 + cse310) / cse101 ; } }
6. Dr. Javier Gonzalez-Sanchez | Compilers | 6 jgs Are there syntactical errors? class Four { void something () { float a; x = 0; int x; y = 1 + 1; x = (0b11) +(05 – 0xFF34); while (2 == "hi") { a = 2 > (4 + Y); if (true) { if( 2 + 2 ) {} else {} } } print ("hello" + "world"); } }
7. Dr. Javier Gonzalez-Sanchez | Compilers | 7 jgs Are there syntactical errors? class Five { void something () { if ( if ( if (x – 3) {} ) ) { print ("hello" + "world"); } if (); if (x > 5); ; :) } }
8. Dr. Javier Gonzalez-Sanchez | Compilers | 8 jgs First Attempt public void error () { System.out.println(”error”); System.exit(); }
9. Dr. Javier Gonzalez-Sanchez | Compilers | 9 jgs Second Attempt private void error(int error) throws Exception { throw new Exception( "Error " + error + " at word " + tokens.get(currentToken).getValue() ); }
10. Dr. Javier Gonzalez-Sanchez | Compilers | 10 jgs 1 •Understand de provided source code (3 rules) 2 •Program the rules PROGRAM, BODY, EXPRESSION, X, Y, R, E, C (11 rules) 3 •Program the full set of rules in the grammar (23 rules) 4 •(one error and stop) •PANIC MODE 5 •Implement error synchronization •ERROR RECOVERY What Next
11. jgs Error Recovery
12. Dr. Javier Gonzalez-Sanchez | Compilers | 12 jgs Error Recovery Error recovery is about ignoring tokens. ▪ How do we know which tokens should be ignored and how many?
13. Dr. Javier Gonzalez-Sanchez | Compilers | 13 jgs Parser | Error Recovery Rule FIRST set FOLLOW set PROGRAM { EOF BODY FIRST (PRINT) U FIRST (ASIGNMENT) U FIRST(VARIABLE) U FIRST (WHILE) U FIRST(IF) U FIRST (RETURN) } PRINT print ; ASSIGNMENT identifier ; VARIABLE int, float, boolean, void, char, string ; WHILE while } U FIRST(BODY) IF if } U FIRST(BODY) RETURN return ; EXPRESSION FIRST(X) ), ; X FIRST(Y) | U FOLLOW(EXPRESSION) Y ! U FIRST(R) & U FOLLOW(X) R FIRST(E) FOLLOW(Y) E FIRST (A) !=, ==, >, < U FOLLOW(R) A FIRST (B) -, + U FOLLOW(E) B - U FIRST (C) *, /, U FOLLOW(A) C integer, octal, hexadecimal, binary, true, false, string, char, float, identifier, ( FOLLOW(B)
14. jgs Calculating the First Set
15. Dr. Javier Gonzalez-Sanchez | Compilers | 15 jgs FIRST set Definition FIRST (a) is the set of tokens that can begin the construction a. Example <E> → <A> {+ <A>} <A> → <B> {* <B>} <B> → -<C> | <C> <C> → integer FIRST(E) = {-, integer} FIRST(A) = {-, integer} FIRST(B) = {-, integer} FIRST(C) = {integer}
16. Dr. Javier Gonzalez-Sanchez | Compilers | 16 jgs Calculate the FIRST set loop
17. Dr. Javier Gonzalez-Sanchez | Compilers | 17 jgs FIRST set PROGRAM FIRST(PROGRAM) = { "{"}
18. Dr. Javier Gonzalez-Sanchez | Compilers | 18 jgs FIRST set Define FIRST (BODY) FIRST(BODY) = FIRST (PRINT) U FIRST (ASSIGNMENT) U FIRST(VARIABLE) U FIRST(WHILE) U FIRST(IF) U FIRST(RETURN)
19. Dr. Javier Gonzalez-Sanchez | Compilers | 19 jgs FIRST set Define FIRST (C)
20. Dr. Javier Gonzalez-Sanchez | Compilers | 20 jgs FIRST set Define FIRST (A) Define FIRST (B)
21. Dr. Javier Gonzalez-Sanchez | Compilers | 21 jgs FIRST set <S> → <A><B><C> <S> → <F> <A> → <E><F>d <A> → a <B> → a<B>b <B> → ε <C> → c<C> <C> → d <E> → e<E> <E> → <F> <F> → <F>f <F> → ε
22. Dr. Javier Gonzalez-Sanchez | Compilers | 22 jgs FIRST set S → ABC S → F A → EFd A → a B → aBb B → ε C → cC C → d E → eE E → F F → Ff F → ε rule FIRST set - evolution S ø {a, ε} {a, ε, e, f} {a, ε, e, f, d} A ø {a} {a, e} {a, e, f, d} B ø {a, ε} C ø {c, d} E ø {e} {e, ε} {e, ε, f} F ø {ε} {ε, f}
23. jgs Test Yourselves Calculate FIRST set
24. Dr. Javier Gonzalez-Sanchez | Compilers | 24 jgs FIRST set | Exercise <X> → <A> | <A> a <A> → <B> | <B> b <B> → <C><D><E> | c d e | <C> c <D> d <E> e <C> → one <D> → two <E> → three
25. Dr. Javier Gonzalez-Sanchez | Compilers | 25 jgs FIRST set | Exercise <X> → <A> <X> → <A> a <A> → <B> <A> → <B> b <B> → <C><D><E> <B> → c d e <B> → <C> c <D> d <E> e <C> → one <D> → two <E> → three OPTION 1: FIRST(X) = {c, one} FIRST(A) = {c, one} FIRST(B) = {c, one} FIRST(C) = {one} FIRST(D) = {two} FIRST(E) = {three} OPTION 2: FIRST(X) = {c, one, ε} FIRST(A) = {b, c, one} FIRST(B) = {c, one} FIRST(C) = {one} FIRST(D) = {two} FIRST(E) = {three}
26. Dr. Javier Gonzalez-Sanchez | Compilers | 26 jgs FIRST set | Exercise <X> → <A> <X> → <A> a <A> → <B> <A> → <B> b <B> → <C><D><E> <B> → c d e <B> → <C> c <D> d <E> e <C> → one <C> → ε <D> → two <D> → ε <E> → three FIRST(X) = {c, one, three, two} FIRST(A) = {c, one, three, two} FIRST(B) = {c, one, three, two} FIRST(C) = {one, ε} FIRST(D) = {two, ε} FIRST(E) = {three}
27. Dr. Javier Gonzalez-Sanchez | Compilers | 37 jgs Homework Working on your Parser
28. Dr. Javier Gonzalez-Sanchez | Compilers | 38 jgs Questions
29. jgs Compilers Javier Gonzalez-Sanchez, Ph.D. jgonzalezs@up.edu.mx Spring 2025 Copyright. These slides can only be used as study material for the Compilers course at Universidad Panamericana. They cannot be distributed or used for another purpose.