[
Date Prev][
Date Next][
Thread Prev][
Thread Next][
Date Index][
Thread Index]
[
List Home]
|
Re: [viatra-dev] ExportedParameter constraint vs type judgements
|
As far as I recall, the only reason to use the ExportedParameter PConstraint is to connect Variables from the PBody to the PParameters. Other than this, both LS and Rete ignores them.
Given that this constraint is very special, it is somewhat strange that it is handled the same way as all other PConstraint instances, but I don’t remember any more details… Maybe Gaben remembers the original design ideas more clearly.
Best regards,
Zoli
-- Zoltán Ujhelyi
Eclipse Technologies Expert
IncQueryLabs Ltd.
> On 2017. Jan 18., at 14:29, Tamás Szabó <tamas.szabo@xxxxxxxxx> wrote:
>
> 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
