TopDownOperatorPrecedenceにおけるExpressionの解析処理を追う

Transcript

1. TopDownOperatorPreceden ce(再帰下降構文解析)におけ るExpression(式)の解析処理 を追う
2. 3 + 2 + 1
3. ((3 + 2) + 1)
4. *ast.InfixExpression *ast.InfixExpression *ast.IntegerLiteral *ast.IntegerLiteral *ast.IntegerLiteral 3 2 1
5. BEGIN parseExpresssionStatement BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseExpresssionStatement
6. -3 + 10 * 2 + 1; 18
7. (((-3) + (10 * 2)) + 1);
8. *ast.InfixExpres sion *ast.InfixExpres sion *ast.PrefixExpre ssion *ast.InfixExpres sion *ast.IntegerLiter al *ast.IntegerLiter al *ast.IntegerLiter al *ast.IntegerLiter al 3 10 2 1
9. BEGIN parseExpresssionStatement BEGIN parseExpresssion BEGIN parsePrefixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parsePrefixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseInfixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseExpresssionStatement
10. func (p *Parser) parseExpressionStatement() *ast.ExpressionStatement { stmt := &ast.ExpressionStatement{Token: p.curToken} stmt.Expression = p.parseExpression(LOWEST) if p.peekTokenIs(token.SEMICOLON) { p.nextToken() } return stmt }
11. BEGIN parseExpresssionStatement BEGIN parseExpresssion BEGIN parsePrefixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parsePrefixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseInfixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseExpresssionStatement
12. func (p *Parser) parseExpression(precedence int /*LOWEST*/) ast.Expression { prefix/*parsePrefixExpression*/ := p.prefixParseFns[p.curToken.Type] /* - MINUS*/ if prefix == nil { p.noPrefixParseFnError(p.curToken.Type) return nil } leftExp := prefix()/*parsePrefixExpression*/ for !p.peekTokenIs(token.SEMICOLON) && precedence < p.peekPrecedence() { infix := p.infixParseFns[p.peekToken.Type] if infix == nil { return leftExp } p.nextToken() leftExp = infix(leftExp) } return leftExp } 1
13. BEGIN parseExpresssionStatement BEGIN parseExpresssion BEGIN parsePrefixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parsePrefixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseInfixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseExpresssionStatement
14. func (p *Parser) parsePrefixExpression() ast.Expression { expression := &ast.PrefixExpression{ Token: p.curToken, /* - MINUS*/ Operator: p.curToken.Literal, } p.nextToken() /* 3*/ expression.Right = p.parseExpression(PREFIX) return expression }
15. *ast.InfixExpres sion *ast.InfixExpres sion *ast.PrefixExpre ssion *ast.InfixExpres sion *ast.IntegerLiter al *ast.IntegerLiter al *ast.IntegerLiter al *ast.IntegerLiter al 3 10 2 1 -
16. BEGIN parseExpresssionStatement BEGIN parseExpresssion BEGIN parsePrefixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parsePrefixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseInfixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseExpresssionStatement
17. func (p *Parser) parseExpression(precedence int /*PREFIX*/) ast.Expression { prefix/*parsePrefixExpression*/ := p.prefixParseFns[p.curToken.Type] /* 3 IDENT*/ if prefix == nil { p.noPrefixParseFnError(p.curToken.Type) return nil } leftExp := prefix()/*parseIntegerLiteral*/ for !p.peekTokenIs(token.SEMICOLON) && precedence < p.peekPrecedence() { infix := p.infixParseFns[p.peekToken.Type] if infix == nil { return leftExp } p.nextToken() leftExp = infix(leftExp) } return leftExp } 2
18. BEGIN parseExpresssionStatement BEGIN parseExpresssion BEGIN parsePrefixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parsePrefixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseInfixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseExpresssionStatement
19. func (p *Parser) parseIntegerLiteral() ast.Expression { lit := &ast.IntegerLiteral{Token: p.curToken} value, err := strconv.ParseInt(p.curToken.Literal, 0, 64) if err != nil { msg := fmt.Sprintf("could not parse %q as integer", p.curToken.Literal) p.errors = append(p.errors, msg) return nil } lit.Value = value return lit }
20. *ast.InfixExpres sion *ast.InfixExpres sion *ast.PrefixExpre ssion *ast.InfixExpres sion *ast.IntegerLiter al *ast.IntegerLiter al *ast.IntegerLiter al *ast.IntegerLiter al 3 10 2 1 -
21. BEGIN parseExpresssionStatement BEGIN parseExpresssion BEGIN parsePrefixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parsePrefixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseInfixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseExpresssionStatement
22. func (p *Parser) parseExpression(precedence int /*PREFIX*/) ast.Expression { prefix/*parsePrefixExpression*/ := p.prefixParseFns[p.curToken.Type] /* 3 IDENT*/ if prefix == nil { p.noPrefixParseFnError(p.curToken.Type) return nil } leftExp/*&ast.IntegerLiteral{Token: p.curToken} 3 */ := prefix()/*parseIntegerLiteral*/ /*FLASE*/ for !p.peekTokenIs(token.SEMICOLON) && precedence/*PREFIX*/ < p.peekPrecedence() /* PLUS + */ { infix := p.infixParseFns[p.peekToken.Type] if infix == nil { return leftExp } p.nextToken() leftExp = infix(leftExp) } return leftExp } 2
23. BEGIN parseExpresssionStatement BEGIN parseExpresssion BEGIN parsePrefixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parsePrefixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseInfixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseExpresssionStatement
24. func (p *Parser) parsePrefixExpression() ast.Expression { expression := &ast.PrefixExpression{ Token: p.curToken, /* - MINUS*/ Operator: p.curToken.Literal, } p.nextToken() /* 3*/ expression.Right/*&ast.IntegerLiteral{Token: p.curToken} 3 */ = p.parseExpression(PREFIX) return expression }
25. BEGIN parseExpresssionStatement BEGIN parseExpresssion BEGIN parsePrefixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parsePrefixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseInfixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseExpresssionStatement
26. func (p *Parser) parseExpression(precedence int /*LOWEST*/) ast.Expression { prefix/*parsePrefixExpression*/ := p.prefixParseFns[p.curToken.Type] /* - MINUS*/ if prefix == nil { p.noPrefixParseFnError(p.curToken.Type) return nil } leftExp := prefix()/*parsePrefixExpression*/ leftExp / * &ast.PrefixExpression{Token: /* - MINUS*/ Operator: /* - */,Rignt: &ast.IntegerLiteral{Token:3} } */ /*TRUE*/ for !p.peekTokenIs(token.SEMICOLON) && precedence/*LOWEST*/ < p.peekPrecedence() /*PLUS*/{ infix := p.infixParseFns[p.peekToken.Type]/*PLUS*/ if infix == nil { return leftExp } p.nextToken() leftExp = infix(leftExp) /*parseInfixExpression*/ } return leftExp } 1
27. /* left = &ast.PrefixExpression{Token: /* - MINUS*/ Operator: /* - */,Rignt: &ast.IntegerLiteral{Token:3} } */ func (p *Parser) parseInfixExpression(left ast.Expression) ast.Expression { expression := &ast.InfixExpression{ Token: p.curToken, Operator: p.curToken.Literal, Left: left, } precedence := p.curPrecedence() / * PLUS*/ p.nextToken() expression.Right = p.parseExpression(precedence) return expression }
28. BEGIN parseExpresssionStatement BEGIN parseExpresssion BEGIN parsePrefixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parsePrefixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseInfixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseExpresssionStatement
29. func (p *Parser) parseExpression(precedence int / * PLUS*/ ) ast.Expression { prefix := p.prefixParseFns[p.curToken.Type / * 10*/ ] if prefix == nil { p.noPrefixParseFnError(p.curToken.Type) return nil } leftExp := prefix() /*parseIntegerLiteral*/ for !p.peekTokenIs(token.SEMICOLON) && precedence < p.peekPrecedence() { infix := p.infixParseFns[p.peekToken.Type] if infix == nil { return leftExp } p.nextToken() leftExp = infix(leftExp) } return leftExp } 3
30. BEGIN parseExpresssionStatement BEGIN parseExpresssion BEGIN parsePrefixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parsePrefixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseInfixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseExpresssionStatement
31. func (p *Parser) parseIntegerLiteral() ast.Expression { lit := &ast.IntegerLiteral{Token: p.curToken} /*10*/ value, err := strconv.ParseInt(p.curToken.Literal, 0, 64) if err != nil { msg := fmt.Sprintf("could not parse %q as integer", p.curToken.Literal) p.errors = append(p.errors, msg) return nil } lit.Value = value return lit }
32. *ast.InfixExpres sion *ast.InfixExpres sion *ast.PrefixExpre ssion *ast.InfixExpres sion *ast.IntegerLiter al *ast.IntegerLiter al *ast.IntegerLiter al *ast.IntegerLiter al 3 10 2 1 -
33. BEGIN parseExpresssionStatement BEGIN parseExpresssion BEGIN parsePrefixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parsePrefixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseInfixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseExpresssionStatement
34. func (p *Parser) parseExpression(precedence int / * PLUS*/ ) ast.Expression { prefix := p.prefixParseFns[p.curToken.Type / * 10*/ ] if prefix == nil { p.noPrefixParseFnError(p.curToken.Type) return nil } leftExp/*&ast.IntegerLiteral{Token: 10} */ := prefix() /*parseIntegerLiteral*/ /*TRUE*/ for !p.peekTokenIs(token.SEMICOLON) && precedence/*PLUS*/ < p.peekPrecedence()/*PRODUCT*/ { infix := p.infixParseFns[p.peekToken.Type] if infix == nil { return leftExp } p.nextToken() leftExp = infix(leftExp) /*parseInfixExpression*/ } return leftExp } 3
35. func (p *Parser) parseInfixExpression(left ast.Expression /*&ast.IntegerLiteral{Token: 10} */ ) ast.Expression { expression := &ast.InfixExpression{ Token: p.curToken, Operator: p.curToken.Literal, Left: left,/*&ast.IntegerLiteral{Token: 10} */ } precedence := p.curPrecedence() /*PRODUCT */ p.nextToken() expression.Right = p.parseExpression(precedence) return expression }
36. *ast.InfixExpres sion *ast.InfixExpres sion *ast.PrefixExpre ssion *ast.InfixExpres sion *ast.IntegerLiter al *ast.IntegerLiter al *ast.IntegerLiter al *ast.IntegerLiter al 3 10 2 1 -
37. BEGIN parseExpresssionStatement BEGIN parseExpresssion BEGIN parsePrefixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parsePrefixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseInfixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseExpresssionStatement
38. func (p *Parser) parseExpression(precedence int /*PRODUCT*/ ) ast.Expression { prefix := p.prefixParseFns[p.curToken.Type/*2*/ ] if prefix == nil { p.noPrefixParseFnError(p.curToken.Type) return nil } leftExp := prefix()/* parseIntegerLiteral*/ for !p.peekTokenIs(token.SEMICOLON) && precedence < p.peekPrecedence() { infix := p.infixParseFns[p.peekToken.Type] if infix == nil { return leftExp } p.nextToken() leftExp = infix(leftExp) } return leftExp } 4
39. BEGIN parseExpresssionStatement BEGIN parseExpresssion BEGIN parsePrefixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parsePrefixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseInfixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseExpresssionStatement
40. func (p *Parser) parseIntegerLiteral() ast.Expression { lit := &ast.IntegerLiteral{Token: p.curToken} /*2*/ value, err := strconv.ParseInt(p.curToken.Literal, 0, 64) if err != nil { msg := fmt.Sprintf("could not parse %q as integer", p.curToken.Literal) p.errors = append(p.errors, msg) return nil } lit.Value = value return lit }
41. *ast.InfixExpres sion *ast.InfixExpres sion *ast.PrefixExpre ssion *ast.InfixExpres sion *ast.IntegerLiter al *ast.IntegerLiter al *ast.IntegerLiter al *ast.IntegerLiter al 3 10 2 1 - *
42. BEGIN parseExpresssionStatement BEGIN parseExpresssion BEGIN parsePrefixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parsePrefixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseInfixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseExpresssionStatement
43. func (p *Parser) parseExpression(precedence int /*PRODUCT*/ ) ast.Expression { prefix := p.prefixParseFns[p.curToken.Type/*2*/ ] if prefix == nil { p.noPrefixParseFnError(p.curToken.Type) return nil } leftExp/* &ast.IntegerLiteral{Token: 2}*/ := prefix()/* parseIntegerLiteral*/ /*FALSE*/ for !p.peekTokenIs(token.SEMICOLON) && precedence/*PRODUCT*/ < p.peekPrecedence() /*PLUS*/ { infix := p.infixParseFns[p.peekToken.Type] if infix == nil { return leftExp } p.nextToken() leftExp = infix(leftExp) } return leftExp } 4
44. BEGIN parseExpresssionStatement BEGIN parseExpresssion BEGIN parsePrefixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parsePrefixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseInfixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseExpresssionStatement
45. func (p *Parser) parseInfixExpression(left ast.Expression /*&ast.IntegerLiteral{Token: 10} */ ) ast.Expression { expression := &ast.InfixExpression{ Token: p.curToken,*PLUS*/ Operator: p.curToken.Literal/*-*/ , Left: left,/*&ast.IntegerLiteral{Token: 10} */ } precedence := p.curPrecedence() /*PRODUCT */ p.nextToken() expression.Right/* &ast.IntegerLiteral{Token: 2}*/ = p.parseExpression(precedence) return expression }
46. BEGIN parseExpresssionStatement BEGIN parseExpresssion BEGIN parsePrefixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parsePrefixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseInfixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseExpresssionStatement
47. func (p *Parser) parseExpression(precedence int / * PLUS*/ ) ast.Expression { prefix := p.prefixParseFns[p.curToken.Type / * 10*/ ] if prefix == nil { p.noPrefixParseFnError(p.curToken.Type) return nil } leftExp/*&ast.IntegerLiteral{Token: 10} */ := prefix() /*parseIntegerLiteral*/ /*TRUE*/ for !p.peekTokenIs(token.SEMICOLON) && precedence/*PLUS*/ < p.peekPrecedence()/*PRODUCT*/ { infix := p.infixParseFns[p.peekToken.Type] if infix == nil { return leftExp } p.nextToken() leftExp = infix(leftExp) /*parseInfixExpression*/ &ast.InfixExpression{Token: PLUS,Operator: +l ,Left:/*&ast.IntegerLiteral{Token: 10} */ , Right: /*&ast.IntegerLiteral{Token: 2} */ } } 3
48. BEGIN parseExpresssionStatement BEGIN parseExpresssion BEGIN parsePrefixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parsePrefixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseInfixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseExpresssionStatement
49. /* left = &ast.PrefixExpression{Token: /* - MINUS*/ Operator: /* - */,Rignt: &ast.IntegerLiteral{Token:3} } */ func (p *Parser) parseInfixExpression(left ast.Expression) ast.Expression { expression := &ast.InfixExpression{ Token: p.curToken, PLUS Operator: p.curToken.Literal, PLUS Left: left, } precedence := p.curPrecedence() / * PLUS*/ p.nextToken() expression.Right = p.parseExpression(precedence) Right &ast.InfixExpression{Token: PLUS,Operator: +l ,Left:/*&ast.IntegerLiteral{Token: 10} */ , Right: /*&ast.IntegerLiteral{Token: 2} */ }} return expression
50. &ast.InfixExpression{ Token: PLUS Operator: PLUS Left: &ast.PrefixExpression{Token: /* - MINUS*/ Operator: /* - */,Rignt: &ast.IntegerLiteral{Token:3} } , Right: &ast.InfixExpression{Token: PLUS,Operator: +l ,Left:/*&ast.IntegerLiteral{Token: 10} */ , Right: /*&ast.IntegerLiteral{Token: 2} */ }} } = X
51. *ast.InfixExpres sion *ast.InfixExpres sion *ast.PrefixExpre ssion *ast.InfixExpres sion *ast.IntegerLiter al *ast.IntegerLiter al *ast.IntegerLiter al *ast.IntegerLiter al 3 10 2 1 - + *
52. BEGIN parseExpresssionStatement BEGIN parseExpresssion BEGIN parsePrefixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parsePrefixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseInfixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseExpresssionStatement
53. func (p *Parser) parseExpression(precedence int /*LOWEST*/) ast.Expression { prefix/*parsePrefixExpression*/ := p.prefixParseFns[p.curToken.Type] /* - MINUS*/ if prefix == nil { p.noPrefixParseFnError(p.curToken.Type) return nil } leftExp := prefix()/*parsePrefixExpression*/ /*TRUE*/ for !p.peekTokenIs(token.SEMICOLON) && precedence/*LOWEST*/ < p.peekPrecedence()/* PLUS*/ { infix := p.infixParseFns[p.peekToken.Type]/* PLUS*/ if infix == nil { return leftExp } p.nextToken() leftExp = infix(leftExpX)/*parseInfixExpression*/ } return leftExp } 1
54. func (p *Parser) parseInfixExpression(left ast.Expression X) ast.Expression { expression := &ast.InfixExpression{ Token: p.curToken, PLUS Operator: p.curToken.Literal,PLUS Left: left, X } precedence := p.curPrecedence() PLUS p.nextToken() expression.Right = p.parseExpression(precedence) return expression }
55. BEGIN parseExpresssionStatement BEGIN parseExpresssion BEGIN parsePrefixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parsePrefixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseInfixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseExpresssionStatement
56. func (p *Parser) parseExpression(precedence int PLUS) ast.Expression { prefix := p.prefixParseFns[p.curToken.Type] 1 if prefix == nil { p.noPrefixParseFnError(p.curToken.Type) return nil } leftExp := prefix() for !p.peekTokenIs(token.SEMICOLON) && precedence < p.peekPrecedence() { infix := p.infixParseFns[p.peekToken.Type] if infix == nil { return leftExp } p.nextToken() leftExp = infix(leftExp) } return leftExp } 5
57. BEGIN parseExpresssionStatement BEGIN parseExpresssion BEGIN parsePrefixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parsePrefixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseInfixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseExpresssionStatement
58. func (p *Parser) parseIntegerLiteral() ast.Expression { lit := &ast.IntegerLiteral{Token: p.curToken} 1 value, err := strconv.ParseInt(p.curToken.Literal, 0, 64) if err != nil { msg := fmt.Sprintf("could not parse %q as integer", p.curToken.Literal) p.errors = append(p.errors, msg) return nil } lit.Value = value return lit }
59. *ast.InfixExpres sion *ast.InfixExpres sion *ast.PrefixExpre ssion *ast.InfixExpres sion *ast.IntegerLiter al *ast.IntegerLiter al *ast.IntegerLiter al *ast.IntegerLiter al 3 10 2 1 - * +
60. BEGIN parseExpresssionStatement BEGIN parseExpresssion BEGIN parsePrefixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parsePrefixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseInfixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseExpresssionStatement
61. func (p *Parser) parseInfixExpression(left ast.Expression X) ast.Expression { expression := &ast.InfixExpression{ Token: p.curToken, PLUS Operator: p.curToken.Literal,PLUS Left: left, X } precedence := p.curPrecedence() PLUS p.nextToken() expression.Right = p.parseExpression(precedence) 1 return expression }
62. *ast.InfixExpres sion *ast.InfixExpres sion *ast.PrefixExpre ssion *ast.InfixExpres sion *ast.IntegerLiter al *ast.IntegerLiter al *ast.IntegerLiter al *ast.IntegerLiter al 3 10 2 1 - + * +
63. BEGIN parseExpresssionStatement BEGIN parseExpresssion BEGIN parsePrefixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parsePrefixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseInfixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseExpresssionStatement
64. func (p *Parser) parseExpression(precedence int /*LOWEST*/) ast.Expression { prefix/*parsePrefixExpression*/ := p.prefixParseFns[p.curToken.Type] /* - MINUS*/ if prefix == nil { p.noPrefixParseFnError(p.curToken.Type) return nil } leftExp := prefix()/*parsePrefixExpression*/ /*TRUE*/ for !p.peekTokenIs(token.SEMICOLON) && precedence/*LOWEST*/ < p.peekPrecedence()/* PLUS*/ { infix := p.infixParseFns[p.peekToken.Type]/* PLUS*/ if infix == nil { return leftExp } p.nextToken() leftExp = infix(leftExpX)/*parseInfixExpression*/ } return leftExp } 1
65. BEGIN parseExpresssionStatement BEGIN parseExpresssion BEGIN parsePrefixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parsePrefixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseInfixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseExpresssionStatement
66. func (p *Parser) parseExpressionStatement() *ast.ExpressionStatement { stmt := &ast.ExpressionStatement{Token: p.curToken} stmt.Expression = p.parseExpression(LOWEST) if p.peekTokenIs(token.SEMICOLON) { p.nextToken() } return stmt }
67. BEGIN parseExpresssionStatement BEGIN parseExpresssion BEGIN parsePrefixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parsePrefixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseInfixExpression BEGIN parseInfixExpression BEGIN parseExpresssion BEGIN parseIntegerLiteral END parseIntegerLiteral END parseExpresssion END parseInfixExpression END parseExpresssion END parseExpresssionStatement
68. &ast.InfixExpression { Token: PLUS Operator: PLUS Left: left, X Right: 1 }
69. *ast.InfixExpres sion *ast.InfixExpres sion *ast.PrefixExpre ssion *ast.InfixExpres sion *ast.IntegerLiter al *ast.IntegerLiter al *ast.IntegerLiter al *ast.IntegerLiter al 3 10 2 1
70. *ast.InfixExpres sion *ast.InfixExpres sion *ast.PrefixExpre ssion *ast.InfixExpres sion *ast.IntegerLiter al *ast.IntegerLiter al *ast.IntegerLiter al *ast.IntegerLiter al 3 10 2 1 -
71. *ast.InfixExpres sion *ast.InfixExpres sion *ast.PrefixExpre ssion *ast.InfixExpres sion *ast.IntegerLiter al *ast.IntegerLiter al *ast.IntegerLiter al *ast.IntegerLiter al 3 10 2 1 -
72. *ast.InfixExpres sion *ast.InfixExpres sion *ast.PrefixExpre ssion *ast.InfixExpres sion *ast.IntegerLiter al *ast.IntegerLiter al *ast.IntegerLiter al *ast.IntegerLiter al 3 10 2 1 -
73. *ast.InfixExpres sion *ast.InfixExpres sion *ast.PrefixExpre ssion *ast.InfixExpres sion *ast.IntegerLiter al *ast.IntegerLiter al *ast.IntegerLiter al *ast.IntegerLiter al 3 10 2 1 -
74. *ast.InfixExpres sion *ast.InfixExpres sion *ast.PrefixExpre ssion *ast.InfixExpres sion *ast.IntegerLiter al *ast.IntegerLiter al *ast.IntegerLiter al *ast.IntegerLiter al 3 10 2 1 - *
75. *ast.InfixExpres sion *ast.InfixExpres sion *ast.PrefixExpre ssion *ast.InfixExpres sion *ast.IntegerLiter al *ast.IntegerLiter al *ast.IntegerLiter al *ast.IntegerLiter al 3 10 2 1 - + *
76. *ast.InfixExpres sion *ast.InfixExpres sion *ast.PrefixExpre ssion *ast.InfixExpres sion *ast.IntegerLiter al *ast.IntegerLiter al *ast.IntegerLiter al *ast.IntegerLiter al 3 10 2 1 - + * +
77. *ast.InfixExpres sion *ast.InfixExpres sion *ast.PrefixExpre ssion *ast.InfixExpres sion *ast.IntegerLiter al *ast.IntegerLiter al *ast.IntegerLiter al *ast.IntegerLiter al 3 10 2 1 - * +