\n /// [CanBeNull] public object Test() { return null; }\n /// public void UseTest() {\n /// var p = Test();\n /// var s = p.ToString(); // Warning: Possible 'System.NullReferenceException'\n /// }\n /// \n /// \n /// [NotNull] public object Foo() {\n /// return null; // Warning: Possible 'null' assignment\n /// }\n /// \n /// \n /// [StringFormatMethod(\"message\")]\n /// public void ShowError(string message, params object[] args) { /* do something */ }\n /// public void Foo() {\n /// ShowError(\"Failed: {0}\"); // Warning: Non-existing argument in format string\n /// }\n /// \n /// \n /// public void Foo(string param) {\n /// if (param == null)\n /// throw new ArgumentNullException(\"par\"); // Warning: Cannot resolve symbol\n /// }\n /// \n /// \n /// public class Foo : INotifyPropertyChanged {\n /// public event PropertyChangedEventHandler PropertyChanged;\n /// [NotifyPropertyChangedInvocator]\n /// protected virtual void NotifyChanged(string propertyName) { ... }\n /// \n /// private string _name;\n /// public string Name {\n /// get { return _name; }\n /// set { _name = value; NotifyChanged(\"LastName\"); /* Warning */ }\n /// }\n /// }\n /// \n /// Examples of generated notifications:\n /// Function Definition Table syntax:
\n ///\n /// [ContractAnnotation(\"=> halt\")]\n /// public void TerminationMethod()\n /// \n /// \n /// [ContractAnnotation(\"halt <= condition: false\")]\n /// public void Assert(bool condition, string text) // regular assertion method\n /// \n /// \n /// [ContractAnnotation(\"s:null => true\")]\n /// public bool IsNullOrEmpty(string s) // string.IsNullOrEmpty()\n /// \n /// \n /// // A method that returns null if the parameter is null, and not null if the parameter is not null\n /// [ContractAnnotation(\"null => null; notnull => notnull\")]\n /// public object Transform(object data) \n /// \n /// \n /// [ContractAnnotation(\"s:null=>false; =>true,result:notnull; =>false, result:null\")]\n /// public bool TryParse(string s, out Person result)\n /// \n /// \n /// [LocalizationRequiredAttribute(true)]\n /// public class Foo {\n /// private string str = \"my string\"; // Warning: Localizable string\n /// }\n /// \n /// \n /// [CannotApplyEqualityOperator]\n /// class NoEquality { }\n /// class UsesNoEquality {\n /// public void Test() {\n /// var ca1 = new NoEquality();\n /// var ca2 = new NoEquality();\n /// if (ca1 != null) { // OK\n /// bool condition = ca1 == ca2; // Warning\n /// }\n /// }\n /// }\n /// \n /// \n /// [BaseTypeRequired(typeof(IComponent)] // Specify requirement\n /// public class ComponentAttribute : Attribute { }\n /// [Component] // ComponentAttribute requires implementing IComponent interface\n /// public class MyComponent : IComponent { }\n /// \n /// \n /// [Pure] private int Multiply(int x, int y) { return x * y; }\n /// public void Foo() {\n /// const int a = 2, b = 2;\n /// Multiply(a, b); // Waring: Return value of pure method is not used\n /// }\n /// \n /// \n /// [ActionName(\"Foo\")]\n /// public ActionResult Login(string returnUrl) {\n /// ViewBag.ReturnUrl = Url.Action(\"Foo\"); // OK\n /// return RedirectToAction(\"Bar\"); // Error: Cannot resolve action\n /// }\n /// \n ///