java_class_loader_base.h

Go to the documentation of this file.

/*******************************************************************\
 
Module:
 
Author: Daniel Kroening, kroening@kroening.com
 
\*******************************************************************/
 
#ifndef CPROVER_JAVA_BYTECODE_JAVA_CLASS_LOADER_BASE_H
#define CPROVER_JAVA_BYTECODE_JAVA_CLASS_LOADER_BASE_H
 
#include <util/irep.h>
 
#include "jar_pool.h"
 
#include <list>
 
class message_handlert;
struct java_bytecode_parse_treet;

class java_class_loader_baset
{
public:
  void clear_classpath()
  {
    classpath_entries.clear();
  }

  void add_classpath_entry(const std::string &, message_handlert &);
 
  static std::string file_to_class_name(const std::string &);
  static std::string class_name_to_os_file(const irep_idt &);
  static std::string class_name_to_jar_file(const irep_idt &);

  jar_poolt jar_pool;
 
protected:
  struct classpath_entryt
  {
    using kindt = enum { JAR, DIRECTORY };
    kindt kind;
    std::string path;
 
    classpath_entryt(kindt _kind, const std::string &_path)
      : kind(_kind), path(_path)
    {
    }
  };

  std::list<classpath_entryt> classpath_entries;

  std::optional<java_bytecode_parse_treet> load_class(
    const irep_idt &class_name,
    const classpath_entryt &,
    message_handlert &);

  std::optional<java_bytecode_parse_treet> get_class_from_jar(
    const irep_idt &class_name,
    const std::string &jar_file,
    message_handlert &);

  std::optional<java_bytecode_parse_treet> get_class_from_directory(
    const irep_idt &class_name,
    const std::string &path,
    message_handlert &);
};
 
#endif // CPROVER_JAVA_BYTECODE_JAVA_CLASS_LOADER_BASE_H