slang Documentation
  1. User Manual
    1. Command Line Reference
    2. Language Support
    3. Warning Reference
    4. Tools
  2. Developer Guide
    1. Building & Installation
    2. Compilation Overview
    3. Common Components
    4. Source Management
    5. Diagnostic APIs
    6. Parsing and Syntax
  1. API Reference
    1. Namespaces
    2. Classes
    3. Files
  2. Try It
  3. GitHub

Navigation

  • slang
  • analysis
  • AbstractFlowAnalysis (class)
  • AnalysisContext (class)
  • AnalysisFlags (enum)
  • AnalysisManager (class)
  • AnalysisOptions (struct)
  • AnalyzedAssertion (class)
  • AnalyzedProcedure (class)
  • AnalyzedScope (class)
  • CaseDecisionDag (class)
  • ClockInference (class)
  • DataFlowAnalysis (class)
  • DataFlowState (struct)
  • DefaultDFA (class)
  • DFAResults (class)
  • DriverFlags (enum)
  • DriverSource (enum)
  • DriverTracker (class)
  • FlowAnalysisBase (class)
  • InstanceDriverState (struct)
  • ReadRange (struct)
  • SensitivityList (struct)
  • ValueDriver (class)
API Reference:
  • 📁 Namespaces
  • 🏛️ Classes
  • 📄 Files

slang::analysis::AnalysisContext class
#include <slang/analysis/AnalysisManager.h>

Holds various bits of state needed to perform analysis.

Constructors, destructors, conversion operators

AnalysisContext(AnalysisManager& manager) explicit
Constructs a new AnalysisContext object.

Public functions

Diagnostic& addDiag(const ast::Symbol& symbol, DiagCode code, SourceLocation location)
Issues a new diagnostic.
Diagnostic& addDiag(const ast::Symbol& symbol, DiagCode code, SourceRange sourceRange)
Issues a new diagnostic.

Public variables

not_null<AnalysisManager*> manager
The analysis manager that owns this context.
BumpAllocator alloc
An allocator used for analysis-specific data structures.
Diagnostics diagnostics
Diagnostics collected during analysis.

Contents

  • Constructors, destructors, conversion operators
  • Public functions
  • Public variables
Tab / T to search, Esc to close
…

Search for symbols, directories, files, pages or modules. You can omit any prefix from the symbol or file path; adding a : or / suffix lists all members of given symbol or directory.

Use ↓ / ↑ to navigate through the list, Enter to go. Tab autocompletes common prefix, you can copy a link to the result using ⌘ L while ⌘ M produces a Markdown link.

Sorry, nothing was found.
Maybe try a full-text search with external engine?

    slang SystemVerilog language services. Copyright (C) 2015-2026 Michael Popoloski.
    Code is available on GitHub under the MIT license.