Class IRPropertyProvider

A class that provides additional properties to be dumped for IR instructions and blocks when using the PrintIR module. Libraries that compute additional facts about IR elements can extend the single instance of this class to specify the additional properties computed by the library.

Import path

import semmle.code.cpp.ir.IR

Direct supertypes

TIRPropertyProvider

Known direct subtypes

Predicates

getBlockProperty	Gets the value of the property named `key` for the specified block.
getInstructionProperty	Gets the value of the property named `key` for the specified instruction.
getOperandProperty	Gets the value of the property named `key` for the specified operand.
shouldPrintInstruction	Holds if the instruction `instr` should be included when printing the IR instructions.
shouldPrintOperand	Holds if the operand `operand` should be included when printing the an instruction’s operand list.
toString	Gets a textual representation of this element.