I see that you guys introduced contract checking with some external contract
a breaf look at sources shows that that macro boils down to still
undocumented __annotation feature, which, judging from staticcontract.h
comments [below] is a way to store some info to .pdb files.
the question is...
is that analysis tool somewhere publicly available? [maybe I just missed
in case it is not, I'm sure there is somewhere some information just about
the idea itself.
if you have couple of links on the subject handly, they would be extremely
learning and admiring,
Alexander Petrossian, Moscow, Russia
// PDB annotations for the static contract analysis tool. These are
// from Contract.h to allow their inclusion in any part of the system.
// currently, only x86 has a static contract analysis tool, so let's not
// bloat the PDBs of all the other architectures too..
#define ANNOTATION_FN_LEAF __annotation(L"LEAF "
> -----Original Message-----
> From: Discussion of the Rotor Shared Source CLI
> implementation [mailto:DOTNET-ROTOR@DISC...] On
> Behalf Of Jan Kotas
> Sent: Friday, March 24, 2006 5:16 PM
> To: DOTNET-ROTOR@DISC... > Subject: [DOTNET-ROTOR] Rotor 2.0 released
> On behalf of the entire Rotor team, I am pleased to announce the 2.0
> release of Rotor.