klee
InstructionToLineAnnotator Class Reference

Inherits llvm::AssemblyAnnotationWriter.

Public Member Functions

void emitInstructionAnnot (const llvm::Instruction *i, llvm::formatted_raw_ostream &os)
 
void emitFunctionAnnot (const llvm::Function *f, llvm::formatted_raw_ostream &os)
 

Detailed Description

Definition at line 35 of file InstructionInfoTable.cpp.

Member Function Documentation

◆ emitFunctionAnnot()

void InstructionToLineAnnotator::emitFunctionAnnot ( const llvm::Function *  f,
llvm::formatted_raw_ostream &  os 
)
inline

Definition at line 43 of file InstructionInfoTable.cpp.

◆ emitInstructionAnnot()

void InstructionToLineAnnotator::emitInstructionAnnot ( const llvm::Instruction *  i,
llvm::formatted_raw_ostream &  os 
)
inline

Definition at line 37 of file InstructionInfoTable.cpp.


The documentation for this class was generated from the following file: