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

[Bergmann Gábor <bergmann@xxxxxxxxxx>]

Hi!

As Zoltán said earlier, this is a marker constraint.
Enforcing this constraint is a no-op. Therefore it cannot provide type 
guarantees either.

I hope that clears it up.

Cheers,
Gábor

-----Original Message----- 
From: Tamás Szabó
Sent: Wednesday, January 18, 2017 2:29 PM
To: viatra-dev@xxxxxxxxxxx
Subject: Re: [viatra-dev] ExportedParameter constraint vs type judgements

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

_______________________________________________
viatra-dev mailing list
viatra-dev@xxxxxxxxxxx
To change your delivery options, retrieve your password, or unsubscribe from 
this list, visit
https://dev.eclipse.org/mailman/listinfo/viatra-dev