Package-level declarations

Primitive: Answer the target variable of the assignment.

Primitive: Answer the specified assignment's value expression.

Primitive: Answer the tuple of argument declarations for the specified block.

Primitive: Answer the specified block's set of declared exceptions.

Primitive: Answer the tuple of outer declarations needed by the specified block to complete its meaning.

Primitive: Answer the String which names the primitive referenced by this block phrase. Answer the empty string if no primitive was specified.

Primitive: Answer the specified block's return type.

Primitive: Answer the tuple of statements for the specified block.

Primitive: Create a new argument declaration from the specified token and type.

Primitive: Transform a variable reference and an expression into an inner assignment. Such a node also produces the assigned value as its result, so it can be embedded as a subexpression.

Primitive: Transform a variable reference and an expression into an assignment statement. Such a phrase has type top and cannot be embedded as a subexpression.

Primitive: Create a block expression from the specified argument declarations, primitive name, statements, result type, and exception set.

Primitive CreateExpressionAsStatementPhrase: Construct an expression-as-statement phrase for the given expression.

Primitive: Create a first-of-sequence phrase from the specified tuple of statements.

Primitive: Create an initializing local variable declaration from the specified token, type, and expression.

Primitive: Create a label declaration from the specified token and continuation type.

Primitive: Create a list from the specified tuple of expressions.

Primitive: Create a literal expression from the specified literal token.

Primitive: Create a literal token with the specified literal value, lexeme, starting character position, and line number.

Primitive: Construct a literal token type with the given parameterization.

Primitive: Answer a local constant declaration from the specified token and initializing expression.

Primitive: Create a marker phrase from the specified value and yield type (which don't have to agree).

Primitive: Create a new module variable declaration from the specified token and actual variable.

Primitive: Create a permuted list phrase from the given list and permutation tuple.

Primitive: Create a variation of a phrase type. In particular, create a phrase type of the same kind but with the specified expression type.

Primitive: Create a primitive failure variable declaration from the specified token and type.

Primitive: Transform a variable use into a reference.

Primitive CreateRestrictedSendExpression: Create a send phrase from the specified message bundle, list phrase of argument expressions, and return type. In addition, run all semantic restrictions in separate fibers.

Primitive: Create a send expression from the specified message bundle, list phrase of argument expressions, and return type. Do not apply semantic restrictions.

Primitive CreateSequenceAsExpressionPhrase: Construct a sequence-as-expression phrase for the given sequence phrase.

Primitive: Create a sequence from the specified tuple of statements.

Primitive: Transform a base expression and a type into a supercast phrase that will use that type for lookup. Fail if the type is not a strict supertype of that which will be produced by the expression. Also fail if the expression is itself a supertype, or if it is top-valued or bottom-valued.

Primitive: Create a token with the specified TokenType, lexeme, starting character position, and line number.

Primitive: Construct a token type with the given parameterization.

Primitive: Create a local variable declaration from the specified token and type.

Primitive: Create a variable use from the specified token and declaration.

Primitive: If the specified declaration has an initializing expression, then answer true, otherwise answer false.

Primitive: If the specified declaration has an initializing expression, then return it, otherwise fail with E_DECLARATION_DOES_NOT_HAVE_INITIALIZER.

Primitive: Answer the token that names the entity introduced by the declaration.

Primitive: Answer the type of the specified declaration.

Primitive ExpressionAsStatementExpression: Answer the expression wrapped by an expression-as-statement phrase.

Primitive: Answer the specified first-of-sequence's tuple of statements. The first statement's result will be the result produced by this first-of-sequence.

Primitive: Answer the specified list's tuple of expressions.

Primitive: Answer the literal token from which the specified literal phrase was built.

Primitive: Extract the type of value that can be inside a literal token that satisfies this literal token type.

Primitive: Get the specified literal token's literal value.

Primitive LookupMacro: Given an atom and a tuple of phrases, look up the body function of the applicable macro. Do not execute it. The returned function should accept the given tuple of phrases.

Primitive: Extract the value from a marker phrase.

Primitive: Answer the list phrase permuted by the specified permuted list phrase.

Primitive: Answer the permutation tuple of the specified permuted list phrase.

Primitive: Extract the result type of a phrase.

Primitive: Answer the tokens that are part of this phrase. This generally does not include tokens that are considered tokens of subphrases of this phrase.

Primitive: Extract the result type of a phrase type.

Primitive: Answer the target variable of the specified reference.

Primitive: Answer the specified send expression's list of argument expressions.

Primitive: Answer the send expression's target bundle.

Primitive: Answer the send expression's target method.

Primitive: Answer the specified send phrase's expected return type.

Primitive P_SequenceAsExpressionSequence: Answer the sequence that is inside the given sequence-as-expression phrase.

Primitive: Answer the specified sequence's tuple of statements.

Primitive: Extract the base expression from a supercast phrase.

Primitive: Extract the lookup type from a supercast phrase. This is the type that the argument is to be treated as during method lookup.

Primitive: Get the specified token's classifier, which is an atom.

Primitive: Get the lexeme (string) associated with the specified token.

Primitive: Get the specified token's one-based line number within the source module that supplied it. A result of 0 means that the line number is unknown or meaningless.

Primitive: Get the specified token's one-based start position within the source module string. A result of 0 means that the line number is unknown or meaningless.

Primitive: Answer the declaration that created the entity referenced by this variable use.

Primitive: Answer the specified variable use's token.