![[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Recomendados
Más contenido relacionado
La actualidad más candente
La actualidad más candente (20)
Destacado
Similar a Introduction to Spec#
Similar a Introduction to Spec# (20)
Último
Último (20)
Introduction to Spec#
- 1. Proof that your software works Presentation created for Spec# v1.0.20411 as released on 11 April 2008
- 58. From Visual Studio, right-click Properties on the project, then Configuration Properties, and set ReferenceTypesAreNonNullByDefault to true Without /nn /nn Possibly-null T T T? Non-null T T! T
- 59. public class Foo : Bar { private T _t; public Foo() { _t = new T(); } public override void DoSometing() { _t.Do(); } } Bar b = new Foo();
- 60. public class Foo : Bar { private T _t; public Foo() { _t = new T(); } public override void DoSometing() { _t.Do(); } } Bar b = new Foo(); Hint! Hint!
- 61. public class Foo : Bar { private T _t; public Foo() : base() { _t = new T(); } public override void DoSometing() { _t.Do(); } } Bar b = new Foo(); public abstract class Bar { public Bar() { DoSomething(); } public abstract void DoSomething(); }