Tävlingen går ut på att man skall bidra med en artikel, en applikation (Webb eller Windows) eller en video, vilken tar upp någon eller några av nyheterna i Visual Studio 2010 och .NET 4.0.
Tävlingen kommer att hållas fram till 22 november, så ni har strax över en månad på er.
De bästa bidragen belönas med en Arc Mouse och bidraget kommer att bli publicerat på Microsoft’s Svenska hemsida.
Code Contracts är en ny funktion som har fötts fram ur Microsoft Research och som kommer att finnas med i .NET Framework 4.0. Med den funktionen kan man, som hörs på namnet, definiera kontrakten på sin kod på ett bättre sätt. Dessa kontrakt kontrolleras antingen vid kompilering eller exekvering.
Jag vill ge några korta exempel här. Se nedan under rubriken länkar för att hitta vidare information. Ladda ned Code Contract MSI för Visual Studio 2010, Beta 1, för att få dessa exempel att fungera.
Följande kod är en klass med namnet Customer som har en publik metod Age. Age har en parameter som är definierad som nullable int. Detta är en rätt normal kod, eller hur?
class Customer {
private int Year;
public void Age(int? numberOfYears) {
Year =+ numberOfYears.Value;
}
}
Slår man på Code Contract, som finns under Properties för projektet…
…och sedan bygger projektet, får man upp följande felmeddelande:
Det visar på att Year inte kan vara null, vilket i sin tur gör att numberOfYears inte heller kan vara null. Rad 1 ger ett förslag på ett sätta att explicit ange denna kontraktsregel iställer för på det implicita sättet som nu är. Rad 2 talar om att vi inte har något som verkligen testar att denna kontraktsregel följs.
Det enklaste sättet att fixa till detta är att ändra följande kodrad.
class Customer {
private int Year;
public void Age(int? numberOfYears) {
if(numberOfYears.HasValue) Year += numberOfYears.Value;
}
}
Nu genererar kontraktsgranskningen inget fel igen.
class Customer {
private int Year;
public void Age(int? numberOfYears) {
Contract.Requires(numberOfYears > 1);
Contract.Ensures(Year > Contract.OldValue(Year));
if(numberOfYears.HasValue) Year += numberOfYears.Value;
}
}
I denna kod har vi lagt till två statiska metoder ifrån klassen Contract. Den finns förresten under namnrymden System.Diagnostics.Contracts. Requires användas för att definiera ett kontrakt för de förutsättningar som krävs innan metoden körs och Ensure gör det möjligt att beskriva ett kontrakt som skall gälla vid utgången av metoden. OldValue använts för att kunna använda en variabels värde som den var vid ingången i metoden.
Detta var en mycket kort introduktion till kodkontrakt. Men innan jag slutar vill jag ta upp en sak till. Vad gör vi med alla de tester som vi redan har skrivit i våra metoder, if-then-throw. Dessa kan man fortfarande ha kvar och genom att använda EndContractBlock ochså använda dem för att skapa kodkontrakt.
class Customer {
private int Year;
public void Age(int? numberOfYears) {
if (numberOfYears <= 0)
throw new ArgumentException();
Contract.EndContractBlock();
}
}
Det finns mycket mer man kan göra med kodkontrakt. Ett bra sätt att börjar titta vidare på den här funktionen är att gå till DevLabs sida för Code Contracts. Där finns dokumentation och exempel.
Som många av er vet, hade vi (Microsoft) en stor konferens förra veckan. Nej, jag menar inte Techdays i Västerås, utan Mix i Las Vegas. Det var en jättespännande konferens där vi bland annat lanserade Silverlight 3.0 och Expression 3.0.
Greg har på sin blogg gjort en mycket bra sammanställning över presentationerna ifrån konferensen och länkar till att se dem. Varför inte strunta i Let's Dance imorgon och istället avnjut några presentationer om Silverlight med hela familjen. Det är säkert något som kommer att uppskattas.
Windows Azure, vårt senaste operativsystem är här. Ett operativsystem som du aldrig kommer att installera eftersom det inte finns på något av dina egna datorer, utan på internet. Men det innebär inte att vi måste strula till hur vi använder det och utvecklar emot det. När vi lägger upp våra applikationer på det, för detta kan vi göra, så kommer vi att använda alla de utvecklingsverktyg som vi känner och älskar.
Jag vet att jag inte är först, men ändå vill jag också uppmärksamma den nya betaversionen av Visual Studio och .NET Framework. Varför? Den har flera goda mumsbitar som får flera av oss att, som Pavlovs hundar, börja dregla över.
I mitt fall gäller det mycket nya grejor som har med Team System och Team Foundation Server att skaffa. Bland annat har vi fått stöd för SQL Server 2008, bättre information i källkodsfönstret, bättre emailintegration och ett bättre konverteringsverktyg för Visual Souresafe. (Ni kommer väl ihåg Souresafe?)
Sedan finns det riktigt mycket godbitar med WPF, WCF och ADO.NET.
Här är en ny webbplats ifrån oss som gör det möjligt att kolla in kodsnippets, allt ifrån enkla exempel till fullständiga applikationer.
