C-minor v0.0

Topten.Cminor.Semantic Namespace

Classes

CFState

Represents a control flow state at a particular execution point in a function

ConstantExpressionEvaluator
ContextStack
ControlFlowAnalysis

Helper to analyse the control flow of a method

ExpressionBinder

Performs semantic checks on an AST statements and expression

HydrateTypes
NameResolver
OverloadResolver
ScaffoldTypes
StatementBinder

Performs semantic checks on an AST statements and expression

TopLevelStatements
TransientValue

Interfaces

IBinding

Represents the bound result of an expression

Enums

BindingKind

Specifies what a binding is bound to