Contents Menu Expand Light mode Dark mode Auto light/dark, in light mode Auto light/dark, in dark mode Skip to content
spp-compiler documentation
spp-compiler documentation

Api Documentation

  • SPPCompiler
    • SPPCompiler package
      • SPPCompiler.CodeGen package
        • SPPCompiler.CodeGen.LlvmConfig module
        • SPPCompiler.CodeGen.LlvmExternalSymbolRegister module
        • SPPCompiler.CodeGen.LlvmInitialization module
        • SPPCompiler.CodeGen.LlvmSymbolInfo module
        • SPPCompiler.CodeGen.Mangle module
      • SPPCompiler.Compiler package
        • SPPCompiler.Compiler.Compiler module
        • SPPCompiler.Compiler.ModuleTree module
        • SPPCompiler.Compiler.Program module
      • SPPCompiler.LexicalAnalysis package
        • SPPCompiler.LexicalAnalysis.Lexer module
        • SPPCompiler.LexicalAnalysis.TokenType module
      • SPPCompiler.SemanticAnalysis package
        • SPPCompiler.SemanticAnalysis.AstUtils package
          • SPPCompiler.SemanticAnalysis.AstUtils.AstBinUtils module
          • SPPCompiler.SemanticAnalysis.AstUtils.AstFunctionUtils module
          • SPPCompiler.SemanticAnalysis.AstUtils.AstMemoryUtils module
          • SPPCompiler.SemanticAnalysis.AstUtils.AstOrderingUtils module
          • SPPCompiler.SemanticAnalysis.AstUtils.AstTypeUtils module
        • SPPCompiler.SemanticAnalysis.Asts package
          • SPPCompiler.SemanticAnalysis.Asts.Mixins package
            • SPPCompiler.SemanticAnalysis.Asts.Mixins.AbstractPatternVariantAst module
            • SPPCompiler.SemanticAnalysis.Asts.Mixins.AbstractTypeAst module
            • SPPCompiler.SemanticAnalysis.Asts.Mixins.OrderableAst module
            • SPPCompiler.SemanticAnalysis.Asts.Mixins.TypeInferrableAst module
            • SPPCompiler.SemanticAnalysis.Asts.Mixins.VariableLikeAst module
            • SPPCompiler.SemanticAnalysis.Asts.Mixins.VisibilityEnabledAst module
          • SPPCompiler.SemanticAnalysis.Asts.AnnotationAst module
          • SPPCompiler.SemanticAnalysis.Asts.ArrayLiteralAst module
          • SPPCompiler.SemanticAnalysis.Asts.ArrayLiteralExplicitElementsAst module
          • SPPCompiler.SemanticAnalysis.Asts.ArrayLiteralRepeatedElementAst module
          • SPPCompiler.SemanticAnalysis.Asts.AssignmentStatementAst module
          • SPPCompiler.SemanticAnalysis.Asts.Ast module
          • SPPCompiler.SemanticAnalysis.Asts.BinaryExpressionAst module
          • SPPCompiler.SemanticAnalysis.Asts.BooleanLiteralAst module
          • SPPCompiler.SemanticAnalysis.Asts.CaseExpressionAst module
          • SPPCompiler.SemanticAnalysis.Asts.CaseExpressionBranchAst module
          • SPPCompiler.SemanticAnalysis.Asts.ClassAttributeAst module
          • SPPCompiler.SemanticAnalysis.Asts.ClassImplementationAst module
          • SPPCompiler.SemanticAnalysis.Asts.ClassMemberAst module
          • SPPCompiler.SemanticAnalysis.Asts.ClassPrototypeAst module
          • SPPCompiler.SemanticAnalysis.Asts.CmpStatementAst module
          • SPPCompiler.SemanticAnalysis.Asts.ConventionAst module
          • SPPCompiler.SemanticAnalysis.Asts.ConventionMutAst module
          • SPPCompiler.SemanticAnalysis.Asts.ConventionRefAst module
          • SPPCompiler.SemanticAnalysis.Asts.CoroutinePrototypeAst module
          • SPPCompiler.SemanticAnalysis.Asts.ExpressionAst module
          • SPPCompiler.SemanticAnalysis.Asts.FloatLiteralAst module
          • SPPCompiler.SemanticAnalysis.Asts.FunctionCallArgumentAst module
          • SPPCompiler.SemanticAnalysis.Asts.FunctionCallArgumentGroupAst module
          • SPPCompiler.SemanticAnalysis.Asts.FunctionCallArgumentNamedAst module
          • SPPCompiler.SemanticAnalysis.Asts.FunctionCallArgumentUnnamedAst module
          • SPPCompiler.SemanticAnalysis.Asts.FunctionImplementationAst module
          • SPPCompiler.SemanticAnalysis.Asts.FunctionMemberAst module
          • SPPCompiler.SemanticAnalysis.Asts.FunctionParameterAst module
          • SPPCompiler.SemanticAnalysis.Asts.FunctionParameterGroupAst module
          • SPPCompiler.SemanticAnalysis.Asts.FunctionParameterOptionalAst module
          • SPPCompiler.SemanticAnalysis.Asts.FunctionParameterRequiredAst module
          • SPPCompiler.SemanticAnalysis.Asts.FunctionParameterSelfAst module
          • SPPCompiler.SemanticAnalysis.Asts.FunctionParameterVariadicAst module
          • SPPCompiler.SemanticAnalysis.Asts.FunctionPrototypeAst module
          • SPPCompiler.SemanticAnalysis.Asts.GenExpressionAst module
          • SPPCompiler.SemanticAnalysis.Asts.GenWithExpressionAst module
          • SPPCompiler.SemanticAnalysis.Asts.GenericArgumentAst module
          • SPPCompiler.SemanticAnalysis.Asts.GenericArgumentGroupAst module
          • SPPCompiler.SemanticAnalysis.Asts.GenericCompArgumentNamedAst module
          • SPPCompiler.SemanticAnalysis.Asts.GenericCompArgumentUnnamedAst module
          • SPPCompiler.SemanticAnalysis.Asts.GenericCompParameterOptionalAst module
          • SPPCompiler.SemanticAnalysis.Asts.GenericCompParameterRequiredAst module
          • SPPCompiler.SemanticAnalysis.Asts.GenericCompParameterVariadicAst module
          • SPPCompiler.SemanticAnalysis.Asts.GenericParameterAst module
          • SPPCompiler.SemanticAnalysis.Asts.GenericParameterGroupAst module
          • SPPCompiler.SemanticAnalysis.Asts.GenericTypeArgumentNamedAst module
          • SPPCompiler.SemanticAnalysis.Asts.GenericTypeArgumentUnnamedAst module
          • SPPCompiler.SemanticAnalysis.Asts.GenericTypeParameterInlineConstraintsAst module
          • SPPCompiler.SemanticAnalysis.Asts.GenericTypeParameterOptionalAst module
          • SPPCompiler.SemanticAnalysis.Asts.GenericTypeParameterRequiredAst module
          • SPPCompiler.SemanticAnalysis.Asts.GenericTypeParameterVariadicAst module
          • SPPCompiler.SemanticAnalysis.Asts.IdentifierAst module
          • SPPCompiler.SemanticAnalysis.Asts.InnerScopeAst module
          • SPPCompiler.SemanticAnalysis.Asts.IntegerLiteralAst module
          • SPPCompiler.SemanticAnalysis.Asts.IsExpressionAst module
          • SPPCompiler.SemanticAnalysis.Asts.IterExpressionAst module
          • SPPCompiler.SemanticAnalysis.Asts.IterExpressionBranchAst module
          • SPPCompiler.SemanticAnalysis.Asts.IterPatternAst module
          • SPPCompiler.SemanticAnalysis.Asts.IterPatternExceptionAst module
          • SPPCompiler.SemanticAnalysis.Asts.IterPatternExhaustedAst module
          • SPPCompiler.SemanticAnalysis.Asts.IterPatternNoValueAst module
          • SPPCompiler.SemanticAnalysis.Asts.IterPatternVariableAst module
          • SPPCompiler.SemanticAnalysis.Asts.LambdaExpressionAst module
          • SPPCompiler.SemanticAnalysis.Asts.LambdaExpressionCaptureItemAst module
          • SPPCompiler.SemanticAnalysis.Asts.LambdaExpressionParameterAndCaptureGroupAst module
          • SPPCompiler.SemanticAnalysis.Asts.LambdaExpressionParameterAst module
          • SPPCompiler.SemanticAnalysis.Asts.LetStatementAst module
          • SPPCompiler.SemanticAnalysis.Asts.LetStatementInitializedAst module
          • SPPCompiler.SemanticAnalysis.Asts.LetStatementUninitializedAst module
          • SPPCompiler.SemanticAnalysis.Asts.LiteralAst module
          • SPPCompiler.SemanticAnalysis.Asts.LocalVariableAst module
          • SPPCompiler.SemanticAnalysis.Asts.LocalVariableAttributeBindingAst module
          • SPPCompiler.SemanticAnalysis.Asts.LocalVariableDestructureArrayAst module
          • SPPCompiler.SemanticAnalysis.Asts.LocalVariableDestructureObjectAst module
          • SPPCompiler.SemanticAnalysis.Asts.LocalVariableDestructureSkip1ArgumentAst module
          • SPPCompiler.SemanticAnalysis.Asts.LocalVariableDestructureSkipNArgumentsAst module
          • SPPCompiler.SemanticAnalysis.Asts.LocalVariableDestructureTupleAst module
          • SPPCompiler.SemanticAnalysis.Asts.LocalVariableSingleIdentifierAliasAst module
          • SPPCompiler.SemanticAnalysis.Asts.LocalVariableSingleIdentifierAst module
          • SPPCompiler.SemanticAnalysis.Asts.LoopConditionAst module
          • SPPCompiler.SemanticAnalysis.Asts.LoopConditionBooleanAst module
          • SPPCompiler.SemanticAnalysis.Asts.LoopConditionIterableAst module
          • SPPCompiler.SemanticAnalysis.Asts.LoopControlFlowStatementAst module
          • SPPCompiler.SemanticAnalysis.Asts.LoopElseStatementAst module
          • SPPCompiler.SemanticAnalysis.Asts.LoopExpressionAst module
          • SPPCompiler.SemanticAnalysis.Asts.ModuleImplementationAst module
          • SPPCompiler.SemanticAnalysis.Asts.ModuleMemberAst module
          • SPPCompiler.SemanticAnalysis.Asts.ModulePrototypeAst module
          • SPPCompiler.SemanticAnalysis.Asts.ObjectInitializerArgumentAst module
          • SPPCompiler.SemanticAnalysis.Asts.ObjectInitializerArgumentGroupAst module
          • SPPCompiler.SemanticAnalysis.Asts.ObjectInitializerArgumentNamedAst module
          • SPPCompiler.SemanticAnalysis.Asts.ObjectInitializerArgumentUnnamedAst module
          • SPPCompiler.SemanticAnalysis.Asts.ObjectInitializerAst module
          • SPPCompiler.SemanticAnalysis.Asts.ParenthesizedExpressionAst module
          • SPPCompiler.SemanticAnalysis.Asts.PatternGuardAst module
          • SPPCompiler.SemanticAnalysis.Asts.PatternVariantAst module
          • SPPCompiler.SemanticAnalysis.Asts.PatternVariantAttributeBindingAst module
          • SPPCompiler.SemanticAnalysis.Asts.PatternVariantDestructureArrayAst module
          • SPPCompiler.SemanticAnalysis.Asts.PatternVariantDestructureObjectAst module
          • SPPCompiler.SemanticAnalysis.Asts.PatternVariantDestructureSkip1ArgumentAst module
          • SPPCompiler.SemanticAnalysis.Asts.PatternVariantDestructureSkipNArgumentsAst module
          • SPPCompiler.SemanticAnalysis.Asts.PatternVariantDestructureTupleAst module
          • SPPCompiler.SemanticAnalysis.Asts.PatternVariantElseAst module
          • SPPCompiler.SemanticAnalysis.Asts.PatternVariantElseCaseAst module
          • SPPCompiler.SemanticAnalysis.Asts.PatternVariantExpressionAst module
          • SPPCompiler.SemanticAnalysis.Asts.PatternVariantLiteralAst module
          • SPPCompiler.SemanticAnalysis.Asts.PatternVariantSingleIdentifierAst module
          • SPPCompiler.SemanticAnalysis.Asts.PostfixExpressionAst module
          • SPPCompiler.SemanticAnalysis.Asts.PostfixExpressionOperatorAst module
          • SPPCompiler.SemanticAnalysis.Asts.PostfixExpressionOperatorEarlyReturnAst module
          • SPPCompiler.SemanticAnalysis.Asts.PostfixExpressionOperatorFunctionCallAst module
          • SPPCompiler.SemanticAnalysis.Asts.PostfixExpressionOperatorMemberAccessAst module
          • SPPCompiler.SemanticAnalysis.Asts.PostfixExpressionOperatorNotKeywordAst module
          • SPPCompiler.SemanticAnalysis.Asts.PostfixExpressionOperatorResumeCoroutineAst module
          • SPPCompiler.SemanticAnalysis.Asts.PrimaryExpressionAst module
          • SPPCompiler.SemanticAnalysis.Asts.RetStatementAst module
          • SPPCompiler.SemanticAnalysis.Asts.StatementAst module
          • SPPCompiler.SemanticAnalysis.Asts.StringLiteralAst module
          • SPPCompiler.SemanticAnalysis.Asts.SubroutinePrototypeAst module
          • SPPCompiler.SemanticAnalysis.Asts.SupCmpStatementAst module
          • SPPCompiler.SemanticAnalysis.Asts.SupImplementationAst module
          • SPPCompiler.SemanticAnalysis.Asts.SupMemberAst module
          • SPPCompiler.SemanticAnalysis.Asts.SupPrototypeAst module
          • SPPCompiler.SemanticAnalysis.Asts.SupPrototypeExtensionAst module
          • SPPCompiler.SemanticAnalysis.Asts.SupPrototypeFunctionsAst module
          • SPPCompiler.SemanticAnalysis.Asts.SupTypeStatementAst module
          • SPPCompiler.SemanticAnalysis.Asts.TokenAst module
          • SPPCompiler.SemanticAnalysis.Asts.TupleLiteralAst module
          • SPPCompiler.SemanticAnalysis.Asts.TypeArrayAst module
          • SPPCompiler.SemanticAnalysis.Asts.TypeAst module
          • SPPCompiler.SemanticAnalysis.Asts.TypeBinaryExpressionAst module
          • SPPCompiler.SemanticAnalysis.Asts.TypeIdentifierAst module
          • SPPCompiler.SemanticAnalysis.Asts.TypeParenthesizedAst module
          • SPPCompiler.SemanticAnalysis.Asts.TypePostfixExpressionAst module
          • SPPCompiler.SemanticAnalysis.Asts.TypePostfixOperatorAst module
          • SPPCompiler.SemanticAnalysis.Asts.TypePostfixOperatorNestedTypeAst module
          • SPPCompiler.SemanticAnalysis.Asts.TypePostfixOperatorOptionalTypeAst module
          • SPPCompiler.SemanticAnalysis.Asts.TypeStatementAst module
          • SPPCompiler.SemanticAnalysis.Asts.TypeTupleAst module
          • SPPCompiler.SemanticAnalysis.Asts.TypeUnaryExpressionAst module
          • SPPCompiler.SemanticAnalysis.Asts.TypeUnaryOperatorAst module
          • SPPCompiler.SemanticAnalysis.Asts.TypeUnaryOperatorBorrowAst module
          • SPPCompiler.SemanticAnalysis.Asts.TypeUnaryOperatorNamespaceAst module
          • SPPCompiler.SemanticAnalysis.Asts.UnaryExpressionAst module
          • SPPCompiler.SemanticAnalysis.Asts.UnaryExpressionOperatorAst module
          • SPPCompiler.SemanticAnalysis.Asts.UnaryExpressionOperatorAsyncAst module
          • SPPCompiler.SemanticAnalysis.Asts.UnaryExpressionOperatorDerefAst module
          • SPPCompiler.SemanticAnalysis.Asts.UseStatementAst module
          • SPPCompiler.SemanticAnalysis.Asts.WhereBlockAst module
          • SPPCompiler.SemanticAnalysis.Asts.WhereConstraintsAst module
          • SPPCompiler.SemanticAnalysis.Asts.WhereConstraintsGroupAst module
        • SPPCompiler.SemanticAnalysis.Scoping package
          • SPPCompiler.SemanticAnalysis.Scoping.Scope module
          • SPPCompiler.SemanticAnalysis.Scoping.ScopeManager module
          • SPPCompiler.SemanticAnalysis.Scoping.SymbolTable module
          • SPPCompiler.SemanticAnalysis.Scoping.Symbols module
        • SPPCompiler.SemanticAnalysis.Utils package
          • SPPCompiler.SemanticAnalysis.Utils.AstPrinter module
          • SPPCompiler.SemanticAnalysis.Utils.CodeInjection module
          • SPPCompiler.SemanticAnalysis.Utils.CommonTypes module
          • SPPCompiler.SemanticAnalysis.Utils.CompilerStages module
          • SPPCompiler.SemanticAnalysis.Utils.SemanticError module
      • SPPCompiler.SyntacticAnalysis package
        • SPPCompiler.SyntacticAnalysis.Parser module
        • SPPCompiler.SyntacticAnalysis.ParserErrors module
      • SPPCompiler.Utils package
        • SPPCompiler.Utils.ErrorFormatter module
        • SPPCompiler.Utils.FastDeepcopy module
        • SPPCompiler.Utils.FastOrderedSet module
        • SPPCompiler.Utils.FunctionCache module
        • SPPCompiler.Utils.Functools module
        • SPPCompiler.Utils.Progress module
        • SPPCompiler.Utils.Sequence module
  • SPPSpecification
    • Introduction
      • Introduction
      • Installation
      • Tooling
      • Project Structure
      • Hello World
    • Language Basics
      • Terms & Definitions
      • Tokens & Operators
      • Keywords & Identifiers
      • Comments
      • Literals
    • Expressions
      • Binary Expressions
      • Anonymous Blocks
      • Conditional Blocks
      • Generator Blocks
      • Looping Blocks
      • Object Initialization
    • Statements
      • Let Statement
      • Cmp Statement
      • Use Statement
      • Type Statement
    • Type System
      • Basic Types
      • Array Type
      • Tuple Type
      • Function Types
      • Variant Type
      • Try Types
      • Classes
    • Statements
      • Module System
      • Order of Member Definition
      • FFI
    • Exceptions
      • Aborting
      • Exception Handling
    • Memory
      • Memory Model
      • Initialization & Destruction
      • Overflow
      • Pinning
      • Smart Pointers
      • Volatile
      • Compiled Memory Safety
    • Concurrency & Parallelism
      • Concurrency
    • STL
      • STL
      • STL Structure
Back to top
View this page

SPPCompiler.SemanticAnalysis package¶

Subpackages¶

  • SPPCompiler.SemanticAnalysis.AstUtils package
  • SPPCompiler.SemanticAnalysis.Asts package
  • SPPCompiler.SemanticAnalysis.Scoping package
  • SPPCompiler.SemanticAnalysis.Utils package

Module contents¶

Next
SPPCompiler.SemanticAnalysis.AstUtils package
Previous
SPPCompiler.LexicalAnalysis.TokenType module
Copyright © 2025, Sam Gardner
Made with Sphinx and @pradyunsg's Furo
On this page
  • SPPCompiler.SemanticAnalysis package
    • Subpackages
    • Module contents