# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
extensions:
  - addsTo:
      pack: codeql/csharp-all
      extensible: summaryModel
    data:
      - ["System.IO.IsolatedStorage", "IsolatedStorage", False, "get_ApplicationIdentity", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorage", False, "get_AssemblyIdentity", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorage", False, "get_DomainIdentity", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorageFileStream", False, "FlushAsync", "(System.Threading.CancellationToken)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorageFileStream", False, "FlushAsync", "(System.Threading.CancellationToken)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorageFileStream", False, "WriteAsync", "(System.ReadOnlyMemory<System.Byte>,System.Threading.CancellationToken)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorageFileStream", False, "WriteAsync", "(System.ReadOnlyMemory<System.Byte>,System.Threading.CancellationToken)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorageFileStream", False, "WriteAsync", "(System.ReadOnlyMemory<System.Byte>,System.Threading.CancellationToken)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
  - addsTo:
      pack: codeql/csharp-all
      extensible: neutralModel
    data:
      - ["System.IO.IsolatedStorage", "INormalizeForIsolatedStorage", "Normalize", "()", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorage", "IncreaseQuotaTo", "(System.Int64)", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorage", "InitStore", "(System.IO.IsolatedStorage.IsolatedStorageScope,System.Type)", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorage", "InitStore", "(System.IO.IsolatedStorage.IsolatedStorageScope,System.Type,System.Type)", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorage", "Remove", "()", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorage", "get_AvailableFreeSpace", "()", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorage", "get_CurrentSize", "()", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorage", "get_MaximumSize", "()", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorage", "get_SeparatorExternal", "()", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorage", "get_SeparatorInternal", "()", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorage", "get_UsedSize", "()", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorageException", "IsolatedStorageException", "(System.Runtime.Serialization.SerializationInfo,System.Runtime.Serialization.StreamingContext)", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorageException", "IsolatedStorageException", "(System.String)", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorageException", "IsolatedStorageException", "(System.String,System.Exception)", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorageFile", "Close", "()", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorageFile", "CopyFile", "(System.String,System.String)", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorageFile", "CopyFile", "(System.String,System.String,System.Boolean)", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorageFile", "CreateDirectory", "(System.String)", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorageFile", "CreateFile", "(System.String)", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorageFile", "DeleteDirectory", "(System.String)", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorageFile", "DeleteFile", "(System.String)", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorageFile", "DirectoryExists", "(System.String)", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorageFile", "Dispose", "()", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorageFile", "FileExists", "(System.String)", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorageFile", "GetCreationTime", "(System.String)", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorageFile", "GetDirectoryNames", "()", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorageFile", "GetDirectoryNames", "(System.String)", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorageFile", "GetEnumerator", "(System.IO.IsolatedStorage.IsolatedStorageScope)", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorageFile", "GetFileNames", "()", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorageFile", "GetFileNames", "(System.String)", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorageFile", "GetLastAccessTime", "(System.String)", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorageFile", "GetLastWriteTime", "(System.String)", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorageFile", "GetMachineStoreForApplication", "()", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorageFile", "GetMachineStoreForAssembly", "()", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorageFile", "GetMachineStoreForDomain", "()", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorageFile", "GetStore", "(System.IO.IsolatedStorage.IsolatedStorageScope,System.Object)", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorageFile", "GetStore", "(System.IO.IsolatedStorage.IsolatedStorageScope,System.Object,System.Object)", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorageFile", "GetStore", "(System.IO.IsolatedStorage.IsolatedStorageScope,System.Type)", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorageFile", "GetStore", "(System.IO.IsolatedStorage.IsolatedStorageScope,System.Type,System.Type)", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorageFile", "GetUserStoreForApplication", "()", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorageFile", "GetUserStoreForAssembly", "()", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorageFile", "GetUserStoreForDomain", "()", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorageFile", "GetUserStoreForSite", "()", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorageFile", "IncreaseQuotaTo", "(System.Int64)", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorageFile", "MoveDirectory", "(System.String,System.String)", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorageFile", "MoveFile", "(System.String,System.String)", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorageFile", "OpenFile", "(System.String,System.IO.FileMode)", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorageFile", "OpenFile", "(System.String,System.IO.FileMode,System.IO.FileAccess)", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorageFile", "OpenFile", "(System.String,System.IO.FileMode,System.IO.FileAccess,System.IO.FileShare)", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorageFile", "Remove", "()", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorageFile", "Remove", "(System.IO.IsolatedStorage.IsolatedStorageScope)", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorageFile", "get_AvailableFreeSpace", "()", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorageFile", "get_CurrentSize", "()", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorageFile", "get_IsEnabled", "()", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorageFile", "get_MaximumSize", "()", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorageFile", "get_UsedSize", "()", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorageFileStream", "Dispose", "(System.Boolean)", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorageFileStream", "DisposeAsync", "()", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorageFileStream", "EndRead", "(System.IAsyncResult)", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorageFileStream", "EndWrite", "(System.IAsyncResult)", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorageFileStream", "Flush", "()", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorageFileStream", "Flush", "(System.Boolean)", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorageFileStream", "IsolatedStorageFileStream", "(System.String,System.IO.FileMode)", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorageFileStream", "IsolatedStorageFileStream", "(System.String,System.IO.FileMode,System.IO.FileAccess)", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorageFileStream", "IsolatedStorageFileStream", "(System.String,System.IO.FileMode,System.IO.FileAccess,System.IO.FileShare)", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorageFileStream", "IsolatedStorageFileStream", "(System.String,System.IO.FileMode,System.IO.FileAccess,System.IO.FileShare,System.IO.IsolatedStorage.IsolatedStorageFile)", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorageFileStream", "IsolatedStorageFileStream", "(System.String,System.IO.FileMode,System.IO.FileAccess,System.IO.FileShare,System.Int32)", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorageFileStream", "IsolatedStorageFileStream", "(System.String,System.IO.FileMode,System.IO.FileAccess,System.IO.FileShare,System.Int32,System.IO.IsolatedStorage.IsolatedStorageFile)", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorageFileStream", "IsolatedStorageFileStream", "(System.String,System.IO.FileMode,System.IO.FileAccess,System.IO.IsolatedStorage.IsolatedStorageFile)", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorageFileStream", "IsolatedStorageFileStream", "(System.String,System.IO.FileMode,System.IO.IsolatedStorage.IsolatedStorageFile)", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorageFileStream", "Lock", "(System.Int64,System.Int64)", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorageFileStream", "ReadByte", "()", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorageFileStream", "Seek", "(System.Int64,System.IO.SeekOrigin)", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorageFileStream", "SetLength", "(System.Int64)", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorageFileStream", "Unlock", "(System.Int64,System.Int64)", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorageFileStream", "Write", "(System.ReadOnlySpan<System.Byte>)", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorageFileStream", "WriteByte", "(System.Byte)", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorageFileStream", "get_CanRead", "()", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorageFileStream", "get_CanSeek", "()", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorageFileStream", "get_CanWrite", "()", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorageFileStream", "get_Handle", "()", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorageFileStream", "get_IsAsync", "()", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorageFileStream", "get_Length", "()", "summary", "df-generated"]
      - ["System.IO.IsolatedStorage", "IsolatedStorageFileStream", "get_SafeFileHandle", "()", "summary", "df-generated"]
