lingua-franca
lingua-franca copied to clipboard
Validation of transient annotation
Currently, transient federates are only supported:
- within the C target,
- and when the coordination is centralized.
The validation rules in LF Validator need to support these conditions.
Considering that transient federates are currently not supported by LF and whether we want to integrate this concept is still up for debate, I am a bit surprised by this issue and its wording. It almost seems as if it presumes that the feature is part of the language and that there is a consensus on this matter. I would appreciate it if you clearly identify that an issue sketches an idea or a proposal, or when it refers to a proposed feature.
Also, I think these particular points can easily be addressed in the open PR and I don't see why it should be a separate issue.