text: var classPHP__Token__ARRAY =
  [
      [ "__toString", "classPHP__Token__ARRAY.html#acaceb755d410d45b3b701ff0d13c6b76", null ],
      [ "getId", "classPHP__Token__ARRAY.html#a2a16dabb2bbd437c2ba1f83d05af3a8a", null ],
      [ "getLine", "classPHP__Token__ARRAY.html#a65b3ac33c6861378ee7aa071ba6539eb", null ],
      [ "$id", "classPHP__Token__ARRAY.html#a7ae1d600ed52531dc679f700a7af5d24", null ],
      [ "$line", "classPHP__Token__ARRAY.html#a3aa3f1bbba559575f53b7b29a50ffa09", null ],
      [ "$text", "classPHP__Token__ARRAY.html#a52fcabfee4075dbc86fc6c97e6f60392", null ],
      [ "$tokenStream", "classPHP__Token__ARRAY.html#a1ea1335cc828e933eb6d49c816a3b9cf", null ]
  ];