-/*
+/*
* File: deserializer.h
* Author: hamed
*
/**
* Style of serialized file:
* ASTNodeType#Pointer#ObjectDATA
- *
+ *
* @param file
*/
class Deserializer {
public:
- Deserializer(const char* file);
+ Deserializer(const char *file);
CSolver *deserialize();
virtual ~Deserializer();
private:
void deserializeElementFunction();
void deserializeFunctionOperator();
void deserializeFunctionTable();
+ char *buffer;
+ uint bufferindex;
+ uint bufferbytes;
+ uint buffercap;
+
CSolver *solver;
int filedesc;
CloneMap map;
};
-#endif /* DESERIALIZER_H */
+#endif/* DESERIALIZER_H */