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.