pike.git / lib / modules / Parser.pmod / LR.pmod / module.pmod

version» Context lines:

pike.git/lib/modules/Parser.pmod/LR.pmod/module.pmod:622:       string cast_to_string()    {    return _sprintf();    }       //! Implements casting.    //!    //! @param type    //! Type to cast to. -  mixed cast(string type) +  protected mixed cast(string type)    {    if (type == "string")    return _sprintf(); -  error("Cast to %s not supported\n", type); +  return UNDEFINED;    }       /* Here come the functions that actually do some work */       //! Sets the priority of a terminal.    //!    //! @param terminal    //! Terminal to set the priority for.    //! @param pri_val    //! Priority; higher = prefer this terminal.