fault_localization_provider.h

Go to the documentation of this file.

/*******************************************************************\
 
Module: Interface for Goto Checkers to provide Fault Localization
 
Author: Daniel Kroening, Peter Schrammel
 
\*******************************************************************/

 
#ifndef CPROVER_GOTO_CHECKER_FAULT_LOCALIZATION_PROVIDER_H
#define CPROVER_GOTO_CHECKER_FAULT_LOCALIZATION_PROVIDER_H
 
#include <map>
 
#include <goto-programs/goto_program.h>
 
class goto_tracet;
class namespacet;
 
struct fault_location_infot
{
  typedef std::map<
    goto_programt::const_targett,
    std::size_t,
    goto_programt::target_less_than>
    score_mapt;
  score_mapt scores;
};

class fault_localization_providert
{
public:
  virtual fault_location_infot
  localize_fault(const irep_idt &property_id) const = 0;
 
  virtual ~fault_localization_providert() = default;
};
 
#endif // CPROVER_GOTO_CHECKER_FAULT_LOCALIZATION_PROVIDER_H