document/embbed-rust
2
0
Fork 0
mirror of https://github.com/nkbai/book.git synced 2026-09-04 05:32:47 +08:00
Code Issues Packages Projects Releases Wiki Activity

Refactor and generalize

Browse Source 
- to avoid repetitive statements
This commit is contained in:
Nathan
2018-11-06 20:57:00 -08:00
parent 290fb34964
commit 4fe0ff4ec1
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/static-guarantees/state-machines.md
View File

@@ -91,8 +91,8 @@ impl Gpio {
}
```
However, this could allow us to modify certain registers that do not make sense. For example, what happens if we set the `output_mode` field when our GPIO is configured as an input? For some hardware, this may not matter. On other hardware, it could cause unexpected or undefined behavior.
However, this would allow us to modify certain registers that do not make sense. For example, what happens if we set the `output_mode` field when our GPIO is configured as an input?
This would allow us to reach states not defined by our state machine above: An output that is pulled low, or an input that was set high!
In general, use of this structure would allow us to reach states not defined by our state machine above: e.g. an output that is pulled low, or an input that is set high. For some hardware, this may not matter. On other hardware, it could cause unexpected or undefined behavior!
Although this interface is convenient to write, it doesn't enforce the design contracts set out by our hardware implementation.