*/
class LocalWriter : public Writer {
protected:
+ int acquired;
+
public:
/**
* Should never called directly -- use localWriter singleton below instead.
*/
LocalWriter();
+ ~LocalWriter();
void open(void);
void beginLeave(unsigned call);
void endLeave(void);
+
+ void flush(void);
};
/**