}
-void serializeBooleanEdge(Serializer *serializer, BooleanEdge be) {
- if (be == BooleanEdge(NULL))
- return;
+void serializeBooleanEdge(Serializer *serializer, BooleanEdge be, bool isTopLevel) {
+ if (be == BooleanEdge(NULL)){
+ return;
+ }
be.getBoolean()->serialize(serializer);
ASTNodeType type = BOOLEANEDGE;
serializer->mywrite(&type, sizeof(ASTNodeType));
Boolean *boolean = be.getRaw();
serializer->mywrite(&boolean, sizeof(Boolean *));
+ serializer->mywrite(&isTopLevel, sizeof(bool));
}
\ No newline at end of file