Module eval 

Turn the symbolic program into a sequence of words in binary.

We evaluate (i.e. generate binary from) high-level parts of the abstract syntax tree, including assignment of default values. Some of the evaluation of individual parts of the abstract representation is performed in super::ast.

Structs

AddressOverflow 🔒

Represents an overflow in adding an index value to an address.

EvaluationContext 🔒

Context data used by symbol lookup and word value evaluation.

ExhaustedIndexRegisters 🔒

We ran out of index registers when assigning a default value.

RcBlock 🔒

Represents the RC-block.

ScopeIdentifier 🔒

A scope in which a tag name can be looked up.

Enums

EvaluationFailure 🔒

We failed while evaluating the value of a word (typically, the value of a word in the final assembled output).

HereValue 🔒

HereValue specifies the value used for #. A # always signifies the address of the word we are trying to assemble.

Traits

Evaluate 🔒

The Evaluate trait is implemented by any element of the program that can evaluate to a 36-bit word value.

Functions

assign_default_value 🔒

Assign a default value for a symbol, using the rules from section 6-2.2 of the Users Handbook, “SYMEX DEFINITON - TAGS - EQUALITIES - AUTOMATIC ASSIGNMENT”.

evaluate_elevated_symbol 🔒

Compute the value of a symbol in super/sub/normal script.

evaluate_normal_symbol 🔒

Compute the value of a symbol appearing in normal script.

extract_final_equalities 🔒

Determine the numerical value of all equalities, where they have one.

offset_from_origin 🔒

Compute sum of an address and an unsigned offset.