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 as proposed by Jon Skeet here: What is the correct way to represent template classes with UML?. With this info, I have reverse engineered a class like this:
public class Foo<T> {
//class fields and methods...
}
Now I have a dilemma trying to reverse engineer a class which only a method contains a generic parameter:
public class OtherFoo {
public <T extends Comparable<T>> boolean bar(T x, T y) {
//fancy code goes here...
}
}
Do you know how to achieve regardless any UML 2 tool? I just want to understand the concept.
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:
- Binding OtherFoo template to an (anonymous) bound class.
- Binding bar operation template to an operation in the bound class.