How to represent generic parameter in UML method?

前端 未结 1 338
感情败类
感情败类 2020-12-11 02:29

I have to reverse engineer some classes from a Java application into a UML 2 class diagram. So far so good, I have found how to represent class templates for the whole class

相关标签:
1条回答
  • 2020-12-11 03:02

    I don't know how to do this in your tool of choice, but on the model level, it works exactly like for classes. You create a template operation with your signature.

    Chapter 17.4.14 of the UML2 superstructure specifies this for notation:

    The template parameters and template parameter binding of a template operation are two lists in between the name of the operation and the parameters of the operation.
    *<visibility> <name> ‘<‘ <template-parameter-list> ‘>’ ‘<<‘ <binding-expression-list> ‘>>’‘( ‘ <parameter> [‘,’<parameter>]** ‘)’ [‘:’ <property-string>]

    In your case, let's first see the simple case of

    public <T> boolean bar(T x, T y)
    

    This would correspond to

    + bar<T> (x: T, y: T) : Boolean

    Your original example looks a bit more complicated because the template parameter is constrained to another class, Comparable, that in turn is also a template whose parameter (I'll call it T1) is bound to the operation's parameter in turn. This gives us

    + bar<T > Comparable<T1->T>> (x: T, y: T) : Boolean


    Note: (A bit of in-depth rambling ahead) Templates as specified by UML (and to some degree C++) are a very different beast from Generics in Java. They look more or less the same, but there are - sometimes subtle - differences in their semantics that can make it difficult to match the two. The most important one in UML is this:

    A template cannot be used in the same manner as a non-template element of the same kind. The template element can only be used to generate bound elements (e.g., a template class cannot be used as the type of a typed element) or as part of the specification of another template (e.g., a template class may specialize another template class).

    This means that in UML, OtherFoo needs to be a template, too - i.e. have a template signature (with 0 parameters). In order to then use the operation template correctly outside the template scope - i.e. call it in an activity or similar - you'd first have to bind it to a concrete operation, which is used instead. In case of your example, this means:

    1. Binding OtherFoo template to an (anonymous) bound class.
    2. Binding bar operation template to an operation in the bound class.
    0 讨论(0)
提交回复
热议问题