\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\nNovamente, se voc\u00ea tem familiaridade com a sintaxe de regex, isso deve ser simples: basta corresponder a qualquer caractere \u00fanico entre “a” e “z”<\/p>\n\n\n\n
Voltando agora a Variable, a pr\u00f3xima parte _<\/code> \u00e9 uma regra que diz “corresponder a qualquer caractere de espa\u00e7o em branco”. Note que o _<\/code> \u00e9 um identificador totalmente v\u00e1lido para uma regra de produ\u00e7\u00e3o, e digitar menos geralmente \u00e9 algo bom.<\/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\nH\u00e1 algumas coisas a serem observadas aqui:<\/p>\n\n\n\n
\nA string “whitespace” \u00e9 o “nome amig\u00e1vel” e existe para fins de documenta\u00e7\u00e3o e para a sua sanidade no futuro.<\/li>\n\n\n\n Como ocorre com a sintaxe de express\u00f5es regulares, isso corresponder\u00e1 a qualquer forma de espa\u00e7o em branco, quebras de linha, tabula\u00e7\u00f5es ou retornos de carro (carriage-returns).<\/li>\n<\/ol>\n\n\n\nA pr\u00f3xima parte da regra Variable corresponde \u00e0 string literal “AND”. N\u00e3o fica muito mais f\u00e1cil do que isso.<\/p>\n\n\n\n
Em seguida, temos outra regra de espa\u00e7o em branco e, por fim, a regra 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\nEssa regra corresponde \u00e0 string literal '\"'<\/code> , zero ou mais regras ValueChars e, por \u00faltimo, outras aspas.<\/p>\n\n\n\nO ValueChars<\/code> tem a seguinte apar\u00eancia:<\/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\nEsses ValueChars<\/code> corresponder\u00e3o ao alfabeto min\u00fasculo e mai\u00fasculo, a qualquer n\u00famero, espa\u00e7os e ao ponto de exclama\u00e7\u00e3o.<\/p>\n\n\n\nPor que definimos Value dessa maneira? Porque a regra pode retirar as aspas duplas por n\u00f3s, para n\u00e3o termos que fazer isso<\/b>, e tamb\u00e9m porque somos pregui\u00e7osos. No entanto, trata-se de uma mera conveni\u00eancia que poder\u00edamos ter omitido a favor de incluir a forma da regra Value junto com a defini\u00e7\u00e3o da regra Variable.<\/p>\n\n\n\n
Por fim, o AndVar<\/code> deve parecer bastante direto neste ponto. Note que ele se remete a Term e implementa o 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\nA defini\u00e7\u00e3o completa tem a seguinte apar\u00eancia.<\/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\nLegal, mas e agora?<\/h2>\n\n\n\n O verdadeiro valor de definir a sua pr\u00f3pria gram\u00e1tica vem quando voc\u00ea fornece implementa\u00e7\u00f5es para as a\u00e7\u00f5es das regras. Vejamos a verdadeira defini\u00e7\u00e3o da 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\nTemos muito a analisar aqui, ent\u00e3o vamos prosseguir passo a passo.<\/p>\n\n\n\n
Na parte superior, temos uma se\u00e7\u00e3o de c\u00f3digo cercada por chaves. Essa \u00e9 uma conven\u00e7\u00e3o do Pigeon que pega o c\u00f3digo inclu\u00eddo literalmente e o injeta na sa\u00edda final do c\u00f3digo gerado. Note que, por conveni\u00eancia, voc\u00ea pode definir aqui tipos relevantes para a sua gram\u00e1tica, ou pode coloc\u00e1-los em outro arquivo, pois o Pigeon usar\u00e1 o nome do pacote que voc\u00ea declarar aqui. Tudo o que vier depois disso \u00e9 a pr\u00f3pria defini\u00e7\u00e3o da gram\u00e1tica.<\/p>\n\n\n\n
Neste ponto, voc\u00ea provavelmente deve ter notado que as regras diferem um pouco da forma como as definimos acima. Vamos dar uma olhada em 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\nEssa \u00e9 quase a nossa defini\u00e7\u00e3o anterior de