public LogCallbackDelegate(StringToVoidDelegate del) { this.delegate_ = del; }
public void SetLogCallback(StringToVoidDelegate del) { log_callback_ = new LogCallbackDelegate(del); }