VariableValueLogger.h

Go to the documentation of this file.

// SPDX-License-Identifier: BSD-3-Clause
//
// This file is part of ETISS. It is licensed under the BSD 3-Clause License; you may not use this file except in
// compliance with the License. You should have received a copy of the license along with this project. If not, see the
// LICENSE file.
 
#ifndef ETISS_PLUGIN_VVLOGGER_H_
#define ETISS_PLUGIN_VVLOGGER_H_
 
#include "etiss/Misc.h"
#include "etiss/Plugin.h"
 
#include <fstream>
 
namespace etiss
{
 
namespace plugin
{
 
class VariableValueLogger : public etiss::TranslationPlugin
{
  public:
    VariableValueLogger(const std::string &field, const std::string &file,
                        std::function<void(std::ostream &out, const std::string &field, uint64_t value)> writer);
    virtual void initCodeBlock(etiss::CodeBlock &block) const;
    virtual void finalizeInstrSet(etiss::instr::ModedInstructionSet &) const;
 
  public:
    void writeValue();
 
  protected:
    virtual std::string _getPluginName() const;
 
  private:
    std::string field_; 
    std::function<void(std::ostream &out, const std::string &field, uint64_t value)> writer_;
    std::ofstream out_; 
};
 
} // namespace plugin
 
} // namespace etiss
 
#endif