void Vectors::printOn(ostream& os) const { int NN=getNumber(); for(int i=0;i<NN;i++) { printOn(i,os); os << endl; } }
std::string AbstractValue::asString() const { std::stringstream ss; printOn(ss); return ss.str(); }
void Token::unregister_instance() { #if defined(_DEBUG) && defined(_DBG_TRYING_TO_FIND_WIN32_SHUTDOWN_ASSERTION) if (exit_signalled) { cout << "TOK/unreginst: " << (token?token:"<unknown>") << endl; printOn(cout); cout << "----" << endl; } #endif --_instances; #if STORE_INSTANCELIST _instancelist.erase( this ); #endif }