Re: Ada and UML

["Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>]

Le Fri, 03 Sep 2010 18:14:47 +0200, Matteo Bordin  
<matteo.bordin@gmail.com> a écrit:
> You should use Acceleo 3, which complies with the OMG model-to-text
> spec.
That was because I first get into trouble with version 3, now it is solved.

To not give erroneous picture, here is the same with the relevant version.  
Indeed, this is different. Still did not found a way to have a nicer  
output (I did the best, but still not nice).


Transormation:

    [comment encoding = UTF-8 /]
    [module Generate('http://www.eclipse.org/uml2/3.0.0/UML')/]

    [template lined(s : String)]
    [s.trim().replaceAll('\\s+', ' ')/]
    [/template]

    [template indented(s : String)]
    [s.trim().replaceAll('(\\n)\\s+', '$0 ')/]
    [/template]

    [template asTypeName(e : NamedElement) post(lined())]
       [e.name/]_Type
    [/template]

    [template asParameter(p : Parameter) post(lined())]
       [p.name/] : [p.type.asTypeName()/]
    [/template]

    [template asNextParameter(p : Parameter) post(indented())]
    ;
    [p.asParameter()/]
    [/template]

    [template asFirstParameter(p : Parameter) post(lined())]
       [p.asParameter()/]
    [/template]

    [template asSelfParameter(o : Operation) post(lined())]
       Self : [o.ancestors(Class).asTypeName()/]
    [/template]

    [template asParameterList(o: Operation) post(indented())]
       ([o.asSelfParameter()/]
       [for (p : Parameter | o.eAllContents(Parameter))]
          [if (not p.name.equalsIgnoreCase('return'))]
             [p.asNextParameter()/]
          [/if]
       [/for])
    [/template]

    [template asSignature(o: Operation) post(indented())]
       [if (o.type = null)]
          procedure [o.name/]
          [o.asParameterList()/];
       [/if]
       [if (o.type <> null)]
          function [o.name/]
          [o.asParameterList()/]
          return [o.type.asTypeName()/];
       [/if]
    [/template]

    [template publicPart(pkg: Package) post(indented())]
       [for (c : Class | pkg.eAllContents(Class))]
          type [c.asTypeName()/] is private;

          [for (o : Operation | c.eAllContents(Operation))]
             [if (o.visibility = VisibilityKind::public)]
                [o.asSignature()/]
             [/if]
          [/for]
       [/for]
    [/template]

    [template privatePart(pkg: Package) post(indented())]
       [for (c : Class | pkg.eAllContents(Class))]
          type [c.asTypeName()/] is record
             [for (p : Property | c.eAllContents(Property))]
                [p.name/] : [p.type.asTypeName()/];
             [/for]
          end record; --  [c.asTypeName()/]

          [for (o : Operation | c.eAllContents(Operation))]
             [if (o.visibility <> VisibilityKind::public)]
                [o.asSignature()/]
             [/if]
          [/for]
       [/for]
    [/template]

    [template packageSpecification(pkg : Package) post(trim())]
    package [pkg.name/] is
       [pkg.publicPart()/]
    private
       [pkg.privatePart()/]
    end [pkg.name/];
    [/template]

    [template public Generate(pkg : Package)]
       [file (pkg.name + '.ads', false, 'UTF-8')]
    [pkg.packageSpecification()/]
       [/file]
    [/template]



Sample output, using the same UML model as for the prior example (the  
“indented” method does not seem to be enough).

    package Greetings is
       type Greeting_Box_Type is private;

                    procedure Say_Hi
                           (Self : Greeting_Box_Type
                           );
                    procedure Set_Greeting_Counter
                           (Self : Greeting_Box_Type
                                     ;
                                     Value : Natural_Type
                           );
                    function Get_Greeting_Counter
                           (Self : Greeting_Box_Type
                           )
                           return Natural_Type;
    private
       type Greeting_Box_Type is record
                    Greating_Counter : Natural_Type;
              end record; --  Greeting_Box_Type

                    procedure Have_A_Private_Time
                           (Self : Greeting_Box_Type
                           );
    end Greetings;


Useful link in this context:

    http://www.omg.org/spec/MOFM2T/1.0/
    for references about MTL (you will see indeed Acceleo 3 conforms to  
this, while 2.7 was not)

-- 
“Dual licensing is the Perl's way to disinfect the GNU General Public  
Virus!” (anonymous)