{"action":"created","comment":{"url":"https://api.github.com/repos/Microsoft/CodeContracts/pulls/comments/50807986","id":50807986,"diff_hunk":"@@ -0,0 +1,282 @@\n+﻿// CodeContracts\n+// \n+// Copyright (c) Microsoft Corporation\n+// \n+// All rights reserved. \n+// \n+// MIT License\n+// \n+// Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the \"Software\"), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions:\n+// \n+// The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software.\n+// \n+// THE SOFTWARE IS PROVIDED *AS IS*, WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.\n+\n+using System;\n+using System.ComponentModel;\n+using System.Diagnostics.Contracts;\n+using System.Threading;\n+\n+namespace System.Windows.Forms\n+{\n+    // <summary>\n+    // Displays a dialog box from which the user can select a file.\n+    // </summary>\n+    public abstract class FileDialog : CommonDialog\n+    {\n+        // <summary>\n+        // Gets or sets a value indicating whether the dialog box automatically adds an extension to a file name if the user omits the extension.\n+        // </summary>\n+        // \n+        // <returns>\n+        // true if the dialog box adds an extension to a file name if the user omits the extension; otherwise, false. The default value is true.\n+        // </returns>\n+        // public bool AddExtension {get; set;}\n+\n+        // <summary>\n+        // Gets or sets a value indicating whether the dialog box displays a warning if the user specifies a file name that does not exist.\n+        // </summary>\n+        // \n+        // <returns>\n+        // true if the dialog box displays a warning if the user specifies a file name that does not exist; otherwise, false. The default value is false.\n+        // </returns>\n+        // [DefaultValue(false)]\n+        // public virtual bool CheckFileExists { get; set; }\n+\n+        // <summary>\n+        // Gets or sets a value indicating whether the dialog box displays a warning if the user specifies a path that does not exist.\n+        // </summary>\n+        // \n+        // <returns>\n+        // true if the dialog box displays a warning when the user specifies a path that does not exist; otherwise, false. The default value is true.\n+        // </returns>\n+        // public bool CheckPathExists {get; set;}\n+\n+        // <summary>\n+        // Gets or sets the default file name extension.\n+        // </summary>\n+        // \n+        // <returns>\n+        // The default file name extension. The returned string does not include the period. The default value is an empty string (\"\").\n+        // </returns>\n+        // public string DefaultExt {get; set;}\n+\n+        // <summary>\n+        // Gets or sets a value indicating whether the dialog box returns the location of the file referenced by the shortcut or whether it returns the location of the shortcut (.lnk).\n+        // </summary>\n+        // \n+        // <returns>\n+        // true if the dialog box returns the location of the file referenced by the shortcut; otherwise, false. The default value is true.\n+        // </returns>\n+        // public bool DereferenceLinks {get; set;}\n+\n+        // <summary>\n+        // Gets or sets a string containing the file name selected in the file dialog box.\n+        // </summary>\n+        // \n+        // <returns>\n+        // The file name selected in the file dialog box. The default value is an empty string (\"\").\n+        // </returns>\n+        //<PermissionSet><IPermission class=\"System.Security.Permissions.FileIOPermission, mscorlib, Version=2.0.3600.0, Culture=neutral, PublicKeyToken=b77a5c561934e089\" version=\"1\" Unrestricted=\"true\"/></PermissionSet>\n+        // public string FileName {get; set;}\n+\n+        /// <summary>\n+        /// Gets the file names of all selected files in the dialog box.\n+        /// </summary>\n+        /// \n+        /// <returns>\n+        /// An array of type <see cref=\"T:System.String\"/>, containing the file names of all selected files in the dialog box.\n+        /// </returns>\n+        ///<PermissionSet><IPermission class=\"System.Security.Permissions.FileIOPermission, mscorlib, Version=2.0.3600.0, Culture=neutral, PublicKeyToken=b77a5c561934e089\" version=\"1\" Unrestricted=\"true\"/></PermissionSet>\n+        public string[] FileNames\n+        {\n+            get\n+            {\n+                Contract.Ensures(Contract.Result<string[]>() != null);\n+                return default(string[]);\n+            }\n+        }\n+\n+        // <summary>\n+        // Gets or sets the current file name filter string, which determines the choices that appear in the \"Save as file type\" or \"Files of type\" box in the dialog box.\n+        // </summary>\n+        // \n+        // <returns>\n+        // The file filtering options available in the dialog box.\n+        // </returns>\n+        // <exception cref=\"T:System.ArgumentException\"><paramref name=\"Filter\"/> format is invalid. </exception><filterpriority>1</filterpriority>\n+        // public string Filter {get; set;}\n+\n+        // <summary>\n+        // Gets or sets the index of the filter currently selected in the file dialog box.\n+        // </summary>\n+        // \n+        // <returns>\n+        // A value containing the index of the filter currently selected in the file dialog box. The default value is 1.\n+        // </returns>\n+        // [DefaultValue(1)]\n+        // public int FilterIndex {get; set;}\n+\n+        // <summary>\n+        // Gets or sets the initial directory displayed by the file dialog box.\n+        // </summary>\n+        // \n+        // <returns>\n+        // The initial directory displayed by the file dialog box. The default is an empty string (\"\").\n+        // </returns>\n+        // [DefaultValue(\"\")]\n+        public string InitialDirectory\n+        {\n+            get\n+            {\n+                Contract.Ensures(Contract.Result<string>() != null);\n+                return default(string);\n+            }\n+            set { }\n+        }\n+\n+        // <summary>\n+        // Gets the Win32 instance handle for the application.\n+        // </summary>\n+        // \n+        // <returns>\n+        // A Win32 instance handle for the application.\n+        // </returns>\n+        // protected virtual IntPtr Instance {get;}\n+\n+        // <summary>\n+        // Gets values to initialize the <see cref=\"T:System.Windows.Forms.FileDialog\"/>.\n+        // </summary>\n+        // \n+        // <returns>\n+        // A bitwise combination of internal values that initializes the <see cref=\"T:System.Windows.Forms.FileDialog\"/>.\n+        // </returns>\n+        // protected int Options {get;}\n+\n+        // <summary>\n+        // Gets or sets a value indicating whether the dialog box restores the current directory before closing.\n+        // </summary>\n+        // \n+        // <returns>\n+        // true if the dialog box restores the current directory to its original value if the user changed the directory while searching for files; otherwise, false. The default value is false.\n+        // </returns>\n+        // [DefaultValue(false)]\n+        public bool RestoreDirectory { get; set; }\n+\n+        // <summary>\n+        // Gets or sets a value indicating whether the Help button is displayed in the file dialog box.\n+        // </summary>\n+        // \n+        // <returns>\n+        // true if the dialog box includes a help button; otherwise, false. The default value is false.\n+        // </returns>\n+        // [DefaultValue(false)]\n+        // public bool ShowHelp {get; set;}\n+\n+        // <summary>\n+        // Gets or sets whether the dialog box supports displaying and saving files that have multiple file name extensions.\n+        // </summary>\n+        // \n+        // <returns>\n+        // true if the dialog box supports multiple file name extensions; otherwise, false. The default is false.\n+        // </returns>\n+        // [DefaultValue(false)]\n+        // public bool SupportMultiDottedExtensions {get; set;}\n+\n+        /// <summary>\n+        /// Gets or sets the file dialog box title.\n+        /// </summary>\n+        /// \n+        /// <returns>\n+        /// The file dialog box title. The default value is an empty string (\"\").\n+        /// </returns>\n+        ///\n+        /// [DefaultValue(\"\")]\n+        public string Title\n+        {\n+            get\n+            {\n+                Contract.Ensures(Contract.Result<string>() != null);\n+                return default(string);\n+            }\n+            set { }\n+        }\n+\n+        // <summary>\n+        // Gets or sets a value indicating whether the dialog box accepts only valid Win32 file names.\n+        // </summary>\n+        // \n+        // <returns>\n+        // true if the dialog box accepts only valid Win32 file names; otherwise, false. The default value is true.\n+        // </returns>\n+        // [DefaultValue(true)]\n+        // public bool ValidateNames { get; set; }\n+\n+        // <summary>\n+        // Gets the custom places collection for this <see cref=\"T:System.Windows.Forms.FileDialog\"/> instance.\n+        // </summary>\n+        // \n+        // <returns>\n+        // The custom places collection for this <see cref=\"T:System.Windows.Forms.FileDialog\"/> instance.\n+        // </returns>\n+        // public FileDialogCustomPlacesCollection CustomPlaces {get;}\n+\n+        // <summary>\n+        // Gets or sets a value indicating whether this <see cref=\"T:System.Windows.Forms.FileDialog\"/> instance should automatically upgrade appearance and behavior when running on Windows Vista.\n+        // </summary>\n+        // \n+        // <returns>\n+        // true if this <see cref=\"T:System.Windows.Forms.FileDialog\"/> instance should automatically upgrade appearance and behavior when running on Windows Vista; otherwise, false. The default is true.\n+        // </returns>\n+        // [DefaultValue(true)]\n+        // public bool AutoUpgradeEnabled {get; set;}\n+\n+        // <summary>\n+        // Occurs when the user clicks on the Open or Save button on a file dialog box.\n+        // </summary>\n+        // public event CancelEventHandler FileOk\n+\n+        // <summary>\n+        // Defines the common dialog box hook procedure that is overridden to add specific functionality to the file dialog box.\n+        // </summary>\n+        // \n+        // <returns>\n+        // Returns zero if the default dialog box procedure processes the message; returns a nonzero value if the default dialog box procedure ignores the message.\n+        // </returns>\n+        // <param name=\"hWnd\">The handle to the dialog box window. </param><param name=\"msg\">The message received by the dialog box. </param><param name=\"wparam\">Additional information about the message. </param><param name=\"lparam\">Additional information about the message. </param>\n+        // [SecurityPermission(SecurityAction.LinkDemand, Flags = SecurityPermissionFlag.UnmanagedCode)]\n+        // protected override IntPtr HookProc(IntPtr hWnd, int msg, IntPtr wparam, IntPtr lparam)\n+\n+        // <summary>\n+        // Raises the <see cref=\"E:System.Windows.Forms.FileDialog.FileOk\"/> event.\n+        // </summary>\n+        // <param name=\"e\">A <see cref=\"T:System.ComponentModel.CancelEventArgs\"/> that contains the event data. </param>\n+        // protected void OnFileOk(CancelEventArgs e)\n+\n+        /// <summary>\n+        /// Specifies a common dialog box.\n+        /// </summary>\n+        /// \n+        /// <returns>\n+        /// true if the file could be opened; otherwise, false.\n+        /// </returns>\n+        /// <param name=\"hWndOwner\">A value that represents the window handle of the owner window for the common dialog box. </param>\n+        protected override bool RunDialog(IntPtr hWndOwner)\n+        {\n+            Contract.Requires(!Control.CheckForIllegalCrossThreadCalls ||","path":"Microsoft.Research/Contracts/System.Windows.Forms/System.Windows.Forms.FileDialog.cs","position":266,"original_position":266,"commit_id":"8f7fe066e654693296a43aa0a47f47721a9a8e4c","original_commit_id":"8f7fe066e654693296a43aa0a47f47721a9a8e4c","user":{"login":"hubuk","id":11485931,"avatar_url":"https://avatars.githubusercontent.com/u/11485931?v=3","gravatar_id":"","url":"https://api.github.com/users/hubuk","html_url":"https://github.com/hubuk","followers_url":"https://api.github.com/users/hubuk/followers","following_url":"https://api.github.com/users/hubuk/following{/other_user}","gists_url":"https://api.github.com/users/hubuk/gists{/gist_id}","starred_url":"https://api.github.com/users/hubuk/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/hubuk/subscriptions","organizations_url":"https://api.github.com/users/hubuk/orgs","repos_url":"https://api.github.com/users/hubuk/repos","events_url":"https://api.github.com/users/hubuk/events{/privacy}","received_events_url":"https://api.github.com/users/hubuk/received_events","type":"User","site_admin":false},"body":"Yes, this contract will be inherited by subclasses.","created_at":"2016-01-26T08:53:44Z","updated_at":"2016-01-26T08:53:44Z","html_url":"https://github.com/Microsoft/CodeContracts/pull/239#discussion_r50807986","pull_request_url":"https://api.github.com/repos/Microsoft/CodeContracts/pulls/239","_links":{"self":{"href":"https://api.github.com/repos/Microsoft/CodeContracts/pulls/comments/50807986"},"html":{"href":"https://github.com/Microsoft/CodeContracts/pull/239#discussion_r50807986"},"pull_request":{"href":"https://api.github.com/repos/Microsoft/CodeContracts/pulls/239"}}},"pull_request":{"url":"https://api.github.com/repos/Microsoft/CodeContracts/pulls/239","id":44020897,"html_url":"https://github.com/Microsoft/CodeContracts/pull/239","diff_url":"https://github.com/Microsoft/CodeContracts/pull/239.diff","patch_url":"https://github.com/Microsoft/CodeContracts/pull/239.patch","issue_url":"https://api.github.com/repos/Microsoft/CodeContracts/issues/239","number":239,"state":"open","locked":false,"title":"Changes to support contracts for FileDialog (and other common Dialogs)","user":{"login":"ndykman","id":1259103,"avatar_url":"https://avatars.githubusercontent.com/u/1259103?v=3","gravatar_id":"","url":"https://api.github.com/users/ndykman","html_url":"https://github.com/ndykman","followers_url":"https://api.github.com/users/ndykman/followers","following_url":"https://api.github.com/users/ndykman/following{/other_user}","gists_url":"https://api.github.com/users/ndykman/gists{/gist_id}","starred_url":"https://api.github.com/users/ndykman/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ndykman/subscriptions","organizations_url":"https://api.github.com/users/ndykman/orgs","repos_url":"https://api.github.com/users/ndykman/repos","events_url":"https://api.github.com/users/ndykman/events{/privacy}","received_events_url":"https://api.github.com/users/ndykman/received_events","type":"User","site_admin":false},"body":"This is a set of contract for FileDialog.cs and other classes to address #217. This is a fairly small set of contracts. Thanks again for reviewing.","created_at":"2015-09-02T17:42:32Z","updated_at":"2016-01-26T08:53:44Z","closed_at":null,"merged_at":null,"merge_commit_sha":"22e9f7471cf8096d05406ba9bddc6cd2d3ac8615","assignee":null,"milestone":null,"commits_url":"https://api.github.com/repos/Microsoft/CodeContracts/pulls/239/commits","review_comments_url":"https://api.github.com/repos/Microsoft/CodeContracts/pulls/239/comments","review_comment_url":"https://api.github.com/repos/Microsoft/CodeContracts/pulls/comments{/number}","comments_url":"https://api.github.com/repos/Microsoft/CodeContracts/issues/239/comments","statuses_url":"https://api.github.com/repos/Microsoft/CodeContracts/statuses/8f7fe066e654693296a43aa0a47f47721a9a8e4c","head":{"label":"ndykman:issue217","ref":"issue217","sha":"8f7fe066e654693296a43aa0a47f47721a9a8e4c","user":{"login":"ndykman","id":1259103,"avatar_url":"https://avatars.githubusercontent.com/u/1259103?v=3","gravatar_id":"","url":"https://api.github.com/users/ndykman","html_url":"https://github.com/ndykman","followers_url":"https://api.github.com/users/ndykman/followers","following_url":"https://api.github.com/users/ndykman/following{/other_user}","gists_url":"https://api.github.com/users/ndykman/gists{/gist_id}","starred_url":"https://api.github.com/users/ndykman/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ndykman/subscriptions","organizations_url":"https://api.github.com/users/ndykman/orgs","repos_url":"https://api.github.com/users/ndykman/repos","events_url":"https://api.github.com/users/ndykman/events{/privacy}","received_events_url":"https://api.github.com/users/ndykman/received_events","type":"User","site_admin":false},"repo":{"id":38645322,"name":"CodeContracts","full_name":"ndykman/CodeContracts","owner":{"login":"ndykman","id":1259103,"avatar_url":"https://avatars.githubusercontent.com/u/1259103?v=3","gravatar_id":"","url":"https://api.github.com/users/ndykman","html_url":"https://github.com/ndykman","followers_url":"https://api.github.com/users/ndykman/followers","following_url":"https://api.github.com/users/ndykman/following{/other_user}","gists_url":"https://api.github.com/users/ndykman/gists{/gist_id}","starred_url":"https://api.github.com/users/ndykman/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ndykman/subscriptions","organizations_url":"https://api.github.com/users/ndykman/orgs","repos_url":"https://api.github.com/users/ndykman/repos","events_url":"https://api.github.com/users/ndykman/events{/privacy}","received_events_url":"https://api.github.com/users/ndykman/received_events","type":"User","site_admin":false},"private":false,"html_url":"https://github.com/ndykman/CodeContracts","description":"Source code for the CodeContracts tools for .NET","fork":true,"url":"https://api.github.com/repos/ndykman/CodeContracts","forks_url":"https://api.github.com/repos/ndykman/CodeContracts/forks","keys_url":"https://api.github.com/repos/ndykman/CodeContracts/keys{/key_id}","collaborators_url":"https://api.github.com/repos/ndykman/CodeContracts/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/ndykman/CodeContracts/teams","hooks_url":"https://api.github.com/repos/ndykman/CodeContracts/hooks","issue_events_url":"https://api.github.com/repos/ndykman/CodeContracts/issues/events{/number}","events_url":"https://api.github.com/repos/ndykman/CodeContracts/events","assignees_url":"https://api.github.com/repos/ndykman/CodeContracts/assignees{/user}","branches_url":"https://api.github.com/repos/ndykman/CodeContracts/branches{/branch}","tags_url":"https://api.github.com/repos/ndykman/CodeContracts/tags","blobs_url":"https://api.github.com/repos/ndykman/CodeContracts/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/ndykman/CodeContracts/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/ndykman/CodeContracts/git/refs{/sha}","trees_url":"https://api.github.com/repos/ndykman/CodeContracts/git/trees{/sha}","statuses_url":"https://api.github.com/repos/ndykman/CodeContracts/statuses/{sha}","languages_url":"https://api.github.com/repos/ndykman/CodeContracts/languages","stargazers_url":"https://api.github.com/repos/ndykman/CodeContracts/stargazers","contributors_url":"https://api.github.com/repos/ndykman/CodeContracts/contributors","subscribers_url":"https://api.github.com/repos/ndykman/CodeContracts/subscribers","subscription_url":"https://api.github.com/repos/ndykman/CodeContracts/subscription","commits_url":"https://api.github.com/repos/ndykman/CodeContracts/commits{/sha}","git_commits_url":"https://api.github.com/repos/ndykman/CodeContracts/git/commits{/sha}","comments_url":"https://api.github.com/repos/ndykman/CodeContracts/comments{/number}","issue_comment_url":"https://api.github.com/repos/ndykman/CodeContracts/issues/comments{/number}","contents_url":"https://api.github.com/repos/ndykman/CodeContracts/contents/{+path}","compare_url":"https://api.github.com/repos/ndykman/CodeContracts/compare/{base}...{head}","merges_url":"https://api.github.com/repos/ndykman/CodeContracts/merges","archive_url":"https://api.github.com/repos/ndykman/CodeContracts/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/ndykman/CodeContracts/downloads","issues_url":"https://api.github.com/repos/ndykman/CodeContracts/issues{/number}","pulls_url":"https://api.github.com/repos/ndykman/CodeContracts/pulls{/number}","milestones_url":"https://api.github.com/repos/ndykman/CodeContracts/milestones{/number}","notifications_url":"https://api.github.com/repos/ndykman/CodeContracts/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/ndykman/CodeContracts/labels{/name}","releases_url":"https://api.github.com/repos/ndykman/CodeContracts/releases{/id}","deployments_url":"https://api.github.com/repos/ndykman/CodeContracts/deployments","created_at":"2015-07-06T20:51:04Z","updated_at":"2015-07-06T20:51:34Z","pushed_at":"2015-12-18T20:03:50Z","git_url":"git://github.com/ndykman/CodeContracts.git","ssh_url":"git@github.com:ndykman/CodeContracts.git","clone_url":"https://github.com/ndykman/CodeContracts.git","svn_url":"https://github.com/ndykman/CodeContracts","homepage":null,"size":268290,"stargazers_count":0,"watchers_count":0,"language":"C#","has_issues":false,"has_downloads":true,"has_wiki":true,"has_pages":false,"forks_count":0,"mirror_url":null,"open_issues_count":0,"forks":0,"open_issues":0,"watchers":0,"default_branch":"master"}},"base":{"label":"Microsoft:master","ref":"master","sha":"d5ab60214c11c3e87b2462d9f60512f9b92d0370","user":{"login":"Microsoft","id":6154722,"avatar_url":"https://avatars.githubusercontent.com/u/6154722?v=3","gravatar_id":"","url":"https://api.github.com/users/Microsoft","html_url":"https://github.com/Microsoft","followers_url":"https://api.github.com/users/Microsoft/followers","following_url":"https://api.github.com/users/Microsoft/following{/other_user}","gists_url":"https://api.github.com/users/Microsoft/gists{/gist_id}","starred_url":"https://api.github.com/users/Microsoft/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Microsoft/subscriptions","organizations_url":"https://api.github.com/users/Microsoft/orgs","repos_url":"https://api.github.com/users/Microsoft/repos","events_url":"https://api.github.com/users/Microsoft/events{/privacy}","received_events_url":"https://api.github.com/users/Microsoft/received_events","type":"Organization","site_admin":false},"repo":{"id":28880434,"name":"CodeContracts","full_name":"Microsoft/CodeContracts","owner":{"login":"Microsoft","id":6154722,"avatar_url":"https://avatars.githubusercontent.com/u/6154722?v=3","gravatar_id":"","url":"https://api.github.com/users/Microsoft","html_url":"https://github.com/Microsoft","followers_url":"https://api.github.com/users/Microsoft/followers","following_url":"https://api.github.com/users/Microsoft/following{/other_user}","gists_url":"https://api.github.com/users/Microsoft/gists{/gist_id}","starred_url":"https://api.github.com/users/Microsoft/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Microsoft/subscriptions","organizations_url":"https://api.github.com/users/Microsoft/orgs","repos_url":"https://api.github.com/users/Microsoft/repos","events_url":"https://api.github.com/users/Microsoft/events{/privacy}","received_events_url":"https://api.github.com/users/Microsoft/received_events","type":"Organization","site_admin":false},"private":false,"html_url":"https://github.com/Microsoft/CodeContracts","description":"Source code for the CodeContracts tools for .NET","fork":false,"url":"https://api.github.com/repos/Microsoft/CodeContracts","forks_url":"https://api.github.com/repos/Microsoft/CodeContracts/forks","keys_url":"https://api.github.com/repos/Microsoft/CodeContracts/keys{/key_id}","collaborators_url":"https://api.github.com/repos/Microsoft/CodeContracts/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/Microsoft/CodeContracts/teams","hooks_url":"https://api.github.com/repos/Microsoft/CodeContracts/hooks","issue_events_url":"https://api.github.com/repos/Microsoft/CodeContracts/issues/events{/number}","events_url":"https://api.github.com/repos/Microsoft/CodeContracts/events","assignees_url":"https://api.github.com/repos/Microsoft/CodeContracts/assignees{/user}","branches_url":"https://api.github.com/repos/Microsoft/CodeContracts/branches{/branch}","tags_url":"https://api.github.com/repos/Microsoft/CodeContracts/tags","blobs_url":"https://api.github.com/repos/Microsoft/CodeContracts/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/Microsoft/CodeContracts/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/Microsoft/CodeContracts/git/refs{/sha}","trees_url":"https://api.github.com/repos/Microsoft/CodeContracts/git/trees{/sha}","statuses_url":"https://api.github.com/repos/Microsoft/CodeContracts/statuses/{sha}","languages_url":"https://api.github.com/repos/Microsoft/CodeContracts/languages","stargazers_url":"https://api.github.com/repos/Microsoft/CodeContracts/stargazers","contributors_url":"https://api.github.com/repos/Microsoft/CodeContracts/contributors","subscribers_url":"https://api.github.com/repos/Microsoft/CodeContracts/subscribers","subscription_url":"https://api.github.com/repos/Microsoft/CodeContracts/subscription","commits_url":"https://api.github.com/repos/Microsoft/CodeContracts/commits{/sha}","git_commits_url":"https://api.github.com/repos/Microsoft/CodeContracts/git/commits{/sha}","comments_url":"https://api.github.com/repos/Microsoft/CodeContracts/comments{/number}","issue_comment_url":"https://api.github.com/repos/Microsoft/CodeContracts/issues/comments{/number}","contents_url":"https://api.github.com/repos/Microsoft/CodeContracts/contents/{+path}","compare_url":"https://api.github.com/repos/Microsoft/CodeContracts/compare/{base}...{head}","merges_url":"https://api.github.com/repos/Microsoft/CodeContracts/merges","archive_url":"https://api.github.com/repos/Microsoft/CodeContracts/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/Microsoft/CodeContracts/downloads","issues_url":"https://api.github.com/repos/Microsoft/CodeContracts/issues{/number}","pulls_url":"https://api.github.com/repos/Microsoft/CodeContracts/pulls{/number}","milestones_url":"https://api.github.com/repos/Microsoft/CodeContracts/milestones{/number}","notifications_url":"https://api.github.com/repos/Microsoft/CodeContracts/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/Microsoft/CodeContracts/labels{/name}","releases_url":"https://api.github.com/repos/Microsoft/CodeContracts/releases{/id}","deployments_url":"https://api.github.com/repos/Microsoft/CodeContracts/deployments","created_at":"2015-01-06T19:48:32Z","updated_at":"2016-01-24T02:07:22Z","pushed_at":"2016-01-26T07:52:59Z","git_url":"git://github.com/Microsoft/CodeContracts.git","ssh_url":"git@github.com:Microsoft/CodeContracts.git","clone_url":"https://github.com/Microsoft/CodeContracts.git","svn_url":"https://github.com/Microsoft/CodeContracts","homepage":null,"size":257204,"stargazers_count":402,"watchers_count":402,"language":"C#","has_issues":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"forks_count":70,"mirror_url":null,"open_issues_count":128,"forks":70,"open_issues":128,"watchers":402,"default_branch":"master"}},"_links":{"self":{"href":"https://api.github.com/repos/Microsoft/CodeContracts/pulls/239"},"html":{"href":"https://github.com/Microsoft/CodeContracts/pull/239"},"issue":{"href":"https://api.github.com/repos/Microsoft/CodeContracts/issues/239"},"comments":{"href":"https://api.github.com/repos/Microsoft/CodeContracts/issues/239/comments"},"review_comments":{"href":"https://api.github.com/repos/Microsoft/CodeContracts/pulls/239/comments"},"review_comment":{"href":"https://api.github.com/repos/Microsoft/CodeContracts/pulls/comments{/number}"},"commits":{"href":"https://api.github.com/repos/Microsoft/CodeContracts/pulls/239/commits"},"statuses":{"href":"https://api.github.com/repos/Microsoft/CodeContracts/statuses/8f7fe066e654693296a43aa0a47f47721a9a8e4c"}}}}