# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
extensions:
  - addsTo:
      pack: codeql/csharp-all
      extensible: summaryModel
    data:
      - ["System.Transactions", "CommittableTransaction", False, "BeginCommit", "(System.AsyncCallback,System.Object)", "", "Argument[1]", "ReturnValue.SyntheticField[System.Transactions.Transaction._internalTransaction].SyntheticField[System.Transactions.InternalTransaction._asyncState]", "value", "dfc-generated"]
      - ["System.Transactions", "CommittableTransaction", False, "BeginCommit", "(System.AsyncCallback,System.Object)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
      - ["System.Transactions", "CommittableTransaction", False, "get_AsyncState", "()", "", "Argument[this].SyntheticField[System.Transactions.Transaction._internalTransaction].SyntheticField[System.Transactions.InternalTransaction._asyncState]", "ReturnValue", "value", "dfc-generated"]
      - ["System.Transactions", "Transaction", False, "Clone", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Transactions", "Transaction", False, "EnlistDurable", "(System.Guid,System.Transactions.ISinglePhaseNotification,System.Transactions.EnlistmentOptions)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["System.Transactions", "Transaction", False, "EnlistPromotableSinglePhase", "(System.Transactions.IPromotableSinglePhaseNotification)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["System.Transactions", "Transaction", False, "EnlistPromotableSinglePhase", "(System.Transactions.IPromotableSinglePhaseNotification,System.Guid)", "", "Argument[1]", "Argument[this].SyntheticField[System.Transactions.Transaction._internalTransaction].SyntheticField[System.Transactions.InternalTransaction._promoterType]", "value", "dfc-generated"]
      - ["System.Transactions", "Transaction", False, "EnlistVolatile", "(System.Transactions.IEnlistmentNotification,System.Transactions.EnlistmentOptions)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["System.Transactions", "Transaction", False, "EnlistVolatile", "(System.Transactions.IEnlistmentNotification,System.Transactions.EnlistmentOptions)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Transactions", "Transaction", False, "EnlistVolatile", "(System.Transactions.ISinglePhaseNotification,System.Transactions.EnlistmentOptions)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["System.Transactions", "Transaction", False, "EnlistVolatile", "(System.Transactions.ISinglePhaseNotification,System.Transactions.EnlistmentOptions)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Transactions", "Transaction", False, "PromoteAndEnlistDurable", "(System.Guid,System.Transactions.IPromotableSinglePhaseNotification,System.Transactions.ISinglePhaseNotification,System.Transactions.EnlistmentOptions)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["System.Transactions", "Transaction", False, "Rollback", "(System.Exception)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["System.Transactions", "Transaction", False, "SetDistributedTransactionIdentifier", "(System.Transactions.IPromotableSinglePhaseNotification,System.Guid)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]
      - ["System.Transactions", "Transaction", False, "get_PromoterType", "()", "", "Argument[this].SyntheticField[System.Transactions.Transaction._internalTransaction].SyntheticField[System.Transactions.InternalTransaction._promoterType]", "ReturnValue", "value", "dfc-generated"]
      - ["System.Transactions", "Transaction", False, "get_TransactionInformation", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Transactions", "TransactionEventArgs", False, "get_Transaction", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Transactions", "TransactionInformation", False, "get_DistributedIdentifier", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Transactions", "TransactionScope", False, "TransactionScope", "(System.Transactions.Transaction,System.TimeSpan,System.Transactions.EnterpriseServicesInteropOption)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["System.Transactions", "TransactionScope", False, "TransactionScope", "(System.Transactions.Transaction,System.TimeSpan,System.Transactions.TransactionScopeAsyncFlowOption)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["System.Transactions", "TransactionScope", False, "TransactionScope", "(System.Transactions.Transaction,System.Transactions.TransactionScopeAsyncFlowOption)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
  - addsTo:
      pack: codeql/csharp-all
      extensible: neutralModel
    data:
      - ["System.Transactions", "CommittableTransaction", "Commit", "()", "summary", "df-generated"]
      - ["System.Transactions", "CommittableTransaction", "CommittableTransaction", "(System.TimeSpan)", "summary", "df-generated"]
      - ["System.Transactions", "CommittableTransaction", "CommittableTransaction", "(System.Transactions.TransactionOptions)", "summary", "df-generated"]
      - ["System.Transactions", "CommittableTransaction", "EndCommit", "(System.IAsyncResult)", "summary", "df-generated"]
      - ["System.Transactions", "CommittableTransaction", "get_CompletedSynchronously", "()", "summary", "df-generated"]
      - ["System.Transactions", "CommittableTransaction", "get_IsCompleted", "()", "summary", "df-generated"]
      - ["System.Transactions", "DependentTransaction", "Complete", "()", "summary", "df-generated"]
      - ["System.Transactions", "DistributedTransactionPermission", "DistributedTransactionPermission", "(System.Security.Permissions.PermissionState)", "summary", "df-generated"]
      - ["System.Transactions", "DistributedTransactionPermission", "FromXml", "(System.Security.SecurityElement)", "summary", "df-generated"]
      - ["System.Transactions", "DistributedTransactionPermission", "IsSubsetOf", "(System.Security.IPermission)", "summary", "df-generated"]
      - ["System.Transactions", "DistributedTransactionPermission", "IsUnrestricted", "()", "summary", "df-generated"]
      - ["System.Transactions", "DistributedTransactionPermission", "ToXml", "()", "summary", "df-generated"]
      - ["System.Transactions", "DistributedTransactionPermissionAttribute", "CreatePermission", "()", "summary", "df-generated"]
      - ["System.Transactions", "DistributedTransactionPermissionAttribute", "DistributedTransactionPermissionAttribute", "(System.Security.Permissions.SecurityAction)", "summary", "df-generated"]
      - ["System.Transactions", "Enlistment", "Done", "()", "summary", "df-generated"]
      - ["System.Transactions", "IDtcTransaction", "Abort", "(System.IntPtr,System.Int32,System.Int32)", "summary", "df-generated"]
      - ["System.Transactions", "IDtcTransaction", "Commit", "(System.Int32,System.Int32,System.Int32)", "summary", "df-generated"]
      - ["System.Transactions", "IDtcTransaction", "GetTransactionInfo", "(System.IntPtr)", "summary", "df-generated"]
      - ["System.Transactions", "IEnlistmentNotification", "Commit", "(System.Transactions.Enlistment)", "summary", "df-generated"]
      - ["System.Transactions", "IEnlistmentNotification", "InDoubt", "(System.Transactions.Enlistment)", "summary", "df-generated"]
      - ["System.Transactions", "IEnlistmentNotification", "Prepare", "(System.Transactions.PreparingEnlistment)", "summary", "df-generated"]
      - ["System.Transactions", "IEnlistmentNotification", "Rollback", "(System.Transactions.Enlistment)", "summary", "df-generated"]
      - ["System.Transactions", "IPromotableSinglePhaseNotification", "Initialize", "()", "summary", "df-generated"]
      - ["System.Transactions", "IPromotableSinglePhaseNotification", "Rollback", "(System.Transactions.SinglePhaseEnlistment)", "summary", "df-generated"]
      - ["System.Transactions", "IPromotableSinglePhaseNotification", "SinglePhaseCommit", "(System.Transactions.SinglePhaseEnlistment)", "summary", "df-generated"]
      - ["System.Transactions", "ISimpleTransactionSuperior", "Rollback", "()", "summary", "df-generated"]
      - ["System.Transactions", "ISinglePhaseNotification", "SinglePhaseCommit", "(System.Transactions.SinglePhaseEnlistment)", "summary", "df-generated"]
      - ["System.Transactions", "ITransactionPromoter", "Promote", "()", "summary", "df-generated"]
      - ["System.Transactions", "PreparingEnlistment", "ForceRollback", "()", "summary", "df-generated"]
      - ["System.Transactions", "PreparingEnlistment", "ForceRollback", "(System.Exception)", "summary", "df-generated"]
      - ["System.Transactions", "PreparingEnlistment", "Prepared", "()", "summary", "df-generated"]
      - ["System.Transactions", "PreparingEnlistment", "RecoveryInformation", "()", "summary", "df-generated"]
      - ["System.Transactions", "SinglePhaseEnlistment", "Aborted", "()", "summary", "df-generated"]
      - ["System.Transactions", "SinglePhaseEnlistment", "Aborted", "(System.Exception)", "summary", "df-generated"]
      - ["System.Transactions", "SinglePhaseEnlistment", "Committed", "()", "summary", "df-generated"]
      - ["System.Transactions", "SinglePhaseEnlistment", "InDoubt", "()", "summary", "df-generated"]
      - ["System.Transactions", "SinglePhaseEnlistment", "InDoubt", "(System.Exception)", "summary", "df-generated"]
      - ["System.Transactions", "SubordinateTransaction", "SubordinateTransaction", "(System.Transactions.IsolationLevel,System.Transactions.ISimpleTransactionSuperior)", "summary", "df-generated"]
      - ["System.Transactions", "Transaction", "DependentClone", "(System.Transactions.DependentCloneOption)", "summary", "df-generated"]
      - ["System.Transactions", "Transaction", "Dispose", "()", "summary", "df-generated"]
      - ["System.Transactions", "Transaction", "EnlistDurable", "(System.Guid,System.Transactions.IEnlistmentNotification,System.Transactions.EnlistmentOptions)", "summary", "df-generated"]
      - ["System.Transactions", "Transaction", "Equals", "(System.Object)", "summary", "df-generated"]
      - ["System.Transactions", "Transaction", "GetHashCode", "()", "summary", "df-generated"]
      - ["System.Transactions", "Transaction", "GetPromotedToken", "()", "summary", "df-generated"]
      - ["System.Transactions", "Transaction", "Rollback", "()", "summary", "df-generated"]
      - ["System.Transactions", "Transaction", "add_TransactionCompleted", "(System.Transactions.TransactionCompletedEventHandler)", "summary", "df-generated"]
      - ["System.Transactions", "Transaction", "get_IsolationLevel", "()", "summary", "df-generated"]
      - ["System.Transactions", "Transaction", "op_Equality", "(System.Transactions.Transaction,System.Transactions.Transaction)", "summary", "df-generated"]
      - ["System.Transactions", "Transaction", "op_Inequality", "(System.Transactions.Transaction,System.Transactions.Transaction)", "summary", "df-generated"]
      - ["System.Transactions", "Transaction", "remove_TransactionCompleted", "(System.Transactions.TransactionCompletedEventHandler)", "summary", "df-generated"]
      - ["System.Transactions", "TransactionAbortedException", "TransactionAbortedException", "(System.Runtime.Serialization.SerializationInfo,System.Runtime.Serialization.StreamingContext)", "summary", "df-generated"]
      - ["System.Transactions", "TransactionAbortedException", "TransactionAbortedException", "(System.String)", "summary", "df-generated"]
      - ["System.Transactions", "TransactionAbortedException", "TransactionAbortedException", "(System.String,System.Exception)", "summary", "df-generated"]
      - ["System.Transactions", "TransactionException", "TransactionException", "(System.Runtime.Serialization.SerializationInfo,System.Runtime.Serialization.StreamingContext)", "summary", "df-generated"]
      - ["System.Transactions", "TransactionException", "TransactionException", "(System.String)", "summary", "df-generated"]
      - ["System.Transactions", "TransactionException", "TransactionException", "(System.String,System.Exception)", "summary", "df-generated"]
      - ["System.Transactions", "TransactionInDoubtException", "TransactionInDoubtException", "(System.Runtime.Serialization.SerializationInfo,System.Runtime.Serialization.StreamingContext)", "summary", "df-generated"]
      - ["System.Transactions", "TransactionInDoubtException", "TransactionInDoubtException", "(System.String)", "summary", "df-generated"]
      - ["System.Transactions", "TransactionInDoubtException", "TransactionInDoubtException", "(System.String,System.Exception)", "summary", "df-generated"]
      - ["System.Transactions", "TransactionInformation", "get_CreationTime", "()", "summary", "df-generated"]
      - ["System.Transactions", "TransactionInformation", "get_LocalIdentifier", "()", "summary", "df-generated"]
      - ["System.Transactions", "TransactionInformation", "get_Status", "()", "summary", "df-generated"]
      - ["System.Transactions", "TransactionInterop", "GetDtcTransaction", "(System.Transactions.Transaction)", "summary", "df-generated"]
      - ["System.Transactions", "TransactionInterop", "GetExportCookie", "(System.Transactions.Transaction,System.Byte[])", "summary", "df-generated"]
      - ["System.Transactions", "TransactionInterop", "GetTransactionFromDtcTransaction", "(System.Transactions.IDtcTransaction)", "summary", "df-generated"]
      - ["System.Transactions", "TransactionInterop", "GetTransactionFromExportCookie", "(System.Byte[])", "summary", "df-generated"]
      - ["System.Transactions", "TransactionInterop", "GetTransactionFromTransmitterPropagationToken", "(System.Byte[])", "summary", "df-generated"]
      - ["System.Transactions", "TransactionInterop", "GetTransmitterPropagationToken", "(System.Transactions.Transaction)", "summary", "df-generated"]
      - ["System.Transactions", "TransactionInterop", "GetWhereabouts", "()", "summary", "df-generated"]
      - ["System.Transactions", "TransactionManager", "RecoveryComplete", "(System.Guid)", "summary", "df-generated"]
      - ["System.Transactions", "TransactionManager", "Reenlist", "(System.Guid,System.Byte[],System.Transactions.IEnlistmentNotification)", "summary", "df-generated"]
      - ["System.Transactions", "TransactionManager", "add_DistributedTransactionStarted", "(System.Transactions.TransactionStartedEventHandler)", "summary", "df-generated"]
      - ["System.Transactions", "TransactionManager", "remove_DistributedTransactionStarted", "(System.Transactions.TransactionStartedEventHandler)", "summary", "df-generated"]
      - ["System.Transactions", "TransactionManagerCommunicationException", "TransactionManagerCommunicationException", "(System.Runtime.Serialization.SerializationInfo,System.Runtime.Serialization.StreamingContext)", "summary", "df-generated"]
      - ["System.Transactions", "TransactionManagerCommunicationException", "TransactionManagerCommunicationException", "(System.String)", "summary", "df-generated"]
      - ["System.Transactions", "TransactionManagerCommunicationException", "TransactionManagerCommunicationException", "(System.String,System.Exception)", "summary", "df-generated"]
      - ["System.Transactions", "TransactionOptions", "Equals", "(System.Object)", "summary", "df-generated"]
      - ["System.Transactions", "TransactionOptions", "Equals", "(System.Transactions.TransactionOptions)", "summary", "df-generated"]
      - ["System.Transactions", "TransactionOptions", "GetHashCode", "()", "summary", "df-generated"]
      - ["System.Transactions", "TransactionOptions", "op_Equality", "(System.Transactions.TransactionOptions,System.Transactions.TransactionOptions)", "summary", "df-generated"]
      - ["System.Transactions", "TransactionOptions", "op_Inequality", "(System.Transactions.TransactionOptions,System.Transactions.TransactionOptions)", "summary", "df-generated"]
      - ["System.Transactions", "TransactionPromotionException", "TransactionPromotionException", "(System.Runtime.Serialization.SerializationInfo,System.Runtime.Serialization.StreamingContext)", "summary", "df-generated"]
      - ["System.Transactions", "TransactionPromotionException", "TransactionPromotionException", "(System.String)", "summary", "df-generated"]
      - ["System.Transactions", "TransactionPromotionException", "TransactionPromotionException", "(System.String,System.Exception)", "summary", "df-generated"]
      - ["System.Transactions", "TransactionScope", "Complete", "()", "summary", "df-generated"]
      - ["System.Transactions", "TransactionScope", "Dispose", "()", "summary", "df-generated"]
      - ["System.Transactions", "TransactionScope", "TransactionScope", "(System.Transactions.Transaction)", "summary", "df-generated"]
      - ["System.Transactions", "TransactionScope", "TransactionScope", "(System.Transactions.Transaction,System.TimeSpan)", "summary", "df-generated"]
      - ["System.Transactions", "TransactionScope", "TransactionScope", "(System.Transactions.TransactionScopeAsyncFlowOption)", "summary", "df-generated"]
      - ["System.Transactions", "TransactionScope", "TransactionScope", "(System.Transactions.TransactionScopeOption)", "summary", "df-generated"]
      - ["System.Transactions", "TransactionScope", "TransactionScope", "(System.Transactions.TransactionScopeOption,System.TimeSpan)", "summary", "df-generated"]
      - ["System.Transactions", "TransactionScope", "TransactionScope", "(System.Transactions.TransactionScopeOption,System.TimeSpan,System.Transactions.TransactionScopeAsyncFlowOption)", "summary", "df-generated"]
      - ["System.Transactions", "TransactionScope", "TransactionScope", "(System.Transactions.TransactionScopeOption,System.Transactions.TransactionOptions)", "summary", "df-generated"]
      - ["System.Transactions", "TransactionScope", "TransactionScope", "(System.Transactions.TransactionScopeOption,System.Transactions.TransactionOptions,System.Transactions.EnterpriseServicesInteropOption)", "summary", "df-generated"]
      - ["System.Transactions", "TransactionScope", "TransactionScope", "(System.Transactions.TransactionScopeOption,System.Transactions.TransactionOptions,System.Transactions.TransactionScopeAsyncFlowOption)", "summary", "df-generated"]
      - ["System.Transactions", "TransactionScope", "TransactionScope", "(System.Transactions.TransactionScopeOption,System.Transactions.TransactionScopeAsyncFlowOption)", "summary", "df-generated"]
