I do not have a concrete example, but you may have a contract (pre and post conditions) defined in one file, and a method in another file. The pre and post conditions are then in different files than the method itself. A guy from microsoft is visiting us. Alexandre On 21 Sep 2011, at 17:36, Stéphane Ducasse wrote: knows in which file it is defined. Currently, there is one unique file anchor per method. -- _,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;: Alexandre Bergel http://www.bergel.eu ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;. _______________________________________________ Moose-dev mailing list Moose-dev(a)iam.unibe.ch https://www.iam.unibe.ch/mailman/listinfo/moose-dev

In short, partial classes allow you to split the definition of a class across multiple files, or alternatively you could think about it as a code compilation unit separated over multiple files. The reason for the existence of this feature is - primarily - to provide a nice split between generated code and user code, as in the Windows Forms Designer that generates its code in a separate file, while developers have almost (you should delete the initialization call in the ctor) full control over the form's other code file. A silly example: public partial class Employee { public void DoWork() { } } public partial class Employee { public void GoToLunch() { } } taken from here: http://bartdesmet.net/blogs/bart/archive/2007/07/28/c-3-0-partial-methods-w… and here: http://msdn.microsoft.com/en-us/library/wa80x488.aspx On Wed, Sep 21, 2011 at 10:42 PM, Alexandre Bergel <alexandre.bergel(a)me.com> wrote: I do not have a concrete example, but you may have a contract (pre and post conditions) defined in one file, and a method in another file. The pre and post conditions are then in different files than the method itself. A guy from microsoft is visiting us. Alexandre On 21 Sep 2011, at 17:36, Stéphane Ducasse wrote: -- _,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;: Alexandre Bergel http://www.bergel.eu ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;. _______________________________________________ Moose-dev mailing list Moose-dev(a)iam.unibe.ch https://www.iam.unibe.ch/mailman/listinfo/moose-dev _______________________________________________ Moose-dev mailing list Moose-dev(a)iam.unibe.ch https://www.iam.unibe.ch/mailman/listinfo/moose-dev