\r\n\r\n FieldChars <- [a-z]\r\n <\/code>\r\n <\/pre>\r\n <\/div>\r\n <\/div>\r\n <\/div>\r\n <\/div>\r\n\n\n\nL\u00e0 encore, si vous connaissez la syntaxe regex, cela devrait \u00eatre tr\u00e8s clair\u00a0: il suffit de faire correspondre un seul caract\u00e8re compris entre \u00ab\u00a0a\u00a0\u00bb et \u00ab\u00a0z\u00a0\u00bb<\/p>\n\n\n\n
Revenons maintenant \u00e0 la variable, la partie suivante _<\/code> est une r\u00e8gle signifiant \u00ab\u00a0faire correspondre n’importe quel caract\u00e8re d’espacement\u00a0\u00bb. Notez que _<\/code> est un identifiant tout \u00e0 fait valide pour une r\u00e8gle de production, et avoir moins \u00e0 taper est g\u00e9n\u00e9ralement une bonne chose.<\/p>\n\n\n \r\n
\r\n\r\n \r\n \r\n \r\n \r\n Java <\/button>\r\n <\/li>\r\n\r\n \r\n \r\n <\/ul>\r\n \r\n\r\n \r\n
\r\n
\r\n
\r\n
\r\n <\/svg>\r\n <\/svg>\r\n <\/button>\r\n <\/div>\r\n \r\n \r\n\r\n _ "whitespace" <- [ \\n\\t\\r]*\r\n <\/code>\r\n <\/pre>\r\n <\/div>\r\n <\/div>\r\n <\/div>\r\n <\/div>\r\n\n\n\nIl y a deux ou trois choses \u00e0 noter ici\u00a0:<\/p>\n\n\n\n
\nLa cha\u00eene de caract\u00e8res \u00ab\u00a0whitespace\u00a0\u00bb est le \u00ab\u00a0nom convivial\u00a0\u00bb et existe \u00e0 des fins de documentation et pour votre sant\u00e9 mentale future.<\/li>\n\n\n\n Comme pour la syntaxe des expressions r\u00e9guli\u00e8res, cela correspondra \u00e0 toute forme d’espace blanc, de saut de ligne, de tabulation ou de retour chariot.<\/li>\n<\/ol>\n\n\n\nLa partie suivante de la r\u00e8gle de la variable correspond \u00e0 la cha\u00eene litt\u00e9rale \u00ab\u00a0AND\u00a0\u00bb. Difficile de faire plus simple.<\/p>\n\n\n\n
Ensuite, nous avons une autre r\u00e8gle d’espacement, et enfin la r\u00e8gle Value.<\/p>\n\n\n
\r\n
\r\n\r\n \r\n \r\n \r\n \r\n PHP <\/button>\r\n <\/li>\r\n\r\n \r\n \r\n <\/ul>\r\n \r\n\r\n \r\n
\r\n
\r\n
\r\n
\r\n <\/svg>\r\n <\/svg>\r\n <\/button>\r\n <\/div>\r\n \r\n \r\n\r\n Value <- '"' ValueChars* '"'\r\n <\/code>\r\n <\/pre>\r\n <\/div>\r\n <\/div>\r\n <\/div>\r\n <\/div>\r\n\n\n\nCette r\u00e8gle correspond \u00e0 la cha\u00eene litt\u00e9rale '\"'<\/code>, \u00e0 z\u00e9ro ou plusieurs r\u00e8gles ValueChars, et enfin \u00e0 un autre guillemet.<\/p>\n\n\n\nValueChars<\/code> ressemble \u00e0 ce qui suit\u00a0:<\/p>\n\n\n \r\n
\r\n\r\n \r\n \r\n \r\n \r\n PHP <\/button>\r\n <\/li>\r\n\r\n \r\n \r\n <\/ul>\r\n \r\n\r\n \r\n
\r\n
\r\n
\r\n
\r\n <\/svg>\r\n <\/svg>\r\n <\/button>\r\n <\/div>\r\n \r\n \r\n\r\n How we built a Lucene-inspired parser in Go\r\n\r\n <\/code>\r\n <\/pre>\r\n <\/div>\r\n <\/div>\r\n <\/div>\r\n <\/div>\r\n\n\n\nCes ValueChars<\/code> correspondront aux lettres minuscules et majuscules de l’alphabet, \u00e0 n’importe quel chiffre, aux espaces et au point d’exclamation.<\/p>\n\n\n\nPourquoi avoir d\u00e9fini Value de cette fa\u00e7on\u00a0? Parce que la r\u00e8gle peut supprimer les guillemets doubles pour nous afin que nous n’ayons pas \u00e0 le faire<\/b>, et puis nous sommes paresseux. Il ne s’agit toutefois que d’une commodit\u00e9 que nous aurions pu omettre au profit de l’inclusion de la forme de la r\u00e8gle Value avec la d\u00e9finition de la r\u00e8gle de la variable.<\/p>\n\n\n\n
Enfin, AndVar<\/code> devrait vous para\u00eetre assez simple \u00e0 ce stade. Notez qu’il fait r\u00e9f\u00e9rence \u00e0 Term et impl\u00e9mente le cycle susmentionn\u00e9.<\/p>\n\n\n \r\n
\r\n\r\n \r\n \r\n \r\n \r\n PHP <\/button>\r\n <\/li>\r\n\r\n \r\n \r\n <\/ul>\r\n \r\n\r\n \r\n
\r\n
\r\n
\r\n
\r\n <\/svg>\r\n <\/svg>\r\n <\/button>\r\n <\/div>\r\n \r\n \r\n\r\n ValueChars <- [a-zA-Z0-9 !]\r\n <\/code>\r\n <\/pre>\r\n <\/div>\r\n <\/div>\r\n <\/div>\r\n <\/div>\r\n\n\n\nLa d\u00e9finition compl\u00e8te ressemble \u00e0 ce qui suit.<\/p>\n\n\n
\r\n
\r\n\r\n \r\n \r\n \r\n \r\n PHP <\/button>\r\n <\/li>\r\n\r\n \r\n \r\n <\/ul>\r\n \r\n\r\n \r\n
\r\n
\r\n
\r\n
\r\n <\/svg>\r\n <\/svg>\r\n <\/button>\r\n <\/div>\r\n \r\n \r\n\r\n Input <- Term !.\r\nTerm <- Variable AndVar*\r\nAndVar <- _ "AND" _ Term\r\nVariable <- FieldChars+ _ ":" _ Value\r\n_ "whitespace" <- [ \\n\\t\\r]*\r\nValue <- '"' ValueChars '"'\r\nFieldChars <- [a-z]\r\nValueChars <- [a-zA-Z0-9 !]\r\n <\/code>\r\n <\/pre>\r\n <\/div>\r\n <\/div>\r\n <\/div>\r\n <\/div>\r\n\n\n\nG\u00e9nial, et maintenant\u00a0?<\/h2>\n\n\n\n La v\u00e9ritable valeur de la d\u00e9finition de votre propre grammaire appara\u00eet lorsque vous fournissez des impl\u00e9mentations pour les actions des r\u00e8gles. Examinons la v\u00e9ritable d\u00e9finition PEG\u00a0:<\/p>\n\n\n
\r\n
\r\n\r\n \r\n \r\n \r\n \r\n PHP <\/button>\r\n <\/li>\r\n\r\n \r\n \r\n <\/ul>\r\n \r\n\r\n \r\n
\r\n
\r\n
\r\n
\r\n <\/svg>\r\n <\/svg>\r\n <\/button>\r\n <\/div>\r\n \r\n \r\n\r\n {\r\n package main\r\n\r\n import (\r\n "strings"\r\n )\r\n\r\n type Node interface {\r\n Evaluate(input Event) (bool, error)\r\n }\r\n\r\n type Term struct {\r\n node Node\r\n }\r\n\r\n func (t *Term) Evaluate(input Event) (bool, error) {\r\n return t.node.Evaluate(input)\r\n }\r\n\r\n type AndNode struct {\r\n Nodes []Node\r\n }\r\n\r\n func (n *AndNode) Evaluate(input Event) (bool, error) {\r\n for _, node := range n.Nodes {\r\n matched, err := node.Evaluate(input)\r\n if err != nil {\r\n return false, err\r\n }\r\n if !matched {\r\n return false, nil\r\n }\r\n }\r\n return true, nil\r\n }\r\n\r\n type Variable struct {\r\n Field string\r\n Value string\r\n }\r\n\r\n func (v *Variable) Evaluate(input Event) (bool, error) {\r\n fieldVal, ok := input[v.Field]\r\n if !ok {\r\n return false, fmt.Errorf("Field '%s' not present in the event", v.Field)\r\n }\r\n\r\n return fieldVal == v.Value, nil\r\n }\r\n\r\n func toString(label interface{}) string {\r\n var sb strings.Builder\r\n value := label.([]interface{})\r\n for _, i := range(value) {\r\n if i == nil {\r\n continue\r\n }\r\n switch b := i.(type) {\r\n case []byte:\r\n sb.WriteByte(b[0])\r\n case []interface{}:\r\n s := toString(i)\r\n sb.WriteString(s)\r\n default:\r\n fmt.Printf("She's dead, Jim %T %+v\\n", i, i)\r\n }\r\n }\r\n return sb.String()\r\n }\r\n}\r\n\r\nInput <- Term !.\r\n\r\nTerm <- variable:Variable rest:AndVar* {\r\n andVars := rest.([]interface{})\r\n variables := make([]Node, 0, len(andVars))\r\n variables = append(variables, variable.(Node))\r\n for _, r := range(andVars) {\r\n variables = append(variables, r.(Node))\r\n }\r\n return &AndNode{Nodes: variables}, nil\r\n}\r\n\r\nAndVar <- _ "AND" _ rightSide:Term {\r\n return rightSide, nil\r\n}\r\n\u200b\r\nVariable <- field:FieldChars+ _ ":" _ value:Value {\r\n return &Variable{Field: toString(field), Value: toString(value)}, nil\r\n}\r\n\r\nValue <- '"' value:ValueChars* '"' {\r\n return value, nil\r\n}\r\n\r\n_ "whitespace" <- [ \\n\\t\\r]*\r\nFieldChars <- [a-z]\r\nValueChars <- [a-zA-Z0-9 !]\r\n <\/code>\r\n <\/pre>\r\n <\/div>\r\n <\/div>\r\n <\/div>\r\n <\/div>\r\n\n\n\nIl y a beaucoup \u00e0 analyser ici, proc\u00e9dons \u00e9tape par \u00e9tape.<\/p>\n\n\n\n
En haut, nous avons une section de code entour\u00e9e d’accolades. Il s’agit d’une convention de Pigeon qui prend le code inclus textuellement et l’injecte dans la sortie de code g\u00e9n\u00e9r\u00e9e finale. Notez que vous pouvez d\u00e9finir ici les types pertinents pour votre grammaire par commodit\u00e9, ou les placer dans un autre fichier, car Pigeon utilisera le nom du package que vous d\u00e9clarez ici. Tout ce qui suit correspond \u00e0 la d\u00e9finition de la grammaire elle-m\u00eame.<\/p>\n\n\n\n
\u00c0 ce stade, vous avez probablement remarqu\u00e9 que les r\u00e8gles diff\u00e8rent un peu de la fa\u00e7on dont nous les avons d\u00e9finies plus haut. Jetons un \u0153il \u00e0 Term<\/code>.<\/p>\n\n\n \r\n
\r\n\r\n \r\n \r\n \r\n \r\n PHP <\/button>\r\n <\/li>\r\n\r\n \r\n \r\n <\/ul>\r\n \r\n\r\n \r\n
\r\n
\r\n
\r\n
\r\n <\/svg>\r\n <\/svg>\r\n <\/button>\r\n <\/div>\r\n \r\n \r\n\r\n Term <- variable:Variable rest:AndVar*\r\n <\/code>\r\n <\/pre>\r\n <\/div>\r\n <\/div>\r\n <\/div>\r\n <\/div>\r\n\n\n\nC’est presque la m\u00eame d\u00e9finition de