| 275 | |
| 276 | template<class BaseSpace> |
| 277 | std::string |
| 278 | ScriptGetInfo<BaseSpace>::getInfo(const Space& home) const { |
| 279 | std::stringstream ss; |
| 280 | if (const ScriptBase<BaseSpace>* sb |
| 281 | = dynamic_cast<const ScriptBase<BaseSpace>*>(&home)) |
| 282 | sb->print(ss); |
| 283 | return ss.str(); |
| 284 | } |
| 285 | |
| 286 | #endif |
| 287 |