Namespace RDCore.SDK.Semantics.Instructions
Classes
- Instruction
One entry of an InstructionList — RD-VBAL §3.5. Offset is both the entry's index into Items and the program-counter value that fetches it.
- InstructionList
The ordered, keyed instruction list of one procedure body — RD-VBAL §3.5 (MS-VBAL §2.3.1: "sequentially evaluate each instruction in the frame"). Built by InstructionListLowering; immutable.
- InstructionListLowering
Lowers a procedure body into an InstructionList — RD-VBAL §3.5. This is the statement-tree analogue of StatementStaticSemanticsEvaluator: where that walker recurses through the whole tree checking types and label references, lowering produces the flat, offset-addressable list a future interpreter drives with a program counter, because
GoTo/GoSub/On…GoTo/Resumecan jump anywhere in the procedure and a recursive tree walk cannot express that.
- InstructionListLoweringResult
The result of Lower(StatementBlock, InstructionLoweringOptions, MemberKind?): the InstructionList lowering produced, and every compile error lowering found while producing it.
Structs
- InstructionLoweringOptions
What lowering needs to know about the build a procedure is being lowered for.
Enums
- InstructionKind
Discriminates the control-flow shape of an Instruction within an InstructionList — RD-VBAL §3.5.