19 | /// [CanBeNull] public object Test() { return null; }
20 | /// public void UseTest() {
21 | /// var p = Test();
22 | /// var s = p.ToString(); // Warning: Possible 'System.NullReferenceException'
23 | /// }
24 | ///
36 | /// [NotNull] public object Foo() {
37 | /// return null; // Warning: Possible 'null' assignment
38 | /// }
39 | ///
73 | /// [StringFormatMethod("message")]
74 | /// public void ShowError(string message, params object[] args) { /* do something */ }
75 | /// public void Foo() {
76 | /// ShowError("Failed: {0}"); // Warning: Non-existing argument in format string
77 | /// }
78 | ///
117 | /// public void Foo(string param) {
118 | /// if (param == null)
119 | /// throw new ArgumentNullException("par"); // Warning: Cannot resolve symbol
120 | /// }
121 | ///
143 | /// public class Foo : INotifyPropertyChanged {
144 | /// public event PropertyChangedEventHandler PropertyChanged;
145 | /// [NotifyPropertyChangedInvocator]
146 | /// protected virtual void NotifyChanged(string propertyName) { ... }
147 | ///
148 | /// private string _name;
149 | /// public string Name {
150 | /// get { return _name; }
151 | /// set { _name = value; NotifyChanged("LastName"); /* Warning */ }
152 | /// }
153 | /// }
154 | ///
155 | /// Examples of generated notifications:
156 | /// Function Definition Table syntax:
183 | ///
199 | /// [ContractAnnotation("=> halt")]
200 | /// public void TerminationMethod()
201 | ///
203 | /// [ContractAnnotation("halt <= condition: false")]
204 | /// public void Assert(bool condition, string text) // regular assertion method
205 | ///
207 | /// [ContractAnnotation("s:null => true")]
208 | /// public bool IsNullOrEmpty(string s) // string.IsNullOrEmpty()
209 | ///
211 | /// // A method that returns null if the parameter is null,
212 | /// // and not null if the parameter is not null
213 | /// [ContractAnnotation("null => null; notnull => notnull")]
214 | /// public object Transform(object data)
215 | ///
217 | /// [ContractAnnotation("s:null=>false; =>true,result:notnull; =>false, result:null")]
218 | /// public bool TryParse(string s, out Person result)
219 | ///
243 | /// [LocalizationRequiredAttribute(true)]
244 | /// public class Foo {
245 | /// private string str = "my string"; // Warning: Localizable string
246 | /// }
247 | ///
270 | /// [CannotApplyEqualityOperator]
271 | /// class NoEquality { }
272 | /// class UsesNoEquality {
273 | /// public void Test() {
274 | /// var ca1 = new NoEquality();
275 | /// var ca2 = new NoEquality();
276 | /// if (ca1 != null) { // OK
277 | /// bool condition = ca1 == ca2; // Warning
278 | /// }
279 | /// }
280 | /// }
281 | ///
292 | /// [BaseTypeRequired(typeof(IComponent)] // Specify requirement
293 | /// public class ComponentAttribute : Attribute { }
294 | /// [Component] // ComponentAttribute requires implementing IComponent interface
295 | /// public class MyComponent : IComponent { }
296 | ///
449 | /// [Pure] private int Multiply(int x, int y) { return x * y; }
450 | /// public void Foo() {
451 | /// const int a = 2, b = 2;
452 | /// Multiply(a, b); // Waring: Return value of pure method is not used
453 | /// }
454 | ///
494 | /// [SourceTemplate]
495 | /// public static void forEach<T>(this IEnumerable<T> xs) {
496 | /// foreach (var x in xs) {
497 | /// //$ $END$
498 | /// }
499 | /// }
500 | ///
501 | ///
519 | /// [SourceTemplate, Macro(Target = "item", Expression = "suggestVariableName()")]
520 | /// public static void forEach<T>(this IEnumerable<T> collection) {
521 | /// foreach (var item in collection) {
522 | /// //$ $END$
523 | /// }
524 | /// }
525 | ///
526 | /// Applying the attribute on a template method parameter:
527 | ///
528 | /// [SourceTemplate]
529 | /// public static void something(this Entity x, [Macro(Expression = "guid()", Editable = -1)] string newguid) {
530 | /// /*$ var $x$Id = "$newguid$" + x.ToString();
531 | /// x.DoSomething($x$Id); */
532 | /// }
533 | ///
534 | ///
772 | /// [ActionName("Foo")]
773 | /// public ActionResult Login(string returnUrl) {
774 | /// ViewBag.ReturnUrl = Url.Action("Foo"); // OK
775 | /// return RedirectToAction("Bar"); // Error: Cannot resolve action
776 | /// }
777 | ///