java_class_loadert::jar_map_entryt Class Reference

#include <java_class_loader.h>

Collaboration diagram for java_class_loadert::jar_map_entryt:

Classes
struct	entryt

Public Types
typedef std::map< irep_idt, entryt >	entriest

Public Attributes
entriest	entries

Detailed Description

Definition at line 46 of file java_class_loader.h.

Member Typedef Documentation

entriest

typedef std::map<irep_idt, entryt> java_class_loadert::jar_map_entryt::entriest

Definition at line 55 of file java_class_loader.h.

Member Data Documentation

entries

entriest java_class_loadert::jar_map_entryt::entries

Definition at line 56 of file java_class_loader.h.

---

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

• java_bytecode/java_class_loader.h