class
AnalyzedAssertionRepresents 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.