NoLineBreak

Ensure we are not positioned at a series of whitespace and comments that include a line break. This test is specifically to support "⇥⁇" and "↹⁇". Without this filter instruction, the normal token processing would allow the "didn't look for indent" path to consume any whitespace at all, including a wrong indent, making the construct pointless.

Properties

Link copied to clipboard

Whether this operation can run successfully if there is a pre-parsed first argument that has not yet been consumed.

Link copied to clipboard

Assume that the instruction encodes an operand that represents the index of an argument to be checked (for grammatical restrictions): answer the operand.

Link copied to clipboard

Whether this instance commutes with ParsePart instructions.

Link copied to clipboard

A Statistic that records the number of nanoseconds spent while expanding occurrences of this ParsingOperation.

Link copied to clipboard
open val keywordIndex: Int

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.

Link copied to clipboard

The name of the instruction.

Link copied to clipboard

A Statistic that records the number of nanoseconds spent while executing occurrences of this ParsingOperation.

Functions

Link copied to clipboard

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).

Link copied to clipboard
open fun successorPcs(currentPc: Int): List<Int>

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.

Link copied to clipboard
open override fun toString(): String