21 Sep
2011
21 Sep
'11
10:42 p.m.
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:
Can you show an example because I'm confused.
Stef
On Sep 21, 2011, at 9:16 PM, Alexandre Bergel wrote:
--
_,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:
Alexandre Bergel http://www.bergel.eu
^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.
Hi!
In C#, a method may be defined in several files. In fact, each statement knows in which
file it is defined. Currently, there is one unique file anchor per method.
Is this something that FAMIX can represent?
Cheers,
Alexandre
--
_,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:
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