equal
deleted
inserted
replaced
33 |
33 |
34 /** |
34 /** |
35 * @param output output stream, should be at position where the value is to be written; the stream will not be closed not flushed after writing |
35 * @param output output stream, should be at position where the value is to be written; the stream will not be closed not flushed after writing |
36 * @param value raw pointer to the value, must exactly match data type of this writer |
36 * @param value raw pointer to the value, must exactly match data type of this writer |
37 * @param type used as a safety mechanism to avoid wrong pointer interpretation; |
37 * @param type used as a safety mechanism to avoid wrong pointer interpretation; |
38 * should be called in this way: writeRaw(output, valuePointer, typeid(valuePointer)); |
38 * should be called in this way: writeRaw(output, &value, typeid(value)); |
39 * if the type does not match, the RelpipeWriterException is thrown |
39 * if the type does not match, the RelpipeWriterException is thrown |
40 */ |
40 */ |
41 virtual void writeRaw(std::ostream& output, const void * value, const std::type_info& type) = 0; |
41 virtual void writeRaw(std::ostream& output, const void * value, const std::type_info& type) = 0; |
42 |
42 |
43 /** |
43 /** |