Re: [viatra-dev] ExportedParameter constraint vs type judgements

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

Sorry, my bad. The ExportedParameter class does not implement the 
interface right now.
(That was after I have played around with it :) )
Then I reformulate my question: why doesn't it implement that interface?
It could contribute valuable type judgments to the engine.

18/01/2017 14:02 keltezéssel, Tamás Szabó írta:
> 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

--
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