Run
A macro has been parsed up to a section checkpoint (§), and a copy of the cleaned up parse stack has been pushed, so invoke the operandth prefix function associated with the macro. Consume the previously pushed copy of the parse stack. The current ParserState's client data map is stashed in the new fiber's globals map and retrieved afterward, so the prefix function and macros can alter the scope or communicate with each other by manipulating this map. This technique prevents chatter between separate fibers (i.e., parsing can still be done in parallel) and between separate linguistic abstractions (the keys are atoms and are therefore modular).
Properties
Whether this operation can run successfully if there is a pre-parsed first argument that has not yet been consumed.
Assume that the instruction encodes an operand that represents the index of an argument to be checked (for grammatical restrictions): answer the operand.
Whether this instance commutes with ParsePart instructions.
A Statistic that records the number of nanoseconds spent while expanding occurrences of this ParsingOperation.
Assume that the instruction encodes an operand that represents a message part index: answer the operand. Answer 0 if the operand does not represent a message part.
A Statistic that records the number of nanoseconds spent while executing occurrences of this ParsingOperation.
Functions
Given a ParsingOperation, answer an equal operation object that is equal to it, possibly itself, such that all invocations of intern with equal operations will produce the same object. It uses the weak internedInstructions map(s).
Given a program counter, answer the list of successor program counters that should be explored. For example, a BranchForward instruction will need to visit both the next program counter and the branch target.