cprover
java_class_loadert::jar_map_entryt::entryt Struct Reference

#include <java_class_loader.h>

Collaboration diagram for java_class_loadert::jar_map_entryt::entryt:
[legend]

Public Attributes

std::string class_file_name
 

Detailed Description

Definition at line 49 of file java_class_loader.h.

Member Data Documentation

§ class_file_name

std::string java_class_loadert::jar_map_entryt::entryt::class_file_name

Definition at line 51 of file java_class_loader.h.


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