Really interesting!

Which version do you suggest me to use? The one on the repository or the mac binary?


Thank you!!
Alberto

2009/7/23 Alexandre Bergel <alexandre@bergel.eu>
I do not use MSE for C models, but XML files produced by srcML instead
Hello world example:

'/* Hello World program */

#include<stdio.h>

main()
{
    printf("Hello World");

}'

XML version:
'<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
<unit xmlns="http://www.sdml.info/srcML/src" xmlns:cpp="http://www.sdml.info/srcML/cpp
" language="C++" dir="" filename="helloworld.c"><comment type="block">/
* Hello World program */</comment>

<cpp:include>#<cpp:directive>include</
cpp:directive><cpp:file>&lt;stdio.h&gt;</cpp:file></cpp:include>

<function><name>main</name><parameter_list>()</parameter_list>
<block>{
    <expr_stmt><expr><call><name>printf</
name><argument_list>(<argument><expr>"Hello World"</expr></argument>)</
argument_list></call></expr>;</expr_stmt>

}</block></function></unit>
'

srcML has nice properties, such as bijection between the source and
the XML file. You can always retrieve the source from the XML.

Alexandre


On 23 Jul 2009, at 09:34, Alberto Bacchelli wrote:

> Unfortunately they don't fit my need.
> However, I'd be interested in having a look at how is a MSE file for
> a C software.
> Can you send me one of yours mse file of the linux kernel, please?
>
> Thank you!
> Alberto
>
> 2009/7/22 Alexandre Bergel <alexandre@bergel.eu>
> The linux kernel and an industrial application
>
> Alexandre
>
>
> On 22 Jul 2009, at 10:31, Alberto Bacchelli wrote:
>
> > Interesting :)
> > Which projects did you study? So I can see if they are ok for me
> >
> > In the meanwhile,
> > thank you for letting me know,
> >
> > Alberto
> >
> > 2009/7/22 Alexandre Bergel <alexandre@bergel.eu>
> > Hi Alberto,
> >
> > To let you know, I did some case studies in C under Pharo.
> >
> > Cheers,
> > Alexandre
> >
> >
> > On 22 Jul 2009, at 08:36, Alberto Bacchelli wrote:
> >
> > > Hi,
> > >
> > > I need to study one (or more) C++ systems. However, due to the
> macro
> > > definition issue, it is quite long (and the results can be
> > > approximate) to generate the mse files using iPlasma (or also
> > > inFusion), if you want to analyze a C++ system that you don't
> know.
> > >
> > > For this reason, I was wondering if there's somebody who can share
> > > the mse files of C++ systems with me. The ideal situation is a
> > > system big enough to have a bug reporting system (e.g. bugzilla)
> and
> > > a mailing list.
> > >
> > >
> > > Thank you in advance,
> > > Alberto
> > > _______________________________________________
> > > Moose-dev mailing list
> > > Moose-dev@iam.unibe.ch
> > > https://www.iam.unibe.ch/mailman/listinfo/moose-dev
> >
> > --
> > _,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:
> > Alexandre Bergel  http://www.bergel.eu
> > ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.
> >
> >
> >
> >
> >
> > _______________________________________________
> > Moose-dev mailing list
> > Moose-dev@iam.unibe.ch
> > https://www.iam.unibe.ch/mailman/listinfo/moose-dev
> >
> > _______________________________________________
> > Moose-dev mailing list
> > Moose-dev@iam.unibe.ch
> > https://www.iam.unibe.ch/mailman/listinfo/moose-dev
>
> --
> _,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:
> Alexandre Bergel  http://www.bergel.eu
> ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.
>
>
>
>
>
> _______________________________________________
> Moose-dev mailing list
> Moose-dev@iam.unibe.ch
> https://www.iam.unibe.ch/mailman/listinfo/moose-dev
>
> _______________________________________________
> Moose-dev mailing list
> Moose-dev@iam.unibe.ch
> https://www.iam.unibe.ch/mailman/listinfo/moose-dev

--
_,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:
Alexandre Bergel  http://www.bergel.eu
^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.





_______________________________________________
Moose-dev mailing list
Moose-dev@iam.unibe.ch
https://www.iam.unibe.ch/mailman/listinfo/moose-dev