\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\nDe nuevo, si est\u00e1s familiarizado con la sintaxis regex esto deber\u00eda ser sencillo: simplemente haz coincidir cualquier car\u00e1cter individual entre \u201ca\u201d y \u201cz\u201d.<\/p>\n\n\n\n
Volviendo a Variable, la siguiente parte _<\/code> es una regla que dice \u201chaz que coincida con cualquier car\u00e1cter de espacio en blanco\u201d. Ten en cuenta que _<\/code> es un identificador completamente v\u00e1lido para una regla de producci\u00f3n, y escribir menos suele ser algo bueno.<\/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\nAqu\u00ed hay un par de cosas a tener en cuenta:<\/p>\n\n\n\n
\nLa cadena \u201cwhitespace\u201d es el \u201cnombre descriptivo\u201d y existe para fines de documentaci\u00f3n y para tu futura salud mental.<\/li>\n\n\n\n Al igual que con la sintaxis de expresiones regulares, esto coincidir\u00e1 con cualquier forma de espacio en blanco, saltos de l\u00ednea, tabulaciones o retornos de carro.<\/li>\n<\/ol>\n\n\n\nLa siguiente parte de la regla Variable coincide con el literal de cadena \u201cAND\u201d. No puede ser m\u00e1s f\u00e1cil que eso.<\/p>\n\n\n\n
A continuaci\u00f3n, tenemos otra regla de espacio en blanco, y finalmente la regla 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\nEsta regla coincide con el literal de cadena '\"'<\/code>, con cero o m\u00e1s reglas ValueChars y, por \u00faltimo, con otra comilla.<\/p>\n\n\n\nValueChars<\/code> tiene el siguiente aspecto:<\/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\nEstos ValueChars<\/code> coincidir\u00e1n con el alfabeto en min\u00fasculas y may\u00fasculas, cualquier n\u00famero, espacios y el signo de exclamaci\u00f3n.<\/p>\n\n\n\n\u00bfPor qu\u00e9 definimos Value de esta manera? Porque la regla puede quitarnos las comillas dobles para que no tengamos que hacerlo nosotros<\/b>, y adem\u00e1s porque somos algo vagos. Sin embargo, es simplemente una comodidad que podr\u00edamos haber omitido en favor de incluir la forma de la regla de Value con la definici\u00f3n de la regla Variable.<\/p>\n\n\n\n
Finalmente, AndVar<\/code> deber\u00eda parecer bastante sencillo llegados a este punto. Observa que hace referencia a Term e implementa el ciclo mencionado anteriormente.<\/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 definici\u00f3n completa tiene el siguiente aspecto.<\/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\nGenial, pero \u00bfahora qu\u00e9?<\/h2>\n\n\n\n El valor real de definir tu propia gram\u00e1tica surge cuando proporcionas implementaciones para las acciones de las reglas. Veamos la definici\u00f3n real de PEG:<\/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\nHay mucho que asimilar aqu\u00ed, as\u00ed que vamos a ir paso a paso.<\/p>\n\n\n\n
En la parte superior, tenemos una secci\u00f3n de c\u00f3digo rodeada de llaves. Esta es una convenci\u00f3n de Pigeon que toma el c\u00f3digo adjunto tal cual y lo inyecta en la salida final del c\u00f3digo generado. Ten en cuenta que puedes definir tipos relevantes para tu gram\u00e1tica aqu\u00ed por conveniencia, o puedes ponerlos en otro archivo, ya que Pigeon usar\u00e1 el nombre del paquete que declares aqu\u00ed. Todo lo que va despu\u00e9s es la definici\u00f3n de la propia gram\u00e1tica.<\/p>\n\n\n\n
Llegados a este punto, probablemente te habr\u00e1s dado cuenta de que las reglas difieren un poco de c\u00f3mo las definimos arriba. Echemos un vistazo a 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\nEsta es casi nuestra definici\u00f3n de