text: var classxpath__lexer =
  [
      [ "xpath_lexer", "classxpath__lexer.html#aa52661c9ba7dfa262d3ab49f578653c3", null ],
      [ "contents", "classxpath__lexer.html#a3a0b50cbd97ef5485b82aa53eda850fa", null ],
      [ "current", "classxpath__lexer.html#a47425d5012741aecfd898306651439d0", null ],
      [ "current_pos", "classxpath__lexer.html#a72ab988b8ed95cb22441fdec600a6e58", null ],
      [ "next", "classxpath__lexer.html#a32684b3097fccb4d626da620b44b72ad", null ],
      [ "state", "classxpath__lexer.html#a8a753887f59ce7d55f6f9be88fbf4238", null ]
  ];