[
Date Prev][
Date Next][
Thread Prev][
Thread Next][
Date Index][
Thread Index]
[
List Home]
|
Re: [viatra-dev] ExportedParameter constraint vs type judgements
|
Note that there also exists the TypeFilterConstraint PConstraint that is deferred (non-enumerable). The EMF version uses this for java class constraints.
Best regards,
Zoli
-- Zoltán Ujhelyi
Eclipse Technologies Expert
IncQueryLabs Ltd.
> On 2017. Jan 18., at 22:53, Tamás Szabó <tamas.szabo@xxxxxxxxx> wrote:
>
> I have one more reason for "relying more" on the ExportedParameter.
> As said before, the Viatra Queries generator emits a unary type constraint from the ExportedParameter constraint.
> However, the TypeConstraint class expects that the input key is an enumerable one.
> This wont be true for many poset/lattice input keys, that is, their elements are not enumerable.
>
> 18/01/2017 14:39 keltezéssel, Zoltán Ujhelyi írta:
>> 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
>> _______________________________________________
>> 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
>
> --
> 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
