Util::SimpleString GlobalList::toJSON( bool includeLocation ) const { Util::SimpleString ss; { JSON::Encoder encoder( &ss ); encodeJSON( includeLocation, encoder ); } return ss; }
template<> std::string Array<bool>::encode(void *obj) { std::string ret("["); int i; std::vector<bool> *o=(std::vector<bool> *)obj; for (i=0; i<o->size(); i++) { bool tmp=((*o)[i]); ret+=encodeJSON(Bool, &tmp); if (i<o->size()-1) ret+=","; } ret+=std::string("]"); return ret; }