Re: [tlaplus] Overriding operator which is used in a temporal property

[Markus Kuppe <tlaplus-google-group@xxxxxxxxxxx>]

On 13.04.21 21:47, pfeod...@xxxxxxxxx wrote:
> Hi,
>
> Is there any way that I could use an overridden operator in a temporal 
> property? E.g. `prop` is a `PROPERTY` and `MyOperator` is overridden by 
> a Java method.
>
> ```
> prop ==
>    <>[]MyOperator(mainVar)
> ```
>
> It works when not overridden, otherwise it gives me the following error 
> (using the `TLAPlusOperator` interface)
>
> Error: In evaluation, the identifier mainVar is either undefined or not 
> an operator.
>
> I'm doing this for a personal project and I understand that the 
> evaluation of temporal properties is complex enough that I guess I 
> should not be able to do this, but who knows.
>
> Thanks

Hi,

pretty much all standard operators are overridden.  Please open a Github 
issue with more detail.

Thanks,
Markus

--
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/018dfe06-2b29-3362-50b2-c97ff7fe721b%40lemmster.de.