klee
klee::InstructionInfo Struct Reference

InstructionInfo stores debug information for a KInstruction. More...

#include <InstructionInfoTable.h>

Public Member Functions

 InstructionInfo (unsigned id, const std::string &file, unsigned line, unsigned column, unsigned assemblyLine)
 

Public Attributes

unsigned id
 The instruction id. More...
 
unsigned line
 Line number in source file. More...
 
unsigned column
 Column number in source file. More...
 
unsigned assemblyLine
 Line number in generated assembly.ll. More...
 
const std::string & file
 Source file name. More...
 

Detailed Description

InstructionInfo stores debug information for a KInstruction.

Definition at line 27 of file InstructionInfoTable.h.

Constructor & Destructor Documentation

◆ InstructionInfo()

klee::InstructionInfo::InstructionInfo ( unsigned  id,
const std::string &  file,
unsigned  line,
unsigned  column,
unsigned  assemblyLine 
)
inline

Definition at line 40 of file InstructionInfoTable.h.

Member Data Documentation

◆ assemblyLine

unsigned klee::InstructionInfo::assemblyLine

◆ column

unsigned klee::InstructionInfo::column

Column number in source file.

Definition at line 33 of file InstructionInfoTable.h.

Referenced by klee::KInstruction::getSourceLocation().

◆ file

◆ id

◆ line


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