Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Check monotonicity of whenNext callback #88

Open
JanKoelzer opened this issue Jan 29, 2018 · 1 comment
Open

Check monotonicity of whenNext callback #88

JanKoelzer opened this issue Jan 29, 2018 · 1 comment

Comments

@JanKoelzer
Copy link
Contributor

For whenNext without threshold, results must always increase, if input increases. This has to be checked at runtime. Use a table to store previous inputs/outputs. Use #86 on a new result every and every entry to check this property.

@JanKoelzer
Copy link
Contributor Author

This can easily be added to NextDepRunnable but is hard to check, if a callback is used for both whenNext and whenComplete:

val f = …
c1.whenNext(c2, f)
c1.whenComplete(c2, f) // same callback here

Maybe we could disapprove this usage in favor of when and implement the check in the implementation of when. All callback results would need to be stored in a cell's state Map[otherCell, Map[inV, outcome]].
On the other hand, check, if this feature is needed anymore, if we use a MonotonicUpdater.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant