Limited Domain (e.g., no negative value for a RootBlock)
Time-Based Sequence: for instance, a block may only be valid if there are 6 0's followed by a 1.
...
Check these on connection
Limited, but intersecting domains should give a truncation warning
Only the same port validity frames should be allowed
Check these during the simulation
Force throw an error (and stop the simulation) when there is a mismatch between the value and what the port accepts.
Ports should check the validity of connections.
- [ ] Port validity checks
- [ ] Asymptotes (e.g., no 0 for the InverterBlock)
- [ ] Limited Domain (e.g., no negative value for a RootBlock)
- [ ] Time-Based Sequence: for instance, a block may only be valid if there are 6 0's followed by a 1.
- [ ] ...
- [ ] Check these on connection
- [ ] Limited, but intersecting domains should give a truncation warning
- [ ] Only the same port validity frames should be allowed
- Check these during the simulation
- [ ] Force throw an error (and stop the simulation) when there is a mismatch between the value and what the port accepts.
Ports should check the validity of connections.