oldavailability | Channel 9

Sign In

Summary: Make the Old(x) construct available outside a specification.

Since Spec# is already going to support "caching" of previous values for an entity via Old(x), it would be useful for Old(x) to be accessible (read-only).

- History
  
  Modified By: System
  
  Apr 30th, 2008 @ 11:15 AM
  
  Views (20)
- Share
  - Del.icio.us
  - Digg
  - FriendFeed
  - Facebook
Markup Quick Guide

*bold*

_italics_

+underline+

! Heading 1

!! Heading 2

* Bullet List

** Bullet List 2

# Number List

## Number List 2

[another wiki page]

[url:http://www.example.com]

[image:example.gif]

{"Do not apply formatting"}

ASP.NET: Presenting in Europe Next Week
TechNet Edge: AlignIT IT Manager Podcast #30 - Straight Talk about Windows 7
WindowsClient: You know your post rate has gone down...
Silverlight: Geek Profiles – Scott Guthrie
Channel 9: C9 Lectures: Dr. Erik Meijer - Functional Programming Fundamentals Chapter 9 of 13
TechNet Edge: Managing Your Virtual World - Tech Focus November 2009 Part 2
ASP.NET: Silverlight and RIA Services: Implementing Search
Channel 9: C9 Lectures: Brian Beckman - Covariance and Contravariance in Physics 1 of 1
Channel 9: Set Your Data Free
Channel 9: Implementing a Silverlight SharePoint WebPart with Visual Studio 2010
WindowsClient: New WPF Showcase Addition: Enterprise
Channel 9: Reactive Extensions API in depth: Contract
WindowsClient: Concluding "New WPF Features" Series
WindowsClient: Introduction to TestApi – Part 5: Managed Code Fault Injection APIs
ASP.NET: T4MVC now has a real home and a dedicated forum!
TechNet Edge: Windows Server 2008 R2 : New Power Management Features
ASP.NET: Web Deployment Painkillers: VS 2010 & MS Deploy
WindowsClient: Application Accessibility Testing
WindowsClient: Prism & WCF RIA Services
Channel 9: Sharepoint 2010 and Claims-Based Identity
close

Microsoft Communities