[UML] Generischer Rückgabetyp abhängig von Paramter

[M.E.]

Hallo,

Ich habe einige Schwierigkeiten den richtigen Rückgabetyp einer Methode in der UML anzugeben.
Ich möchte folgendes in einem UML Diagramm darstellen:

Eine Übersetzerklasse soll folgende Methode anbieten.

+ translateValue(type : project::DataType, value : T) : Rueckgabe

Die Methode soll folgendes Verhalten zeigen:
Sie erhält mit dem Parameter type vom Typ project:ataType die Information zu welchem Typ konvertiert werden soll. Außerdem erhält die Methode einen value eines generischen Typs. Dieser Wert soll konvertiert werden und zurückgegeben werden.

Zur Verdeutlichung einige Beispielaufrufe (Pseudocode)

project::INTEGER x = translateValue(project::INTEGER, false); //in x steht jetzt der Wert 0 

project::BOOL y = translateValue(project::BOOL, 1); //in y steht jetzt der Wert true

Frage: Welchen Rückgabetyp muss ich im UML Diagramm angeben?
folgendes ist meiner Meinung nach falsch:

+ translateValue(type : project::DataType, value : T) : project::DataType

Denn project:ataType ist ja die Angabe eines Typs, die Methode soll aber die Instanz eines Typs zurückgeben.
Deutlich wird dieser Widerspruch dadurch, dass man, wenn die Methode project:ataType zurückgäbe, man diese in sich selbst einsetzen könnte und das macht keinen Sinn.

Wer weiß einen Ausweg? Vielen Dank im Voraus!

Edit: project:ataType ist ein Enum in dem mögliche Datentypen aufgelistet sind.

 

[Freezedevil]

Deutlich wird dieser Widerspruch dadurch, dass man, wenn die Methode project:ataType zurückgäbe, man diese in sich selbst einsetzen könnte und das macht keinen Sinn.

Das sehe ich nicht als Problem an. Ich kann auch eine Substring Methode in sich selbst einsetzen. Ob das sinnvoll ist entscheidet ja nicht die Signatur sondern die Semantik der Methode.
Ich glaube auch, dass es so richtig ist wie du es hast, also dass project:ataType zurückgegeben wird. Dein Problem, wenn ich es richtig verstehe, ist doch sicherlich, dass du anhand dieser Signatur einen BOOL reingibst, aber einen INTEGER rausbekommen kannst. Ich fürchte, dass sich das nicht vermeiden lässt. Ich würde an die Stelle einfach ein Kommentar machen, dafür sind die schließlich da. Das Ziel von UML ist ja nur, dass man versteht was passiert und ich denke das ist dann gegeben.

 

[Grantig]

Ich glaube auch, dass es so richtig ist wie du es hast, also dass project:ataType zurückgegeben wird.

Das glaub ich nicht. project:ataType ist ja ein enum - er will aber eben einen konvertierten Wert/ein Objekt zurück bekommen.

@M.E.
Imho wäre es besser, wenn du auf den enum komplett verzichtest:

+ translateValue(value : T) : TResult

Wenns ohne den enum nicht geht, dann eben:

+ translateValue(type : project::DataType, value : T) : TResult

Dein Problem ist, dass bei deiner momentanen Methodensignatur (mit enum), die Methode zurückgeben kann was sie will.
Sie ist durch die Signatur nicht dazu gezwungen wirklich eine Instanz zurückzugeben die dem übergebenen project:ataType entspricht.

 

[M.E.]

Hallo,

Ich denke das ist die Lösung:

+ translateValue(type : project::DataType, value : T) : TResult

Dein Problem ist, dass bei deiner momentanen Methodensignatur (mit enum), die Methode zurückgeben kann was sie will.
Sie ist durch die Signatur nicht dazu gezwungen wirklich eine Instanz zurückzugeben die dem übergebenen project:ataType entspricht.

Das Problem bleibt leider bestehen, aber ich werde es ausführlich kommentieren damit es eindeutig ist.

Ich denke die UML ist an dieser stelle einfach nicht mächtig genug diese Bedingung auszudrücken.
Es wäre gut, wenn jemand noch weitere Quellen zu dem Problem hat, weil ich sicher nicht der erste bin, der vor diesem Problem steht. Ich habe natürlich schon danach gegoogelt aber noch nichts dazu gefunden.

Danke für die Hilfe soweit!

MfG
M.E.

 

[Freezedevil]

Ich hatte vorhin nur das hier gefunden http://stackoverflow.com/questions/2735990/uml-enumeration-as-a-return-type
Die Resonanz ist jedoch recht gering, weshalb ich den Link für nicht sehr aussagekräftig halte.

 

[M.E.]

@Freezedevil
Meinem Verständnis nach ist das was auf stackoverflow diskutiert wurde ein anderes Problem. Das was dort zurückgegeben werden soll ist eine Instanz des Enums, also z.B. GREEN.

In meinem Fall wäre eine Instanz des Enums ein bestimmter Datentyp, also zum Beispiel project::BOOL . Das soll meine Methode aber nicht zurückgeben, sondern einen Wert (z.B. true) vom Typ project::BOOL .

 

[Freezedevil]

Ja stimmt.