-
Notifications
You must be signed in to change notification settings - Fork 63
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
Inference of logical execution times of reactions #1292
Conversation
I see, then I will remove that part |
Fixed LET inference and added test
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I think there is a residual piece of code in ReactorInstance that might need to be deleted.
I also had some comments about the usage of .iterator().next()
, which was unclear for me.
return this.let; | ||
} | ||
|
||
if (this.parent.isGeneratedDelay()) { |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Should this be an error condition?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Because when we get the action delay by after
lf syntax, the delay exists in the 'Delay' reactor, which is the additional reactor for only delay. So, if the parent is in the generated delay condition, we thought it should return the TimeValue.ZERO
.
org.lflang.tests/src/org/lflang/tests/compiler/LetInferenceTests.java
Outdated
Show resolved
Hide resolved
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
LGTM!
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Overall, this looks good!
@lhstrh I think it is ready to merge. |
This is a WIP with @CloverCho and @Wonseo-C to infer logical execution times in
ReactorInstance
.FIXMEs: