JSA query filter for and/all

View: New views

2 Messages — Rating Filter: Alert me

JSA query filter for and/all

by ChangLin WAN :: Rate this Message:

Reply to Author | View Threaded | Show Only this Message

Some parts of this message have been removed. Learn more about Nabble's security policy.

Hi JADE-developers,

How can I create a query filter for query-ref message that has SL content

like “(any (sequence ?x ?y) (p ?x ?y))” or “(all (sequence ?x ?y) (p ?x ?y))”?

If I create a formula “(any ??term ??phi)” as filter pattern, it reports error

when the formula is initializing. Changing the keyword “any” to “exists” or other

word avoid the initialization error, but then it cannot filter those “(any …)” messages.

Changlin

_______________________________________________
jade-develop mailing list
jade-develop@...
https://avalon.cselt.it/mailman/listinfo/jade-develop
UNSUBSCRIBE INSTRUCTIONS AT
http://jade.tilab.com/community-mailinglist.htm

Re: JSA query filter for and/all

by Vincent Louis-3 :: Rate this Message:

Reply to Author | View Threaded | Show Only this Message

Hello Changlin,

Could you show the excerpt of code that causes an error, and the exact
Java exception that is thrown?
This should help in giving you the solution.

Thanks,
Vincent

ChangLin WAN a écrit :

>
> Hi JADE-developers,
>
>
>
> How can I create a query filter for query-ref message that has SL content
>
> like “(any (sequence ?x ?y) (p ?x ?y))” or “(all (sequence ?x ?y) (p
> ?x ?y))”?
>
>
>
> If I create a formula “(any ??term ??phi)” as filter pattern, it
> reports error
>
> when the formula is initializing. Changing the keyword “any” to
> “exists” or other
>
> word avoid the initialization error, but then it cannot filter those
> “(any …)” messages.
>
>
>
> Changlin
>
>
>
>
>
> ------------------------------------------------------------------------
>
> _______________________________________________
> jade-develop mailing list
> jade-develop@...
> https://avalon.cselt.it/mailman/listinfo/jade-develop
> UNSUBSCRIBE INSTRUCTIONS AT
> http://jade.tilab.com/community-mailinglist.htm