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

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

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