slang::analysis::AnalyzedAssertion class

#include </home/runner/work/slang/slang/include/slang/analysis/AnalyzedAssertion.h>

Represents an analyzed assertion (or procedural checker).

Constructors, destructors, conversion operators

AnalyzedAssertion(AnalysisContext& context, const ast::TimingControl* contextualClock, const AnalyzedProcedure& procedure, const ast::Statement& stmt, const ast::Symbol* checkerInstance)

Constructs a new AnalyzedAssertion object.

AnalyzedAssertion(AnalysisContext& context, const ast::TimingControl* contextualClock, const AnalyzedProcedure* procedure, const ast::Symbol& parentSymbol, const ast::Expression& expr)

Constructs a new AnalyzedAssertion object.

Public variables

const AnalyzedScope* checkerScope

If this assertion is a procedural checker, this is the expanded analyzed checker body.