This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |
| creating:statements [2025/04/19 19:28] – Added link to table of contents ahelwer | creating:statements [2025/04/19 19:47] (current) – Use internal wiki links, add link to code repo ahelwer |
|---|
| No further changes to ''Environment'' are necessary at this time; we'll define the desired semantics in later chapters. | No further changes to ''Environment'' are necessary at this time; we'll define the desired semantics in later chapters. |
| |
| Next up, our greatest parsing challenge yet: [[https://docs.tlapl.us/creating:jlists|conjunction & disjunction lists]]! | Next up, our greatest parsing challenge yet: [[creating:jlists|conjunction & disjunction lists]]! |
| | If your code got out of sync during this tutorial, you can find a snapshot of its expected state in [[https://github.com/tlaplus-community/tlaplus-creator/tree/main/5-statements|this repo directory]]. |
| |
| ====== Section 8.5: Challenges ====== | ====== Section 8.5: Challenges ====== |
| - The ''isAtOpDefStart()'' and ''operatorDefinition()'' methods have some duplicated logic that will only grow more involved when we add operator parameter support. Can you find a way to factor out this logic into a single method? | - The ''isAtOpDefStart()'' and ''operatorDefinition()'' methods have some duplicated logic that will only grow more involved when we add operator parameter support. Can you find a way to factor out this logic into a single method? |
| |
| [[https://docs.tlapl.us/creating:evaluation|< Previous Page]] | [[https://docs.tlapl.us/creating:start#table_of_contents|Table of Contents]] | [[https://docs.tlapl.us/creating:jlists|Next Page >]] | [[creating:evaluation|< Previous Page]] | [[creating:start#table_of_contents|Table of Contents]] | [[creating:jlists|Next Page >]] |
| |
ahelwer