public WorkflowInstanceUnhandledExceptionRecord(Guid instanceId, long recordNumber, string activityDefinitionId, ActivityInfo faultSource, Exception exception)
     : base(instanceId, recordNumber, activityDefinitionId, WorkflowInstanceStates.UnhandledException)
 {
     if (string.IsNullOrEmpty(activityDefinitionId))
     {
         throw Microsoft.CoreWf.Internals.FxTrace.Exception.ArgumentNullOrEmpty("activityDefinitionId");
     }
     if (exception == null)
     {
         throw Microsoft.CoreWf.Internals.FxTrace.Exception.ArgumentNull("exception");
     }
     if (faultSource == null)
     {
         throw Microsoft.CoreWf.Internals.FxTrace.Exception.ArgumentNull("faultSource");
     }
     this.FaultSource        = faultSource;
     this.UnhandledException = exception;
     this.Level = EventLevel.Error;
 }
 public WorkflowInstanceUnhandledExceptionRecord(Guid instanceId, long recordNumber, string activityDefinitionId, ActivityInfo faultSource, Exception exception, WorkflowIdentity workflowDefinitionIdentity)
     : this(instanceId, recordNumber, activityDefinitionId, faultSource, exception)
 {
     this.WorkflowDefinitionIdentity = workflowDefinitionIdentity;
 }
 public WorkflowInstanceUnhandledExceptionRecord(Guid instanceId, string activityDefinitionId, ActivityInfo faultSource, Exception exception)
     : this(instanceId, 0, activityDefinitionId, faultSource, exception)
 {
 }