Alternative blocks are more complicated than other constructs in Occam due to the need to perform both setup and teardown for each guard whilst maintaining the location of the workspace pointer. This makes it necessary to be slightly smarter about the positioning of the replicator variables for the construct.
Alternative blocks are more complicated than other constructs in Occam due to the need to perform both setup and teardown for each guard whilst maintaining the location of the workspace pointer. This makes it necessary to be slightly smarter about the positioning of the replicator variables for the construct.