structured_data.h

Go to the documentation of this file.

/*******************************************************************\
 
Module: Classes for representing generic structured data
 
Author: Thomas Kiley
 
\*******************************************************************/
#ifndef CPROVER_UTIL_STRUCTURED_DATA_H
#define CPROVER_UTIL_STRUCTURED_DATA_H
 
#include "json.h"
 
#include <string>
#include <vector>
 
struct labelt
{
public:
  explicit labelt(std::vector<std::string> components);
 
  std::string camel_case() const;
  std::string snake_case() const;
  std::string kebab_case() const;
  std::string pretty() const;
 
  bool operator<(const labelt &other) const;
 
private:
  std::vector<std::string> components;
};
struct labelt {…};
 
struct structured_data_entryt
{
  static structured_data_entryt data_node(const jsont &data);
  static structured_data_entryt
  entry(std::map<labelt, structured_data_entryt> children);
 
  bool is_leaf() const;
  std::string leaf_data() const;
  jsont leaf_object() const;
  const std::map<labelt, structured_data_entryt> &children() const;
 
private:
  explicit structured_data_entryt(jsont data);
  explicit structured_data_entryt(
    std::map<labelt, structured_data_entryt> children);
 
  jsont data;
  std::map<labelt, structured_data_entryt> _children;
};
struct structured_data_entryt {…};
 
class structured_datat
{
public:
  explicit structured_datat(std::map<labelt, structured_data_entryt> data);
  const std::map<labelt, structured_data_entryt> &data() const;
 
private:
  std::map<labelt, structured_data_entryt> _data;
};
class structured_datat {…};
 
std::string to_pretty(const structured_datat &);
 
#endif // CPROVER_UTIL_STRUCTURED_DATA_H