Namespace RDCore.SDK.Semantics.Flow
Classes
- ControlFlowGraph
The code paths of a procedure: every way control can pass from one Instruction of an InstructionList to another, from the first instruction to the end of the activation (RD-VBAL §5.0.3).
- ReturnValueAnalysis
Tells on how many of the code paths of a function or a property getter the return value is assigned: the function result variable (MS-VBAL §5.3.1).
- ReturnValueFact
What the semantic analysis pass found out about the return value of a function or a property getter: whether the code assigns it (the function result variable, MS-VBAL §5.3.1).
Structs
- ControlFlowEdge
One way control can pass from an instruction to another, in a ControlFlowGraph.
Enums
- ControlFlowEdgeKind
Why control can pass from one instruction to another.
- ControlFlowImprecision
What a ControlFlowGraph could not describe exactly, so that whoever asks it a question knows which answers to trust.
- ReturnValueAssignment
On how many of the code paths of a function or a property getter its return value is assigned.