[viatra-dev] ExportedParameter constraint vs type judgements

[Tamás Szabó <tamas.szabo@xxxxxxxxx>]

Hi

I would like to get some clarifications on the handling of an 
ExportedParameter constraint.
The mentioned constraint implements the ITypeInfoProviderConstraint 
interface, but, in the getImpliedJudgements method, it simply returns an 
empty collection of type judgments.
Why is that the behavior? If the ExportedParameter constraint has a type 
key defined for the parameter then why not return that as a judgment here?
Currently, the Viatra Queries generator emits a unary type constraint if 
it sees an ExportedParameter with a defined type key.
Beucase of that, the type key information wont get "lost", but why is 
there this extra indirection to extract this information?

Cheers,
Tomi

--
Tamás Szabó
Software Engineer

Tel.:     +49 711 342 191 0
Fax.:     +49 711 342 191 29
Mobil:    +49 171 565 416 9
Web:      www.itemis.de
Mail:     tamas.szabo@xxxxxxxxx
Skype:    szabta89
LinkedIn: de.linkedin.com/pub/tamas-szabo/51/610/a12/

itemis AG
Niederlassung Süd
Industriestrasse 6.
70565 Stuttgart

Rechtlicher Hinweis | Legal note:
Amtsgericht Dortmund, HRB 20621
Vorstand | Board: Jens Wagener (Vors.), Wolfgang Neuhaus
Aufsichtsrat | Supervisory board: Dr. Burkhard Igel (Vors.), Michael Neuhaus, Jennifer Fiorentino